📄 symbol.class
字号:
*! version 1.0.0 13aug2002
version 8
class {
// .varname may be Declare'd to identify a variable to use for symbols
// .use_variable may be Declare'd to set whether variable is used.
} , inherit(codestyle)
// ---------------------------------------------------------------------------
//
// Sets the value of symbol using the symbols stylename abbrevation
program setsymbol
.setstyle , style(`._unabbrev `0'')
end
// ---------------------------------------------------------------------------
program _unabbrev
gettoken abbrev toomuch : 0
if "`abbrev'" == "p" {
class exit `"point `toomuch'"' // point
}
if "`abbrev'" == "i" {
class exit `"none `toomuch'"' // invisible
}
// standard size
if "`abbrev'" == "O" {
class exit `"circle `toomuch'"'
}
if "`abbrev'" == "S" {
class exit `"square `toomuch'"'
}
if "`abbrev'" == "T" {
class exit `"triangle `toomuch'"'
}
if "`abbrev'" == "D" {
class exit `"diamond `toomuch'"'
}
if "`abbrev'" == "+" {
class exit `"plus `toomuch'"'
}
if "`abbrev'" == "X" {
class exit `"x `toomuch'"'
}
// small -- inscribed
if "`abbrev'" == "o" {
class exit `"smcircle `toomuch'"'
}
if "`abbrev'" == "s" {
class exit `"smsquare `toomuch'"'
}
if "`abbrev'" == "t" {
class exit `"smtriangle `toomuch'"'
}
if "`abbrev'" == "d" {
class exit `"smdiamond `toomuch'"'
}
if "`abbrev'" == "x" {
class exit `"smx `toomuch'"'
}
if "`abbrev'" == "Oh" { // always hollow
class exit `"circle_hollow `toomuch'"'
}
if "`abbrev'" == "Sh" {
class exit `"square_hollow `toomuch'"'
}
if "`abbrev'" == "Th" {
class exit `"triangle_hollow `toomuch'"'
}
if "`abbrev'" == "Dh" {
class exit `"diamond_hollow `toomuch'"'
}
if "`abbrev'" == "oh" { // always hollow, small
class exit `"smcircle_hollow `toomuch'"'
}
if "`abbrev'" == "sh" {
class exit `"smsquare_hollow `toomuch'"'
}
if "`abbrev'" == "th" {
class exit `"smtriangle_hollow `toomuch'"'
}
if "`abbrev'" == "dh" {
class exit `"smdiamond_hollow `toomuch'"'
}
class exit `"`0'"'
end
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -