summaryrefslogtreecommitdiff
path: root/themes/SuSE/dia_splash.inc
diff options
context:
space:
mode:
Diffstat (limited to 'themes/SuSE/dia_splash.inc')
-rw-r--r--themes/SuSE/dia_splash.inc90
1 files changed, 90 insertions, 0 deletions
diff --git a/themes/SuSE/dia_splash.inc b/themes/SuSE/dia_splash.inc
new file mode 100644
index 0000000..9083d06
--- /dev/null
+++ b/themes/SuSE/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
+
+