30-miniwindow.otui

main 216 lines · 4 KB Raw
Alex Alex Commit Client Upload Part 1 19/10/2026 00:04
1MiniWindow < UIMiniWindow
2 font: verdana-11px-antialised
3 icon-rect: 4 2 13 13
4 icon-clip: 0 0 20 20
5 color: #9F9F9F
6 width: 190
7 height: 200
8 text-offset: 24 2
9 text-align: topLeft
10 image-source: /images/ui/miniwindow
11 image-border: 4
12 image-border-top: 20
13 image-border-bottom: 4
14 focusable: false
15 &minimizedHeight: 20
16
17 $on:
18 image-border-bottom: 2
19
20 UIWidget
21 id: miniwindowTopBar
22 anchors.top: parent.top
23 anchors.right: parent.right
24 anchors.left: parent.left
25 margin-right: 3
26 margin-left: 3
27 margin-top: 3
28 size: 258 14
29 phantom: true
30
31 UIButton
32 id: closeButton
33 anchors.top: parent.top
34 anchors.right: parent.right
35 margin-top: 2
36 margin-right: 4
37 size: 14 14
38 image-source: /images/ui/miniwindow_buttons
39 image-clip: 28 0 14 14
40
41 $hover:
42 image-clip: 28 14 14 14
43
44 $pressed:
45 image-clip: 28 28 14 14
46
47 UIButton
48 id: minimizeButton
49 anchors.top: closeButton.top
50 anchors.right: closeButton.left
51 margin-right: 3
52 size: 14 14
53 image-source: /images/ui/miniwindow_buttons
54 image-clip: 0 0 14 14
55
56 $hover:
57 image-clip: 0 14 14 14
58
59 $pressed:
60 image-clip: 0 28 14 14
61
62 $on:
63 image-clip: 14 0 14 14
64
65 $on hover:
66 image-clip: 14 14 14 14
67
68 $on pressed:
69 image-clip: 14 28 14 14
70
71 UIButton
72 id: lockButton
73 anchors.top: minimizeButton.top
74 anchors.right: minimizeButton.left
75 margin-right: 2
76 size: 14 14
77 image-source: /images/ui/miniwindow_buttons
78 image-clip: 98 0 14 14
79
80 $hover:
81 image-clip: 98 14 14 14
82
83 $pressed:
84 image-clip: 98 28 14 14
85
86 $on:
87 image-clip: 84 0 14 14
88
89 $on hover:
90 image-clip: 84 14 14 14
91
92 $on pressed:
93 image-clip: 84 28 14 14
94
95 VerticalScrollBar
96 id: miniwindowScrollBar
97 anchors.top: parent.top
98 anchors.bottom: parent.bottom
99 anchors.right: parent.right
100 step: 14
101 margin-top: 18
102 margin-right: 4
103 margin-bottom: 3
104 pixels-scroll: true
105
106 $!on:
107 width: 0
108
109 ResizeBorder
110 id: bottomResizeBorder
111 anchors.bottom: parent.bottom
112 anchors.left: parent.left
113 anchors.right: parent.right
114 height: 3
115 minimum: 48
116 margin-left: 3
117 margin-right: 3
118 background: #ffffff88
119
120MiniWindowContents < ScrollablePanel
121 id: contentsPanel
122 anchors.fill: parent
123 anchors.right: miniwindowScrollBar.left
124 margin-left: 3
125 margin-bottom: 3
126 margin-top: 18
127 margin-right: 1
128 vertical-scrollbar: miniwindowScrollBar
129
130HeadlessMiniWindow < UIMiniWindow
131 font: verdana-11px-antialised
132 icon-rect: 4 2 13 12
133 icon-clip: 0 0 20 20
134 color: #8F8F8F
135 width: 190
136 height: 200
137 focusable: false
138 &minimizedHeight: 20
139
140 $on:
141 image-border-bottom: 2
142
143 $!on:
144 text:
145 icon:
146
147 UIButton
148 id: minimizeButton
149 anchors.top: parent.top
150 anchors.right: parent.right
151 margin-right: 10
152 margin-top: 1
153 size: 14 14
154 image-source: /images/ui/miniwindow_buttons
155 image-clip: 0 0 14 14
156
157 $hover:
158 image-clip: 0 14 14 14
159
160 $pressed:
161 image-clip: 0 28 14 14
162
163 $on:
164 image-clip: 14 0 14 14
165
166 $on hover:
167 image-clip: 14 14 14 14
168
169 $on pressed:
170 image-clip: 14 28 14 14
171
172 $!on:
173 size: 0 0
174
175 UIWidget
176 id: miniwindowTopBar
177 anchors.top: parent.top
178 anchors.right: parent.right
179 anchors.left: parent.left
180 margin-right: 3
181 margin-left: 3
182 margin-top: 3
183 size: 258 14
184 phantom: true
185
186 UIButton
187 id: closeButton
188 anchors.top: parent.top
189 anchors.right: parent.right
190 hidden: true
191
192 VerticalScrollBar
193 id: miniwindowScrollBar
194 anchors.top: parent.top
195 anchors.bottom: parent.bottom
196 anchors.right: parent.right
197 step: 14
198 margin-top: 16
199 margin-right: 4
200 margin-bottom: 3
201 pixels-scroll: true
202
203 $!on:
204 width: 0
205
206 ResizeBorder
207 id: bottomResizeBorder
208 anchors.bottom: parent.bottom
209 anchors.left: parent.left
210 anchors.right: parent.right
211 height: 3
212 minimum: 48
213 margin-left: 3
214 margin-right: 3
215 background: #ffffff88
216
Top