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_splash.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_splash.inc')
-rw-r--r-- | dia_splash.inc | 90 |
1 files changed, 90 insertions, 0 deletions
diff --git a/dia_splash.inc b/dia_splash.inc new file mode 100644 index 0000000..9083d06 --- /dev/null +++ b/dia_splash.inc @@ -0,0 +1,90 @@ +% - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - +% +% Splash mode selection dialog. +% +% - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + +% - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - +% Some global vars. +% +/splash.default 2 def + +/splash.options [ + "splash=0" + "splash=verbose" + "splash=silent" +] def + + +% - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - +% Build splash list. +% +% ( ) ==> ( ) +% +/splash.init { + /xmenu.splash .xm_size array def + + /xmenu xmenu.splash def + + xmenu .xm_current splash.default put + xmenu .xm_list [ "Native" "Verbose" "Silent" ] put + + pmenu.init +} def + + +% - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - +% Update splash mode. +% +% ( ) ==> ( ) +% +/splash.update { + /xmenu xmenu.splash def + + /window.action actRedrawPanel def + + pmenu.update +} def + + +% - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - +% Show splash menu. +% +% ( ) => ( ) +% +/panel.splash { + "startup" help.setcontext + + window.xmenu + dup .xmenu xmenu.splash put + dup .xmenu.update /splash.update put + dup window.init + window.show +} def + + +% - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - +% Return width of panel entry. +% +% ( ) => ( width ) +% +/panel.splash.width { + /xmenu xmenu.splash def + + pmenu.width +} def + + +% - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - +% Redraw panel entry. +% +% ( panel ) => ( ) +% +/panel.splash.update { + /xmenu xmenu.splash def + + pmenu.panel.update +} def + + |