blob: 2055ea66a03edcd95e16249017efc2b39598e239 (
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
|
% - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
%
% Panel 'about' entry.
%
% - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
% - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
% Show help window.
%
% ( ) => ( )
%
/panel.about {
panel 0 panel.entry.help put
about.popup
} def
% - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
% Return width of 'about' entry.
%
% ( ) => ( width )
%
/panel.about.width {
"About" strsize pop
} def
% - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
% Redraw panel entry.
%
% ( panel ) => ( )
%
/panel.about.update {
panel.text.moveto
"About" show
} def
% - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
% Show 'about' box.
%
% ( ) ==> ( )
%
/about.popup {
window.dialog
dup .title "About" put
dup .text about.msg put
dup .buttons [
button.ok button.default actRedraw button.setaction
] put
dup window.init
window.show
} def
% - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
% Return 'about' text, if any.
%
% ( -- obj1 )
%
% obj1: string with message or .undef
%
/about.msg {
/about.msg
ptheme { "pabout.txt" } { "about.txt" } ifelse findfile dup .undef ne {
dup length string dup cvp rot dup length memcpy
} if
def
about.msg
} def
|
