blob: 7272283c7db7980503f72e9794ed7c7fca2bc3c3 (
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
91
92
93
94
95
|
*Panner*backgroundStipple: grid2
*allowShellResize: true
*buttonbox*ShapeStyle: oval
*Form*Panner.Thickness: -1
*Form.defaultDistance: 0
*Form.BorderWidth: 0
*Porthole.BorderWidth: 0
*Porthole.top: ChainTop
*Porthole.left: ChainLeft
*Porthole.bottom: ChainBottom
*Porthole.right: ChainRight
*Porthole.resizable: on
*Panner.top: ChainTop
*Panner.left: ChainLeft
*Panner.bottom: ChainTop
*Panner.right: ChainLeft
*Panner.resizable: on
*Tree*ShapeStyle: rectangle
*Tree*Toggle*BorderWidth: 0
*Porthole*Box.BorderWidth: 0
*Porthole*Box.HSpace: 0
*Porthole*Box.VSpace: 0
*Paned*allowResize: true
*Tree*List*Font: -adobe-helvetica-medium-r-normal--*-80-*-*-*-*-iso*-*
*SimpleMenu*BackingStore: NotUseful
*Font: -adobe-helvetica-bold-r-normal--*-120-*-*-*-*-iso*-*
*buttonbox.MenuButton.leftBitmap: menu12
*SimpleMenu*menuLabel.vertSpace: 100
*SimpleMenu*SmeLine*Height: 12
*quit.Label: Quit
*buttonbox.quit.baseTranslations: #override \
<Btn1Down>,<Btn1Up>: Quit() unset()
*Toggle.baseTranslations: #augment \n\
<Btn2Down>,<Btn2Up>: set() notify() Resources(toggle) \n\
<Key>q: Quit() \n\
<Key>space: Select(nothing) \n\
<Key>p: Select(parent) \n\
<Key>a: Select(ancestors) \n\
<Key>c: Select(children) \n\
<Key>d: Select(descendants) \n\
Ctrl<Key>r: Resources(on) \n\
Ctrl<Key>n: Resources(off) \n\
*List.baseTranslations: #augment \n\
<Key>q: Quit() \n\
<Key>space: Select(nothing) \n\
<Key>p: Select(parent) \n\
<Key>a: Select(ancestors) \n\
<Key>c: Select(children) \n\
<Key>d: Select(descendants) \n\
Ctrl<Key>r: Resources(on) \n\
Ctrl<Key>n: Resources(off) \n\
*Porthole.baseTranslations: #override \n\
<Btn1Down>,<Btn1Up>: Select(nothing) \n\
<Key>q: Quit() \n\
Ctrl<Key>h: SetOrientation(west) \n\
Ctrl<Key>v: SetOrientation(north) \n\
Ctrl<Key>r: Resources(on) \n\
Ctrl<Key>n: Resources(off) \n\
Shift<Key>c: SetLabelType(class) \n\
Shift<Key>v: SetLabelType(variable) \n\
<Key>space: Select(nothing) \n\
<Key>i: Select(invert) \n\
<Key>p: Select(parent) \n\
<Key>a: Select(ancestors) \n\
<Key>c: Select(children) \n\
<Key>d: Select(descendants) \n\
<Key>r: Select(resources) \n\
<Key>s: Select(shown) \n\
*buttonbox.view.Label: View
*buttonbox.view.viewMenu.layoutHorizontal.Label: Layout Horizontal
*buttonbox.view.viewMenu.layoutVertical.Label: Layout Vertical
*buttonbox.view.viewMenu.namesVariable.Label: Show Variable Names
*buttonbox.view.viewMenu.namesClass.Label: Show Class Names
*buttonbox.view.viewMenu.viewResources.Label: Show Resource Boxes
*buttonbox.view.viewMenu.viewNoResources.Label: Hide Resource Boxes
*buttonbox.select.Label: Select
*buttonbox.select.selectMenu.unselect.Label: Unselect All
*buttonbox.select.selectMenu.selectAll.Label: Select All
*buttonbox.select.selectMenu.selectInvert.Label: Invert All
*buttonbox.select.selectMenu.selectParent.Label: Select Parent
*buttonbox.select.selectMenu.selectAncestors.Label: Select Ancestors
*buttonbox.select.selectMenu.selectChildren.Label: Select Children
*buttonbox.select.selectMenu.selectDescendants.Label: Select Descendants
*buttonbox.select.selectMenu.selectHasResources.Label: Select Has Resources
*buttonbox.select.selectMenu.selectShownResources.Label: Select Shown Resource Boxes
|