📄 plotregionstyle.class
字号:
/* plotregionstyle */
*! version 1.0.1 19jul2004
version 8
class {
instance:
margin = .margin.new , style(zero)
boxstyle = .areastyle.new
inner_boxstyle = .areastyle.new
horizontal = .horizontal.new , style(center)
vertical = .vertical.new , style(center)
box_alignment = .compass2dir.new , style(center)
}, inherit(style)
program define new
.set `0'
end
program define set
syntax [, Style(string) * ]
if "`style'" == "" { /* defaults */
.boxstyle.set /* areastyle uses */
.inner_boxstyle.set /* scheme */
}
.setstyle `0'
end
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -