blob: 9083d06a5a94cb4e615f33a2b4386dc6cc930c8c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
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
|
