diff options
Diffstat (limited to 'dia_help.inc')
-rw-r--r-- | dia_help.inc | 44 |
1 files changed, 0 insertions, 44 deletions
diff --git a/dia_help.inc b/dia_help.inc deleted file mode 100644 index cb8cd24..0000000 --- a/dia_help.inc +++ /dev/null @@ -1,44 +0,0 @@ -% - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -% -% Panel help entry. -% -% - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -% - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -% Show help window. -% -% ( ) => ( ) -% -/panel.help { - help.context "opt" eq { - findbootoption - help.mapcontext - dup help.findpage - "" eq { pop } { help.setcontext } ifelse - } if - show_help -} def - - -% - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -% Return width of help entry. -% -% ( ) => ( width ) -% -/panel.help.width { - txt_help strsize pop -} def - - -% - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -% Redraw panel entry. -% -% ( panel ) => ( ) -% -/panel.help.update { - panel.text.moveto - - txt_help show -} def - - |