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.
53 lines
1015 B
53 lines
1015 B
19 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
|
||
|
|
||
|
/window.action actRedraw def
|
||
|
} def
|
||
|
|
||
|
|
||
|
% - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
|
||
|
% Return width of options entry.
|
||
|
%
|
||
|
% ( ) => ( width )
|
||
|
%
|
||
|
/panel.options.width {
|
||
|
txt_other_options strsize pop
|
||
|
} def
|
||
|
|
||
|
|
||
|
% - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
|
||
|
% Redraw panel entry.
|
||
|
%
|
||
|
% ( panel ) => ( )
|
||
|
%
|
||
|
/panel.options.update {
|
||
|
panel.text.moveto
|
||
|
|
||
|
txt_other_options show
|
||
|
} def
|
||
|
|
||
|
|