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
% - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
|
|
%
|
|
% 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
|
|
|
|
|