blob: 52e2782687cdd496b18a666117fe7f73b0348b57 (
plain) (
blame)
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
|
set Resources(panelShell) { \
!================================
! Main Integrated Control Panel
!================================
*panelShell.title: XImtool Control Panel
*panelShell.geometry: 480x630
*panelShell.maxWidth: 480
*panelShell.minWidth: 480
*panelTabs.internalHeight: 3
*panelTabs.internalWidth: 10
*Text*font: -*-helvetica-medium-r-normal-*-12-*-iso8859-1
*TextBox*font: -*-helvetica-medium-r-normal-*-12-*-iso8859-1
*List.font: -*-helvetica-medium-r-normal-*-12-*-iso8859-1
*MultiList.font: -*-helvetica-medium-r-normal-*-12-*-iso8859-1
*TextButton.font: -*-helvetica-medium-r-normal-*-12-*-iso8859-1
*TextToggle.font: -*-helvetica-medium-r-normal-*-12-*-iso8859-1
*display_panel.tabLabel: Display
*display_panel.innerOffset: 5
*print_panel.tabLabel: Print
*print_panel.innerOffset: 5
*load_panel.tabLabel: Load
*load_panel.innerOffset: 5
*save_panel.tabLabel: Save
*save_panel.innerOffset: 5
*info_panel.tabLabel: Info
*info_panel.innerOffset: 5
*tile_panel.tabLabel: Tile
*tile_panel.innerOffset: 5
*wcs_panel.tabLabel: Coords
*wcs_panel.innerOffset: 5
*panelMenuBar*borderWidth: 0
*panelMenuBar*Command.internalHeight: 4
*panelMenuBar*Command.internalWidth: 15
*panelMenuBar.layout: vertical { \
5 < -5 > \
horizontal { \
10 < +inf -10> \
panelHelp \
3 < -3 > \
panelClose \
7 < -7 > \
} \
5 < -5 > \
}
*panelHelp.label: Help
*panelClose.label: Dismiss
*tabFrame.outerOffset: 3
*tabFrame.innerOffset: 0
*tabFrame.frameWidth: 0
*tabFrame.frameType: chiseled
*panelMenuFrame.outerOffset: 0
*panelMenuFrame.innerOffset: 1
*panelMenuFrame.frameType: raised
*panelMenuFrame.frameWidth: 2
*panel.layout: vertical { \
panelMenuFrame < +inf -inf * > \
3 \
horizontal { tabFrame < +inf -inf * +inf -inf> } \
}
}
|
