diff options
| author | Thierry Vignaud <tv@mandriva.org> | 2007-06-07 18:54:11 +0000 |
|---|---|---|
| committer | Thierry Vignaud <tv@mandriva.org> | 2007-06-07 18:54:11 +0000 |
| commit | 534f2f4437093bd78411126ef45de41fc6b93bf3 (patch) | |
| tree | 1a9c1e259e6f2495ebcacf3cbd8cb7d3fdaaac2a /dia_help.inc | |
| parent | 92072c3be58f5c77ff0fecdaf6617fe6fa4120e1 (diff) | |
| download | bootloader-theme-534f2f4437093bd78411126ef45de41fc6b93bf3.tar bootloader-theme-534f2f4437093bd78411126ef45de41fc6b93bf3.tar.gz bootloader-theme-534f2f4437093bd78411126ef45de41fc6b93bf3.tar.bz2 bootloader-theme-534f2f4437093bd78411126ef45de41fc6b93bf3.tar.xz bootloader-theme-534f2f4437093bd78411126ef45de41fc6b93bf3.zip | |
reimport my latest checkout
Diffstat (limited to 'dia_help.inc')
| -rw-r--r-- | dia_help.inc | 44 |
1 files changed, 44 insertions, 0 deletions
diff --git a/dia_help.inc b/dia_help.inc new file mode 100644 index 0000000..cb8cd24 --- /dev/null +++ b/dia_help.inc @@ -0,0 +1,44 @@ +% - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - +% +% 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 + + |