author | Jan Vrany <jan.vrany@fit.cvut.cz> |
Mon, 20 Aug 2018 11:00:23 +0100 | |
changeset 94 | e76206d071fc |
parent 73 | 82e202dec6cb |
child 116 | d0d6da74ead3 |
permissions | -rw-r--r-- |
73
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
1 |
" |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
2 |
jv:vdb - Visual / VM Debugger |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
3 |
Copyright (C) 2015-now Jan Vrany |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
4 |
|
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
5 |
This software is licensed under 'Creative Commons Attribution-NonCommercial 4.0 International License' |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
6 |
|
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
7 |
You may find a full license text in LICENSE.txt or at http://creativecommons.org/licenses/by-nc/4.0/ |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
8 |
" |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
9 |
"{ Package: 'jv:vdb' }" |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
10 |
|
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
11 |
"{ NameSpace: Smalltalk }" |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
12 |
|
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
13 |
AbstractSettingsApplication subclass:#VDBSettingsApplication |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
14 |
instanceVariableNames:'infoPanel vdbPrettyPrintingEnabled vdbFrameFiltersEnabled' |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
15 |
classVariableNames:'' |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
16 |
poolDictionaries:'' |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
17 |
category:'VDB-UI-Others' |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
18 |
! |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
19 |
|
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
20 |
!VDBSettingsApplication class methodsFor:'documentation'! |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
21 |
|
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
22 |
copyright |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
23 |
" |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
24 |
jv:vdb - Visual / VM Debugger |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
25 |
Copyright (C) 2015-now Jan Vrany |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
26 |
|
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
27 |
This software is licensed under 'Creative Commons Attribution-NonCommercial 4.0 International License' |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
28 |
|
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
29 |
You may find a full license text in LICENSE.txt or at http://creativecommons.org/licenses/by-nc/4.0/ |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
30 |
" |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
31 |
! ! |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
32 |
|
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
33 |
!VDBSettingsApplication class methodsFor:'initialization'! |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
34 |
|
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
35 |
initialize |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
36 |
|
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
37 |
self installInSettings |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
38 |
|
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
39 |
"Created: / 23-06-2005 / 09:27:10 / masca" |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
40 |
! |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
41 |
|
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
42 |
installInSettings |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
43 |
|
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
44 |
Smalltalk addStartBlock:[ |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
45 |
AbstractLauncherApplication |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
46 |
addSettingsApplicationByClass:self name withName:'Tools/Visual VM Debugger' icon:self defaultIcon |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
47 |
] |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
48 |
|
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
49 |
"Created: / 23-06-2005 / 09:27:10 / masca" |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
50 |
"Modified: / 10-04-2018 / 16:56:22 / Jan Vrany <jan.vrany@fit.cvut.cz>" |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
51 |
! ! |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
52 |
|
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
53 |
!VDBSettingsApplication class methodsFor:'interface specs'! |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
54 |
|
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
55 |
windowSpec |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
56 |
"This resource specification was automatically generated |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
57 |
by the UIPainter of ST/X." |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
58 |
|
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
59 |
"Do not manually edit this!! If it is corrupted, |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
60 |
the UIPainter may not be able to read the specification." |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
61 |
|
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
62 |
" |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
63 |
UIPainter new openOnClass:VDBSettingsApplication andSelector:#windowSpec |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
64 |
VDBSettingsApplication new openInterface:#windowSpec |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
65 |
VDBSettingsApplication open |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
66 |
" |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
67 |
|
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
68 |
<resource: #canvas> |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
69 |
|
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
70 |
^ |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
71 |
#(FullSpec |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
72 |
name: windowSpec |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
73 |
uuid: '10c0dbf0-3cd7-11e8-882f-0021ccd5e3d3' |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
74 |
window: |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
75 |
(WindowSpec |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
76 |
label: 'Java Settings' |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
77 |
name: 'Java Settings' |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
78 |
uuid: '10c0dbf1-3cd7-11e8-882f-0021ccd5e3d3' |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
79 |
min: (Point 10 10) |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
80 |
bounds: (Rectangle 0 0 695 627) |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
81 |
) |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
82 |
component: |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
83 |
(SpecCollection |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
84 |
collection: ( |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
85 |
(LabelSpec |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
86 |
label: ' Visual/VM Debugger Settings' |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
87 |
name: 'SettingsTitle' |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
88 |
layout: (LayoutFrame 0 0 0 0 0 1 66 0) |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
89 |
style: (FontDescription helvetica medium roman 18 #'iso10646-1' nil nil) |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
90 |
uuid: '10c0dbf2-3cd7-11e8-882f-0021ccd5e3d3' |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
91 |
backgroundColor: (Color 100.0 100.0 100.0) |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
92 |
translateLabel: true |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
93 |
adjust: left |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
94 |
) |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
95 |
(LabelSpec |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
96 |
label: 'Icon' |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
97 |
name: 'Icon' |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
98 |
layout: (LayoutFrame -75 1 0 0 0 1 66 0) |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
99 |
uuid: '10c10300-3cd7-11e8-882f-0021ccd5e3d3' |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
100 |
hasCharacterOrientedLabel: false |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
101 |
backgroundColor: (Color 100.0 100.0 100.0) |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
102 |
translateLabel: true |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
103 |
labelChannel: libjavaCupIcon |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
104 |
) |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
105 |
(SubCanvasSpec |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
106 |
name: 'InfoPanel' |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
107 |
layout: (LayoutFrame 0 0 67 0 0 1 107 0) |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
108 |
uuid: '10c10301-3cd7-11e8-882f-0021ccd5e3d3' |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
109 |
level: 0 |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
110 |
initiallyInvisible: true |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
111 |
hasHorizontalScrollBar: false |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
112 |
hasVerticalScrollBar: false |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
113 |
clientKey: infoPanel |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
114 |
createNewBuilder: false |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
115 |
) |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
116 |
(VerticalPanelViewSpec |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
117 |
name: 'Controls' |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
118 |
layout: (LayoutFrame 0 0 70 0 0 1 0 1) |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
119 |
uuid: '10c10302-3cd7-11e8-882f-0021ccd5e3d3' |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
120 |
horizontalLayout: fit |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
121 |
verticalLayout: top |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
122 |
horizontalSpace: 3 |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
123 |
verticalSpace: 3 |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
124 |
component: |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
125 |
(SpecCollection |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
126 |
collection: ( |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
127 |
(CheckBoxSpec |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
128 |
label: 'Enable Pretty Printers' |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
129 |
name: 'EnablePrettyPrinters' |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
130 |
uuid: '10c10303-3cd7-11e8-882f-0021ccd5e3d3' |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
131 |
model: vdbPrettyPrintingEnabled |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
132 |
translateLabel: true |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
133 |
extent: (Point 695 22) |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
134 |
) |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
135 |
(CheckBoxSpec |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
136 |
label: 'Enable Frame Filters' |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
137 |
name: 'EnableFrameFilters' |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
138 |
uuid: '10c10304-3cd7-11e8-882f-0021ccd5e3d3' |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
139 |
model: vdbFrameFiltersEnabled |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
140 |
translateLabel: true |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
141 |
extent: (Point 695 22) |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
142 |
) |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
143 |
) |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
144 |
|
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
145 |
) |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
146 |
) |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
147 |
) |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
148 |
|
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
149 |
) |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
150 |
) |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
151 |
! ! |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
152 |
|
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
153 |
!VDBSettingsApplication methodsFor:'aspects'! |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
154 |
|
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
155 |
aspects |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
156 |
^ #(vdbPrettyPrintingEnabled vdbFrameFiltersEnabled) |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
157 |
|
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
158 |
"Created: / 10-04-2018 / 16:53:07 / Jan Vrany <jan.vrany@fit.cvut.cz>" |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
159 |
! |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
160 |
|
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
161 |
infoPanel |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
162 |
infoPanel isNil ifTrue:[ |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
163 |
infoPanel := Tools::InlineMessageDialog new. |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
164 |
]. |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
165 |
^ infoPanel |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
166 |
|
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
167 |
"Created: / 10-04-2018 / 16:52:37 / Jan Vrany <jan.vrany@fit.cvut.cz>" |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
168 |
! |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
169 |
|
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
170 |
vdbFrameFiltersEnabled |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
171 |
<resource: #uiAspect> |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
172 |
|
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
173 |
"automatically generated by UIPainter ..." |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
174 |
|
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
175 |
"*** the code below creates a default model when invoked." |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
176 |
"*** (which may not be the one you wanted)" |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
177 |
"*** Please change as required and accept it in the browser." |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
178 |
"*** (and replace this comment by something more useful ;-)" |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
179 |
|
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
180 |
vdbFrameFiltersEnabled isNil ifTrue:[ |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
181 |
vdbFrameFiltersEnabled := false asValue. |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
182 |
"/ if your app needs to be notified of changes, uncomment one of the lines below: |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
183 |
"/ vdbFrameFiltersEnabled addDependent:self. |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
184 |
vdbFrameFiltersEnabled onChangeSend:#updateModifiedChannel to:self. |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
185 |
]. |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
186 |
^ vdbFrameFiltersEnabled. |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
187 |
|
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
188 |
"Modified: / 10-04-2018 / 16:53:47 / Jan Vrany <jan.vrany@fit.cvut.cz>" |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
189 |
! |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
190 |
|
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
191 |
vdbPrettyPrintingEnabled |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
192 |
<resource: #uiAspect> |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
193 |
|
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
194 |
"automatically generated by UIPainter ..." |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
195 |
|
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
196 |
"*** the code below creates a default model when invoked." |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
197 |
"*** (which may not be the one you wanted)" |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
198 |
"*** Please change as required and accept it in the browser." |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
199 |
"*** (and replace this comment by something more useful ;-)" |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
200 |
|
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
201 |
vdbPrettyPrintingEnabled isNil ifTrue:[ |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
202 |
vdbPrettyPrintingEnabled := false asValue. |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
203 |
"/ if your app needs to be notified of changes, uncomment one of the lines below: |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
204 |
"/ vdbPrettyPrintingEnabled addDependent:self. |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
205 |
vdbPrettyPrintingEnabled onChangeSend:#updateModifiedChannel to:self. |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
206 |
]. |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
207 |
^ vdbPrettyPrintingEnabled. |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
208 |
|
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
209 |
"Modified: / 10-04-2018 / 16:53:41 / Jan Vrany <jan.vrany@fit.cvut.cz>" |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
210 |
! ! |
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
211 |
|
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
212 |
|
82e202dec6cb
UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
213 |
VDBSettingsApplication initialize! |