1*Panner*backgroundStipple: grid2
2
3*allowShellResize: true
4*buttonbox*ShapeStyle: oval
5*Form*Panner.Thickness: -1
6*Form.defaultDistance: 0
7*Form.BorderWidth: 0
8*Porthole.BorderWidth: 0
9*Porthole.top: ChainTop
10*Porthole.left: ChainLeft
11*Porthole.bottom: ChainBottom
12*Porthole.right:  ChainRight
13*Porthole.resizable: on
14*Panner.top: ChainTop
15*Panner.left: ChainLeft
16*Panner.bottom: ChainTop
17*Panner.right:  ChainLeft
18*Panner.resizable: on
19*Tree*ShapeStyle: rectangle
20*Tree*Toggle*BorderWidth: 0
21*Porthole*Box.BorderWidth: 0
22*Porthole*Box.HSpace: 0
23*Porthole*Box.VSpace: 0
24*Paned*allowResize: true
25
26*Tree*List*Font: -adobe-helvetica-medium-r-normal--*-80-*-*-*-*-iso*-*
27
28*SimpleMenu*BackingStore: NotUseful
29*Font: -adobe-helvetica-bold-r-normal--*-120-*-*-*-*-iso*-*
30*buttonbox.MenuButton.leftBitmap: menu12
31*SimpleMenu*menuLabel.vertSpace:   100
32*SimpleMenu*SmeLine*Height: 12
33
34*quit.Label: Quit
35
36*buttonbox.quit.baseTranslations:  #override \
37		<Btn1Down>,<Btn1Up>: Quit() unset()
38
39*Toggle.baseTranslations: #augment \n\
40<Btn2Down>,<Btn2Up>: set() notify() Resources(toggle) \n\
41<Key>q: Quit() \n\
42<Key>space: Select(nothing) \n\
43<Key>p: Select(parent) \n\
44<Key>a: Select(ancestors) \n\
45<Key>c: Select(children) \n\
46<Key>d: Select(descendants) \n\
47Ctrl<Key>r: Resources(on) \n\
48Ctrl<Key>n: Resources(off) \n\
49
50*List.baseTranslations: #augment \n\
51<Key>q: Quit() \n\
52<Key>space: Select(nothing) \n\
53<Key>p: Select(parent) \n\
54<Key>a: Select(ancestors) \n\
55<Key>c: Select(children) \n\
56<Key>d: Select(descendants) \n\
57Ctrl<Key>r: Resources(on) \n\
58Ctrl<Key>n: Resources(off) \n\
59
60*Porthole.baseTranslations: #override \n\
61<Btn1Down>,<Btn1Up>:	Select(nothing) \n\
62<Key>q: Quit() \n\
63Ctrl<Key>h: SetOrientation(west) \n\
64Ctrl<Key>v: SetOrientation(north) \n\
65Ctrl<Key>r: Resources(on) \n\
66Ctrl<Key>n: Resources(off) \n\
67Shift<Key>c: SetLabelType(class) \n\
68Shift<Key>v: SetLabelType(variable) \n\
69<Key>space: Select(nothing) \n\
70<Key>i: Select(invert) \n\
71<Key>p: Select(parent) \n\
72<Key>a: Select(ancestors) \n\
73<Key>c: Select(children) \n\
74<Key>d: Select(descendants) \n\
75<Key>r: Select(resources) \n\
76<Key>s: Select(shown) \n\
77
78*buttonbox.view.Label: View
79*buttonbox.view.viewMenu.layoutHorizontal.Label: Layout Horizontal
80*buttonbox.view.viewMenu.layoutVertical.Label: Layout Vertical
81*buttonbox.view.viewMenu.namesVariable.Label: Show Variable Names
82*buttonbox.view.viewMenu.namesClass.Label: Show Class Names
83*buttonbox.view.viewMenu.viewResources.Label: Show Resource Boxes
84*buttonbox.view.viewMenu.viewNoResources.Label: Hide Resource Boxes
85
86*buttonbox.select.Label: Select
87*buttonbox.select.selectMenu.unselect.Label: Unselect All
88*buttonbox.select.selectMenu.selectAll.Label: Select All
89*buttonbox.select.selectMenu.selectInvert.Label: Invert All
90*buttonbox.select.selectMenu.selectParent.Label: Select Parent
91*buttonbox.select.selectMenu.selectAncestors.Label: Select Ancestors
92*buttonbox.select.selectMenu.selectChildren.Label: Select Children
93*buttonbox.select.selectMenu.selectDescendants.Label: Select Descendants
94*buttonbox.select.selectMenu.selectHasResources.Label: Select Has Resources
95*buttonbox.select.selectMenu.selectShownResources.Label: Select Shown Resource Boxes
96