You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
31 lines
619 B
31 lines
619 B
5 years ago
|
% - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
|
||
|
%
|
||
|
% Panel 'more options' entry.
|
||
|
%
|
||
|
% - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
|
||
|
|
||
|
% - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
|
||
|
% Show help window.
|
||
|
%
|
||
|
% ( ) => ( )
|
||
|
%
|
||
|
/panel.options {
|
||
|
/panel panel.full def
|
||
|
|
||
|
boot.show not {
|
||
|
/boot.show true def
|
||
|
boot.setup
|
||
|
|
||
|
boot.window .color.fg get setcolor
|
||
|
boot.window .ed.font get setfont
|
||
|
|
||
|
boot.ed 3 get
|
||
|
boot.ed over edit.init
|
||
|
"" ne { boot.ed ' ' edit.input } if
|
||
|
} if
|
||
|
|
||
|
main.redraw
|
||
|
|
||
|
panel.fulloptions
|
||
|
} def
|