1 <?xml version=
"1.0" encoding=
"UTF-8"?>
3 <!-- interface-requires gtk+ 2.12 -->
4 <object class=
"GtkDialog" id=
"Log viewer">
5 <property name=
"width_request">640</property>
6 <property name=
"height_request">300</property>
7 <property name=
"visible">True
</property>
8 <property name=
"can_focus">False
</property>
9 <property name=
"title" translatable=
"yes">ROX-Filer log viewer
</property>
10 <property name=
"type_hint">dialog
</property>
11 <child internal-child=
"vbox">
12 <object class=
"GtkBox" id=
"dialog-vbox1">
13 <property name=
"visible">True
</property>
14 <property name=
"can_focus">False
</property>
15 <property name=
"orientation">vertical
</property>
16 <child internal-child=
"action_area">
17 <object class=
"GtkButtonBox" id=
"dialog-action_area1">
18 <property name=
"visible">True
</property>
19 <property name=
"can_focus">False
</property>
20 <property name=
"layout_style">end
</property>
22 <object class=
"GtkButton" id=
"closebutton1">
23 <property name=
"label">gtk-close
</property>
24 <property name=
"visible">True
</property>
25 <property name=
"can_focus">True
</property>
26 <property name=
"can_default">True
</property>
27 <property name=
"receives_default">False
</property>
28 <property name=
"use_action_appearance">False
</property>
29 <property name=
"use_stock">True
</property>
32 <property name=
"expand">False
</property>
33 <property name=
"fill">True
</property>
34 <property name=
"position">0</property>
39 <property name=
"expand">False
</property>
40 <property name=
"fill">True
</property>
41 <property name=
"pack_type">end
</property>
42 <property name=
"position">0</property>
46 <object class=
"GtkVBox" id=
"vbox1">
47 <property name=
"visible">True
</property>
48 <property name=
"can_focus">False
</property>
49 <property name=
"border_width">4</property>
50 <property name=
"spacing">4</property>
52 <object class=
"GtkLabel" id=
"label1">
53 <property name=
"visible">True
</property>
54 <property name=
"can_focus">False
</property>
55 <property name=
"xalign">0</property>
56 <property name=
"label" translatable=
"yes">Recently performed actions...
</property>
59 <property name=
"expand">False
</property>
60 <property name=
"fill">False
</property>
61 <property name=
"position">0</property>
65 <object class=
"GtkScrolledWindow" id=
"scrolledwindow1">
66 <property name=
"visible">True
</property>
67 <property name=
"can_focus">True
</property>
68 <property name=
"shadow_type">in
</property>
70 <object class=
"GtkTreeView" id=
"log_list">
71 <property name=
"visible">True
</property>
72 <property name=
"can_focus">True
</property>
73 <child internal-child=
"selection">
74 <object class=
"GtkTreeSelection" id=
"treeview-selection1"/>
80 <property name=
"expand">True
</property>
81 <property name=
"fill">True
</property>
82 <property name=
"position">1</property>
86 <object class=
"GtkHButtonBox" id=
"hbuttonbox1">
87 <property name=
"can_focus">False
</property>
88 <property name=
"layout_style">start
</property>
90 <object class=
"GtkButton" id=
"button3">
91 <property name=
"visible">True
</property>
92 <property name=
"can_focus">True
</property>
93 <property name=
"can_default">True
</property>
94 <property name=
"receives_default">False
</property>
95 <property name=
"use_action_appearance">False
</property>
97 <object class=
"GtkAlignment" id=
"alignment1">
98 <property name=
"visible">True
</property>
99 <property name=
"can_focus">False
</property>
100 <property name=
"xscale">0</property>
101 <property name=
"yscale">0</property>
103 <object class=
"GtkHBox" id=
"hbox1">
104 <property name=
"visible">True
</property>
105 <property name=
"can_focus">False
</property>
106 <property name=
"spacing">2</property>
108 <object class=
"GtkImage" id=
"image1">
109 <property name=
"visible">True
</property>
110 <property name=
"can_focus">False
</property>
111 <property name=
"stock">gtk-open
</property>
114 <property name=
"expand">False
</property>
115 <property name=
"fill">False
</property>
116 <property name=
"position">0</property>
120 <object class=
"GtkLabel" id=
"label2">
121 <property name=
"visible">True
</property>
122 <property name=
"can_focus">False
</property>
123 <property name=
"label" translatable=
"yes">Open Directory
</property>
124 <property name=
"use_underline">True
</property>
127 <property name=
"expand">False
</property>
128 <property name=
"fill">False
</property>
129 <property name=
"position">1</property>
138 <property name=
"expand">False
</property>
139 <property name=
"fill">True
</property>
140 <property name=
"position">0</property>
145 <property name=
"expand">False
</property>
146 <property name=
"fill">True
</property>
147 <property name=
"position">2</property>
152 <property name=
"expand">True
</property>
153 <property name=
"fill">True
</property>
154 <property name=
"position">1</property>
160 <action-widget response=
"-7">closebutton1
</action-widget>
163 <object class=
"GtkDialog" id=
"Panel Options">
164 <property name=
"can_focus">False
</property>
165 <property name=
"events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK
</property>
166 <property name=
"border_width">5</property>
167 <property name=
"title" translatable=
"yes">Panel Options
</property>
168 <property name=
"window_position">center-on-parent
</property>
169 <property name=
"type_hint">dialog
</property>
170 <signal name=
"close" handler=
"gtk_widget_destroy" swapped=
"no"/>
171 <signal name=
"response" handler=
"gtk_widget_destroy" swapped=
"no"/>
172 <child internal-child=
"vbox">
173 <object class=
"GtkBox" id=
"dialog-vbox2">
174 <property name=
"visible">True
</property>
175 <property name=
"can_focus">False
</property>
176 <property name=
"events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK
</property>
177 <property name=
"spacing">2</property>
178 <child internal-child=
"action_area">
179 <object class=
"GtkButtonBox" id=
"dialog-action_area2">
180 <property name=
"visible">True
</property>
181 <property name=
"can_focus">False
</property>
182 <property name=
"events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK
</property>
183 <property name=
"layout_style">end
</property>
185 <object class=
"GtkButton" id=
"panel_opts_close">
186 <property name=
"label">gtk-close
</property>
187 <property name=
"visible">True
</property>
188 <property name=
"can_focus">True
</property>
189 <property name=
"receives_default">True
</property>
190 <property name=
"events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK
</property>
191 <property name=
"use_action_appearance">False
</property>
192 <property name=
"use_stock">True
</property>
195 <property name=
"expand">False
</property>
196 <property name=
"fill">True
</property>
197 <property name=
"position">0</property>
202 <property name=
"expand">False
</property>
203 <property name=
"fill">True
</property>
204 <property name=
"pack_type">end
</property>
205 <property name=
"position">0</property>
209 <object class=
"GtkVBox" id=
"vbox2">
210 <property name=
"visible">True
</property>
211 <property name=
"can_focus">False
</property>
212 <property name=
"events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK
</property>
213 <property name=
"spacing">10</property>
215 <object class=
"GtkFrame" id=
"frame1">
216 <property name=
"visible">True
</property>
217 <property name=
"can_focus">False
</property>
218 <property name=
"events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK
</property>
219 <property name=
"label_xalign">0</property>
220 <property name=
"shadow_type">none
</property>
222 <object class=
"GtkAlignment" id=
"alignment2">
223 <property name=
"visible">True
</property>
224 <property name=
"can_focus">False
</property>
225 <property name=
"events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK
</property>
226 <property name=
"left_padding">12</property>
228 <object class=
"GtkVBox" id=
"vbox3">
229 <property name=
"visible">True
</property>
230 <property name=
"can_focus">False
</property>
231 <property name=
"events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK
</property>
233 <object class=
"GtkVBox" id=
"vbox4">
234 <property name=
"visible">True
</property>
235 <property name=
"can_focus">False
</property>
236 <property name=
"events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK
</property>
238 <object class=
"GtkRadioButton" id=
"panel_style_radio_0">
239 <property name=
"label" translatable=
"yes">Image and Text
</property>
240 <property name=
"visible">True
</property>
241 <property name=
"can_focus">True
</property>
242 <property name=
"receives_default">False
</property>
243 <property name=
"events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK
</property>
244 <property name=
"tooltip_text" translatable=
"yes">Every icon on this panel is shown with an image and some text.
</property>
245 <property name=
"use_action_appearance">False
</property>
246 <property name=
"active">True
</property>
247 <property name=
"draw_indicator">True
</property>
248 <signal name=
"toggled" handler=
"panel_style_radio_0_toggled_cb" swapped=
"no"/>
251 <property name=
"expand">False
</property>
252 <property name=
"fill">False
</property>
253 <property name=
"position">0</property>
257 <object class=
"GtkRadioButton" id=
"panel_style_radio_1">
258 <property name=
"label" translatable=
"yes">Image only for applications
</property>
259 <property name=
"visible">True
</property>
260 <property name=
"can_focus">True
</property>
261 <property name=
"receives_default">False
</property>
262 <property name=
"events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK
</property>
263 <property name=
"tooltip_text" translatable=
"yes">Applications in this panel have just an image, everything else has both an image and text.
</property>
264 <property name=
"use_action_appearance">False
</property>
265 <property name=
"active">True
</property>
266 <property name=
"draw_indicator">True
</property>
267 <property name=
"group">panel_style_radio_0
</property>
268 <signal name=
"toggled" handler=
"panel_style_radio_1_toggled_cb" swapped=
"no"/>
271 <property name=
"expand">False
</property>
272 <property name=
"fill">False
</property>
273 <property name=
"position">1</property>
277 <object class=
"GtkRadioButton" id=
"panel_style_radio_2">
278 <property name=
"label" translatable=
"yes">Image only
</property>
279 <property name=
"visible">True
</property>
280 <property name=
"can_focus">True
</property>
281 <property name=
"receives_default">False
</property>
282 <property name=
"events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK
</property>
283 <property name=
"tooltip_text" translatable=
"yes">Only the image is shown for icons in this panel.
</property>
284 <property name=
"use_action_appearance">False
</property>
285 <property name=
"active">True
</property>
286 <property name=
"draw_indicator">True
</property>
287 <property name=
"group">panel_style_radio_0
</property>
288 <signal name=
"toggled" handler=
"panel_style_radio_2_toggled_cb" swapped=
"no"/>
291 <property name=
"expand">False
</property>
292 <property name=
"fill">False
</property>
293 <property name=
"position">2</property>
298 <property name=
"expand">False
</property>
299 <property name=
"fill">False
</property>
300 <property name=
"padding">4</property>
301 <property name=
"position">0</property>
305 <object class=
"GtkHBox" id=
"hbox2">
306 <property name=
"visible">True
</property>
307 <property name=
"can_focus">False
</property>
308 <property name=
"events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK
</property>
309 <property name=
"spacing">6</property>
311 <object class=
"GtkLabel" id=
"label4">
312 <property name=
"visible">True
</property>
313 <property name=
"can_focus">False
</property>
314 <property name=
"events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK
</property>
315 <property name=
"label" translatable=
"yes">Panel width
</property>
318 <property name=
"expand">False
</property>
319 <property name=
"fill">False
</property>
320 <property name=
"position">0</property>
324 <object class=
"GtkSpinButton" id=
"panel_width">
325 <property name=
"visible">True
</property>
326 <property name=
"can_focus">True
</property>
327 <property name=
"events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK
</property>
328 <property name=
"tooltip_text" translatable=
"yes">The size of this panel.
</property>
329 <property name=
"adjustment">adjustment1
</property>
330 <signal name=
"value-changed" handler=
"panel_width_changed_cb" object=
"adjustment1" swapped=
"no"/>
333 <property name=
"expand">True
</property>
334 <property name=
"fill">True
</property>
335 <property name=
"position">1</property>
339 <object class=
"GtkLabel" id=
"label6">
340 <property name=
"visible">True
</property>
341 <property name=
"can_focus">False
</property>
342 <property name=
"events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK
</property>
343 <property name=
"label" translatable=
"yes">px
</property>
346 <property name=
"expand">False
</property>
347 <property name=
"fill">False
</property>
348 <property name=
"position">2</property>
353 <property name=
"expand">True
</property>
354 <property name=
"fill">True
</property>
355 <property name=
"padding">4</property>
356 <property name=
"position">1</property>
360 <object class=
"GtkCheckButton" id=
"panel_avoid">
361 <property name=
"label" translatable=
"yes">Do not cover panel
</property>
362 <property name=
"visible">True
</property>
363 <property name=
"can_focus">True
</property>
364 <property name=
"receives_default">False
</property>
365 <property name=
"events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK
</property>
366 <property name=
"tooltip_text" translatable=
"yes">Ask the window manager not to cover this panel when maximising windows, otherwise leave just
2 pixels at the edge of the screen to allow auto-raising. Some window managers may not honour this setting.
</property>
367 <property name=
"use_action_appearance">False
</property>
368 <property name=
"draw_indicator">True
</property>
369 <signal name=
"toggled" handler=
"panel_avoid_toggled_cb" swapped=
"no"/>
372 <property name=
"expand">True
</property>
373 <property name=
"fill">True
</property>
374 <property name=
"padding">4</property>
375 <property name=
"position">2</property>
383 <object class=
"GtkLabel" id=
"label3">
384 <property name=
"visible">True
</property>
385 <property name=
"can_focus">False
</property>
386 <property name=
"events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK
</property>
387 <property name=
"label" translatable=
"yes"><b
>Panel style
</b
></property>
388 <property name=
"use_markup">True
</property>
393 <property name=
"expand">True
</property>
394 <property name=
"fill">True
</property>
395 <property name=
"position">0</property>
399 <object class=
"GtkFrame" id=
"frame2">
400 <property name=
"visible">True
</property>
401 <property name=
"can_focus">False
</property>
402 <property name=
"events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK
</property>
403 <property name=
"label_xalign">0</property>
404 <property name=
"shadow_type">none
</property>
406 <object class=
"GtkAlignment" id=
"alignment3">
407 <property name=
"visible">True
</property>
408 <property name=
"can_focus">False
</property>
409 <property name=
"events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK
</property>
410 <property name=
"left_padding">12</property>
412 <object class=
"GtkVBox" id=
"vbox5">
413 <property name=
"visible">True
</property>
414 <property name=
"can_focus">False
</property>
415 <property name=
"events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK
</property>
417 <object class=
"GtkHBox" id=
"hbox3">
418 <property name=
"visible">True
</property>
419 <property name=
"can_focus">False
</property>
420 <property name=
"events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK
</property>
421 <property name=
"spacing">6</property>
423 <object class=
"GtkCheckButton" id=
"panel_xinerama_confine">
424 <property name=
"label" translatable=
"yes">Confine to Xinerama monitor
</property>
425 <property name=
"visible">True
</property>
426 <property name=
"can_focus">True
</property>
427 <property name=
"receives_default">False
</property>
428 <property name=
"events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK
</property>
429 <property name=
"tooltip_text" translatable=
"yes">If you use multiple monitors with Xinerama, use this option to confine the panel to one monitor.
</property>
430 <property name=
"use_action_appearance">False
</property>
431 <property name=
"draw_indicator">True
</property>
432 <signal name=
"toggled" handler=
"panel_xinerama_confine_toggled_cb" object=
"panel_xinerama_monitor" swapped=
"no"/>
435 <property name=
"expand">False
</property>
436 <property name=
"fill">False
</property>
437 <property name=
"position">0</property>
441 <object class=
"GtkSpinButton" id=
"panel_xinerama_monitor">
442 <property name=
"visible">True
</property>
443 <property name=
"can_focus">True
</property>
444 <property name=
"events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK
</property>
445 <property name=
"tooltip_text" translatable=
"yes">The monitor this panel is confined to when using Xinerama. The numbering starts from zero.
</property>
446 <property name=
"adjustment">adjustment2
</property>
447 <signal name=
"value-changed" handler=
"panel_xinerama_monitor_changed_cb" object=
"adjustment2" swapped=
"no"/>
450 <property name=
"expand">False
</property>
451 <property name=
"fill">False
</property>
452 <property name=
"position">1</property>
457 <property name=
"expand">False
</property>
458 <property name=
"fill">False
</property>
459 <property name=
"padding">4</property>
460 <property name=
"position">0</property>
468 <object class=
"GtkLabel" id=
"label7">
469 <property name=
"visible">True
</property>
470 <property name=
"can_focus">False
</property>
471 <property name=
"events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK
</property>
472 <property name=
"label" translatable=
"yes"><b
>Xinerama
</b
></property>
473 <property name=
"use_markup">True
</property>
478 <property name=
"expand">True
</property>
479 <property name=
"fill">True
</property>
480 <property name=
"position">1</property>
484 <object class=
"GtkFrame" id=
"frame3">
485 <property name=
"visible">True
</property>
486 <property name=
"can_focus">False
</property>
487 <property name=
"events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK
</property>
488 <property name=
"label_xalign">0</property>
489 <property name=
"shadow_type">none
</property>
491 <object class=
"GtkAlignment" id=
"alignment4">
492 <property name=
"visible">True
</property>
493 <property name=
"can_focus">False
</property>
494 <property name=
"events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK
</property>
495 <property name=
"left_padding">12</property>
497 <object class=
"GtkTable" id=
"table1">
498 <property name=
"visible">True
</property>
499 <property name=
"can_focus">False
</property>
500 <property name=
"events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK
</property>
501 <property name=
"n_rows">3</property>
502 <property name=
"n_columns">3</property>
503 <property name=
"homogeneous">True
</property>
505 <object class=
"GtkRadioButton" id=
"panel_pos_right">
506 <property name=
"label" translatable=
"yes">Right edge
</property>
507 <property name=
"visible">True
</property>
508 <property name=
"can_focus">True
</property>
509 <property name=
"receives_default">False
</property>
510 <property name=
"events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK
</property>
511 <property name=
"use_action_appearance">False
</property>
512 <property name=
"active">True
</property>
513 <property name=
"draw_indicator">True
</property>
514 <property name=
"group">panel_pos_top
</property>
515 <signal name=
"toggled" handler=
"panel_pos_right_toggled_cb" swapped=
"no"/>
518 <property name=
"left_attach">2</property>
519 <property name=
"right_attach">3</property>
520 <property name=
"top_attach">1</property>
521 <property name=
"bottom_attach">2</property>
525 <object class=
"GtkRadioButton" id=
"panel_pos_left">
526 <property name=
"label" translatable=
"yes">Left edge
</property>
527 <property name=
"visible">True
</property>
528 <property name=
"can_focus">True
</property>
529 <property name=
"receives_default">False
</property>
530 <property name=
"events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK
</property>
531 <property name=
"use_action_appearance">False
</property>
532 <property name=
"active">True
</property>
533 <property name=
"draw_indicator">True
</property>
534 <property name=
"group">panel_pos_top
</property>
535 <signal name=
"toggled" handler=
"panel_pos_left_toggled_cb" swapped=
"no"/>
538 <property name=
"top_attach">1</property>
539 <property name=
"bottom_attach">2</property>
543 <object class=
"GtkRadioButton" id=
"panel_pos_bottom">
544 <property name=
"label" translatable=
"yes">Bottom edge
</property>
545 <property name=
"visible">True
</property>
546 <property name=
"can_focus">True
</property>
547 <property name=
"receives_default">False
</property>
548 <property name=
"events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK
</property>
549 <property name=
"use_action_appearance">False
</property>
550 <property name=
"active">True
</property>
551 <property name=
"draw_indicator">True
</property>
552 <property name=
"group">panel_pos_top
</property>
553 <signal name=
"toggled" handler=
"panel_pos_bottom_toggled_cb" swapped=
"no"/>
556 <property name=
"left_attach">1</property>
557 <property name=
"right_attach">2</property>
558 <property name=
"top_attach">2</property>
559 <property name=
"bottom_attach">3</property>
563 <object class=
"GtkRadioButton" id=
"panel_pos_top">
564 <property name=
"label" translatable=
"yes">Top edge
</property>
565 <property name=
"visible">True
</property>
566 <property name=
"can_focus">True
</property>
567 <property name=
"receives_default">False
</property>
568 <property name=
"events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK
</property>
569 <property name=
"use_action_appearance">False
</property>
570 <property name=
"active">True
</property>
571 <property name=
"draw_indicator">True
</property>
572 <signal name=
"toggled" handler=
"panel_pos_top_toggled_cb" swapped=
"no"/>
575 <property name=
"left_attach">1</property>
576 <property name=
"right_attach">2</property>
599 <object class=
"GtkLabel" id=
"label5">
600 <property name=
"visible">True
</property>
601 <property name=
"can_focus">False
</property>
602 <property name=
"events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK
</property>
603 <property name=
"label" translatable=
"yes"><b
>Position
</b
></property>
604 <property name=
"use_markup">True
</property>
609 <property name=
"expand">True
</property>
610 <property name=
"fill">True
</property>
611 <property name=
"position">2</property>
616 <property name=
"expand">False
</property>
617 <property name=
"fill">True
</property>
618 <property name=
"padding">4</property>
619 <property name=
"position">1</property>
625 <action-widget response=
"-7">panel_opts_close
</action-widget>
628 <object class=
"GtkAdjustment" id=
"adjustment1">
629 <property name=
"lower">16</property>
630 <property name=
"upper">96</property>
631 <property name=
"value">32</property>
632 <property name=
"step_increment">1</property>
634 <object class=
"GtkAdjustment" id=
"adjustment2">
635 <property name=
"upper">100</property>
636 <property name=
"step_increment">1</property>