diff options
author | Pascal Rigaux <pixel@mandriva.com> | 2009-01-27 17:30:08 +0000 |
---|---|---|
committer | Pascal Rigaux <pixel@mandriva.com> | 2009-01-27 17:30:08 +0000 |
commit | 5ce8d30439463838f845c78bc926cc9b310a8743 (patch) | |
tree | bb1852dc58711c7baee31216a765067dfa49b65b /dia_help.inc | |
parent | 10658e71475bd964263d09f1a661f24fadfaf496 (diff) | |
download | bootloader-theme-5ce8d30439463838f845c78bc926cc9b310a8743.tar bootloader-theme-5ce8d30439463838f845c78bc926cc9b310a8743.tar.gz bootloader-theme-5ce8d30439463838f845c78bc926cc9b310a8743.tar.bz2 bootloader-theme-5ce8d30439463838f845c78bc926cc9b310a8743.tar.xz bootloader-theme-5ce8d30439463838f845c78bc926cc9b310a8743.zip |
imported openSUSE.tar.bz2 (from gfxboot-4.1.19-2.1.src.rpm)4.1.19.1
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 - - |