blob: b0b96528079b8cfe67762e24bb119bebe856f18a (
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
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
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
|
set Resources(hdr_panel) { \
*hdr_panel.geometry: 550x600
*hdr_panel.title: Image Header
*hdr_panel*SimpleMenu.borderColor: black
*hdr_panel*SimpleMenu.borderWidth: 1
*hdr_panel*SimpleMenu.foreground: White
*hdr_panel*SimpleMenu.background: SteelBlue
*hdrMenuFrame.frameType: raised
*hdrMenuFrame.frameWidth: 2
*hdrLayout.layout: vertical { \
hdrMenuFrame < +inf -inf * > \
hdrObjGroup < +inf -inf * > \
hdrTabFrame < +inf -inf * +inf -inf> \
}
*hdrMenuBar*borderWidth: 0
*hdrMenuBar*Command.internalHeight: 5
*hdrMenuBar*Command.internalWidth: 12
*hdrMenuBar.layout: vertical { \
5 < -5 > \
horizontal { 10 < +inf -10> hdrClose 7 } \
5 < -5 > \
}
*hdrClose.label: Dismiss
*hdrObjGroup.label:
*hdrObjGroup.outerOffset: 7
*hdrObjGroup.innerOffset: 4
*hdrObjLayout.borderWidth: 0
*hdrObjLayout.layout: vertical { \
horizontal { hdrObjLabel 2 hdrObjMenu < +inf -inf * > 2 } \
}
*hdrObjLabel.label: Image Name:
*hdrObjMenu.label:
*hdrObjMenu.justify: left
*hdrObjMenu.font: 7x13
*hdrObjMenu.menuName: objMenu
*hdrObjMenu.internalWidth: 5
*hdrObjMenu.internalHeight: 1
*hdrObjMenu.shadowWidth: 1
*hdrHdrGroup.tabLabel: Image Header
*hdrHdrGroup.label:
*hdrHdrGroup.outerOffset: 7
*hdrHdrGroup.innerOffset: 5
*hdrHdrLayout.borderWidth: 0
*hdrHdrLayout.layout: vertical { \
horizontal { \
hdrFilter 2 hFindFrame < +inf -inf * > 2 hdrFind 1 hdrClear \
} \
5 \
hdrText < +inf -inf * +inf -inf > \
}
*hFindEntry*editType: edit
*hFindEntry*font: 7x13
*hFindEntry*displayCaret: True
*hFindEntry*width: 150
*hFindFrame.frameWidth: 1
*hFindFrame*borderWidth: 0
*hFindFrame.frameType: sunken
*hFindFrame.width: 150
*hFindFrame.height: 23
*hdrFilter.label: Keyword Filter
*hdrFind.label: Search
*hdrClear.label: Clear
! Resources if the header text widget is AsciiText
! *hdrText*scrollVertical: Always
! *hdrText*scrollHorizontal: Always
! *hdrText*editType: edit
! *hdrText*font: 7x13
! *hdrText*background: gray77
! *hdrText*displayCaret: False
! *hdrText*bottomMargin: 10
! *hdrText*Scrollbar.width: 15
! *hdrText*Scrollbar.height: 15
! Resources if the header text widget is HTML
*hdrText.width: 600
*hdrText.height: 500
*hdrText.anchorUnderlines: 1
*hdrText.visitedAnchorUnderlines: 1
*hdrText.verticalScrollOnRight: True
*hdrText.plainFont: 7x13
*hdrText.marginWidth: 5
*hdrText.marginHeight: 5
*hdrWcsGroup.tabLabel: Image WCS Info
*hdrWcsGroup.label:
*hdrWcsGroup.outerOffset: 5
*hdrWcsGroup.innerOffset: 5
*hdrWcsGroup*Text*scrollVertical: whenNeeded
*hdrWcsGroup*Text*scrollHorizontal: whenNeeded
*hdrWcsGroup*Text*editType: edit
*hdrWcsGroup*Text*displayCaret: False
*hdrWcsGroup*Text*borderWidth: 0
*hdrWcsGroup*Text*editType: edit
*hdrWcsGroup*Text*font: 7x13
*hdrWcsGroup*Text*Scrollbar.width: 15
*hdrWcsGroup*Text*Scrollbar.height: 15
*hdrWcsLayout.borderWidth: 0
*hdrWcsLayout.layout: vertical { \
2 < -2 > \
hdrInfoGroup < +inf -inf * > \
2 < -2 > \
hdrKeywGroup < +inf -inf * +inf -inf > \
-4 \
}
*hdrInfoGroup.label: Basic WCS Information
*hdrInfoGroup.outerOffset: 7
*hdrInfoGroup.innerOffset: 0
*hdrIGFrame.frameType: sunken
*hdrIGFrame.frameWidth: 1
*hdrIGText.height: 130
! *hdrIGText*background: black
! *hdrIGText*foreground: yellow2
*hdrIGText*background: gray68
*hdrIGText*foreground: black
*hdrWcsGroup*hdrIGText*scrollVertical: never
*hdrWcsGroup*hdrIGText*scrollHorizontal: never
*hdrWcsGroup*hdrIGText*font: 7x13
*hdrKeywGroup.label: WCS Header Keywords
*hdrKeywGroup.outerOffset: 7
*hdrKeywGroup.innerOffset: 5
*hdrKGFrame.frameType: sunken
*hdrKGFrame.frameWidth: 1
*hdrKGText*background: gray77
*hdrKGText*bottomMargin: 10
*hdrIGText*background: gray77
*hdrIGFrame.frameWidth: 0
}
|
