1 <?xml version=
"1.0" encoding=
"UTF-8"?>
3 <!-- interface-requires gtk+ 2.12 -->
4 <object class=
"GtkDialog" id=
"Log viewer">
5 <property name=
"visible">True
</property>
6 <property name=
"can_focus">False
</property>
7 <property name=
"title" translatable=
"yes">ROX-Filer log viewer
</property>
8 <property name=
"type_hint">dialog
</property>
9 <child internal-child=
"vbox">
10 <object class=
"GtkBox" id=
"dialog-vbox1">
11 <property name=
"visible">True
</property>
12 <property name=
"can_focus">False
</property>
13 <property name=
"orientation">vertical
</property>
14 <child internal-child=
"action_area">
15 <object class=
"GtkButtonBox" id=
"dialog-action_area1">
16 <property name=
"visible">True
</property>
17 <property name=
"can_focus">False
</property>
18 <property name=
"layout_style">end
</property>
20 <object class=
"GtkButton" id=
"closebutton1">
21 <property name=
"label">gtk-close
</property>
22 <property name=
"visible">True
</property>
23 <property name=
"can_focus">True
</property>
24 <property name=
"can_default">True
</property>
25 <property name=
"receives_default">False
</property>
26 <property name=
"use_action_appearance">False
</property>
27 <property name=
"use_stock">True
</property>
30 <property name=
"expand">False
</property>
31 <property name=
"fill">True
</property>
32 <property name=
"position">0</property>
37 <property name=
"expand">False
</property>
38 <property name=
"fill">True
</property>
39 <property name=
"pack_type">end
</property>
40 <property name=
"position">0</property>
44 <object class=
"GtkVBox" id=
"vbox1">
45 <property name=
"visible">True
</property>
46 <property name=
"can_focus">False
</property>
47 <property name=
"border_width">4</property>
48 <property name=
"spacing">4</property>
50 <object class=
"GtkLabel" id=
"label1">
51 <property name=
"visible">True
</property>
52 <property name=
"can_focus">False
</property>
53 <property name=
"xalign">0</property>
54 <property name=
"label" translatable=
"yes">Recently performed actions...
</property>
57 <property name=
"expand">False
</property>
58 <property name=
"fill">False
</property>
59 <property name=
"position">0</property>
63 <object class=
"GtkScrolledWindow" id=
"scrolledwindow1">
64 <property name=
"visible">True
</property>
65 <property name=
"can_focus">True
</property>
66 <property name=
"shadow_type">in
</property>
68 <object class=
"GtkTreeView" id=
"log_list">
69 <property name=
"visible">True
</property>
70 <property name=
"can_focus">True
</property>
71 <child internal-child=
"selection">
72 <object class=
"GtkTreeSelection" id=
"treeview-selection1"/>
78 <property name=
"expand">True
</property>
79 <property name=
"fill">True
</property>
80 <property name=
"position">1</property>
84 <object class=
"GtkHButtonBox" id=
"hbuttonbox1">
85 <property name=
"can_focus">False
</property>
86 <property name=
"layout_style">start
</property>
88 <object class=
"GtkButton" id=
"button3">
89 <property name=
"visible">True
</property>
90 <property name=
"can_focus">True
</property>
91 <property name=
"can_default">True
</property>
92 <property name=
"receives_default">False
</property>
93 <property name=
"use_action_appearance">False
</property>
95 <object class=
"GtkAlignment" id=
"alignment1">
96 <property name=
"visible">True
</property>
97 <property name=
"can_focus">False
</property>
98 <property name=
"xscale">0</property>
99 <property name=
"yscale">0</property>
101 <object class=
"GtkHBox" id=
"hbox1">
102 <property name=
"visible">True
</property>
103 <property name=
"can_focus">False
</property>
104 <property name=
"spacing">2</property>
106 <object class=
"GtkImage" id=
"image1">
107 <property name=
"visible">True
</property>
108 <property name=
"can_focus">False
</property>
109 <property name=
"stock">gtk-open
</property>
112 <property name=
"expand">False
</property>
113 <property name=
"fill">False
</property>
114 <property name=
"position">0</property>
118 <object class=
"GtkLabel" id=
"label2">
119 <property name=
"visible">True
</property>
120 <property name=
"can_focus">False
</property>
121 <property name=
"label" translatable=
"yes">Open Directory
</property>
122 <property name=
"use_underline">True
</property>
125 <property name=
"expand">False
</property>
126 <property name=
"fill">False
</property>
127 <property name=
"position">1</property>
136 <property name=
"expand">False
</property>
137 <property name=
"fill">True
</property>
138 <property name=
"position">0</property>
143 <property name=
"expand">False
</property>
144 <property name=
"fill">True
</property>
145 <property name=
"position">2</property>
150 <property name=
"expand">True
</property>
151 <property name=
"fill">True
</property>
152 <property name=
"position">1</property>
158 <action-widget response=
"-7">closebutton1
</action-widget>
161 <object class=
"GtkDialog" id=
"Panel Options">
162 <property name=
"can_focus">False
</property>
163 <property name=
"events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK
</property>
164 <property name=
"border_width">5</property>
165 <property name=
"title" translatable=
"yes">Panel Options
</property>
166 <property name=
"window_position">center-on-parent
</property>
167 <property name=
"type_hint">dialog
</property>
168 <signal name=
"close" handler=
"gtk_widget_destroy" swapped=
"no"/>
169 <signal name=
"response" handler=
"gtk_widget_destroy" swapped=
"no"/>
170 <child internal-child=
"vbox">
171 <object class=
"GtkBox" id=
"dialog-vbox2">
172 <property name=
"visible">True
</property>
173 <property name=
"can_focus">False
</property>
174 <property name=
"events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK
</property>
175 <property name=
"spacing">2</property>
176 <child internal-child=
"action_area">
177 <object class=
"GtkButtonBox" id=
"dialog-action_area2">
178 <property name=
"visible">True
</property>
179 <property name=
"can_focus">False
</property>
180 <property name=
"events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK
</property>
181 <property name=
"layout_style">end
</property>
183 <object class=
"GtkButton" id=
"panel_opts_close">
184 <property name=
"label">gtk-close
</property>
185 <property name=
"visible">True
</property>
186 <property name=
"can_focus">True
</property>
187 <property name=
"receives_default">True
</property>
188 <property name=
"events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK
</property>
189 <property name=
"use_action_appearance">False
</property>
190 <property name=
"use_stock">True
</property>
193 <property name=
"expand">False
</property>
194 <property name=
"fill">True
</property>
195 <property name=
"position">0</property>
200 <property name=
"expand">False
</property>
201 <property name=
"fill">True
</property>
202 <property name=
"pack_type">end
</property>
203 <property name=
"position">0</property>
207 <object class=
"GtkVBox" id=
"vbox2">
208 <property name=
"visible">True
</property>
209 <property name=
"can_focus">False
</property>
210 <property name=
"events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK
</property>
211 <property name=
"spacing">10</property>
213 <object class=
"GtkFrame" id=
"frame1">
214 <property name=
"visible">True
</property>
215 <property name=
"can_focus">False
</property>
216 <property name=
"events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK
</property>
217 <property name=
"label_xalign">0</property>
218 <property name=
"shadow_type">none
</property>
220 <object class=
"GtkAlignment" id=
"alignment2">
221 <property name=
"visible">True
</property>
222 <property name=
"can_focus">False
</property>
223 <property name=
"events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK
</property>
224 <property name=
"left_padding">12</property>
226 <object class=
"GtkVBox" id=
"vbox3">
227 <property name=
"visible">True
</property>
228 <property name=
"can_focus">False
</property>
229 <property name=
"events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK
</property>
231 <object class=
"GtkVBox" id=
"vbox4">
232 <property name=
"visible">True
</property>
233 <property name=
"can_focus">False
</property>
234 <property name=
"events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK
</property>
236 <object class=
"GtkRadioButton" id=
"panel_style_radio_0">
237 <property name=
"label" translatable=
"yes">Image and Text
</property>
238 <property name=
"visible">True
</property>
239 <property name=
"can_focus">True
</property>
240 <property name=
"receives_default">False
</property>
241 <property name=
"events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK
</property>
242 <property name=
"tooltip_text" translatable=
"yes">Every icon on this panel is shown with an image and some text.
</property>
243 <property name=
"use_action_appearance">False
</property>
244 <property name=
"active">True
</property>
245 <property name=
"draw_indicator">True
</property>
246 <signal name=
"toggled" handler=
"panel_style_radio_0_toggled_cb" swapped=
"no"/>
249 <property name=
"expand">False
</property>
250 <property name=
"fill">False
</property>
251 <property name=
"position">0</property>
255 <object class=
"GtkRadioButton" id=
"panel_style_radio_1">
256 <property name=
"label" translatable=
"yes">Image only for applications
</property>
257 <property name=
"visible">True
</property>
258 <property name=
"can_focus">True
</property>
259 <property name=
"receives_default">False
</property>
260 <property name=
"events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK
</property>
261 <property name=
"tooltip_text" translatable=
"yes">Applications in this panel have just an image, everything else has both an image and text.
</property>
262 <property name=
"use_action_appearance">False
</property>
263 <property name=
"active">True
</property>
264 <property name=
"draw_indicator">True
</property>
265 <property name=
"group">panel_style_radio_0
</property>
266 <signal name=
"toggled" handler=
"panel_style_radio_1_toggled_cb" swapped=
"no"/>
269 <property name=
"expand">False
</property>
270 <property name=
"fill">False
</property>
271 <property name=
"position">1</property>
275 <object class=
"GtkRadioButton" id=
"panel_style_radio_2">
276 <property name=
"label" translatable=
"yes">Image only
</property>
277 <property name=
"visible">True
</property>
278 <property name=
"can_focus">True
</property>
279 <property name=
"receives_default">False
</property>
280 <property name=
"events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK
</property>
281 <property name=
"tooltip_text" translatable=
"yes">Only the image is shown for icons in this panel.
</property>
282 <property name=
"use_action_appearance">False
</property>
283 <property name=
"active">True
</property>
284 <property name=
"draw_indicator">True
</property>
285 <property name=
"group">panel_style_radio_0
</property>
286 <signal name=
"toggled" handler=
"panel_style_radio_2_toggled_cb" swapped=
"no"/>
289 <property name=
"expand">False
</property>
290 <property name=
"fill">False
</property>
291 <property name=
"position">2</property>
296 <property name=
"expand">False
</property>
297 <property name=
"fill">False
</property>
298 <property name=
"padding">4</property>
299 <property name=
"position">0</property>
303 <object class=
"GtkHBox" id=
"hbox2">
304 <property name=
"visible">True
</property>
305 <property name=
"can_focus">False
</property>
306 <property name=
"events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK
</property>
307 <property name=
"spacing">6</property>
309 <object class=
"GtkLabel" id=
"label4">
310 <property name=
"visible">True
</property>
311 <property name=
"can_focus">False
</property>
312 <property name=
"events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK
</property>
313 <property name=
"label" translatable=
"yes">Panel width
</property>
316 <property name=
"expand">False
</property>
317 <property name=
"fill">False
</property>
318 <property name=
"position">0</property>
322 <object class=
"GtkSpinButton" id=
"panel_width">
323 <property name=
"visible">True
</property>
324 <property name=
"can_focus">True
</property>
325 <property name=
"events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK
</property>
326 <property name=
"tooltip_text" translatable=
"yes">The size of this panel.
</property>
327 <property name=
"adjustment">adjustment1
</property>
328 <signal name=
"value-changed" handler=
"panel_width_changed_cb" object=
"adjustment1" swapped=
"no"/>
331 <property name=
"expand">True
</property>
332 <property name=
"fill">True
</property>
333 <property name=
"position">1</property>
337 <object class=
"GtkLabel" id=
"label6">
338 <property name=
"visible">True
</property>
339 <property name=
"can_focus">False
</property>
340 <property name=
"events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK
</property>
341 <property name=
"label" translatable=
"yes">px
</property>
344 <property name=
"expand">False
</property>
345 <property name=
"fill">False
</property>
346 <property name=
"position">2</property>
351 <property name=
"expand">True
</property>
352 <property name=
"fill">True
</property>
353 <property name=
"padding">4</property>
354 <property name=
"position">1</property>
358 <object class=
"GtkCheckButton" id=
"panel_avoid">
359 <property name=
"label" translatable=
"yes">Do not cover panel
</property>
360 <property name=
"visible">True
</property>
361 <property name=
"can_focus">True
</property>
362 <property name=
"receives_default">False
</property>
363 <property name=
"events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK
</property>
364 <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>
365 <property name=
"use_action_appearance">False
</property>
366 <property name=
"draw_indicator">True
</property>
367 <signal name=
"toggled" handler=
"panel_avoid_toggled_cb" swapped=
"no"/>
370 <property name=
"expand">True
</property>
371 <property name=
"fill">True
</property>
372 <property name=
"padding">4</property>
373 <property name=
"position">2</property>
381 <object class=
"GtkLabel" id=
"label3">
382 <property name=
"visible">True
</property>
383 <property name=
"can_focus">False
</property>
384 <property name=
"events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK
</property>
385 <property name=
"label" translatable=
"yes"><b
>Panel style
</b
></property>
386 <property name=
"use_markup">True
</property>
391 <property name=
"expand">True
</property>
392 <property name=
"fill">True
</property>
393 <property name=
"position">0</property>
397 <object class=
"GtkFrame" id=
"frame2">
398 <property name=
"visible">True
</property>
399 <property name=
"can_focus">False
</property>
400 <property name=
"events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK
</property>
401 <property name=
"label_xalign">0</property>
402 <property name=
"shadow_type">none
</property>
404 <object class=
"GtkAlignment" id=
"alignment3">
405 <property name=
"visible">True
</property>
406 <property name=
"can_focus">False
</property>
407 <property name=
"events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK
</property>
408 <property name=
"left_padding">12</property>
410 <object class=
"GtkVBox" id=
"vbox5">
411 <property name=
"visible">True
</property>
412 <property name=
"can_focus">False
</property>
413 <property name=
"events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK
</property>
415 <object class=
"GtkHBox" id=
"hbox3">
416 <property name=
"visible">True
</property>
417 <property name=
"can_focus">False
</property>
418 <property name=
"events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK
</property>
419 <property name=
"spacing">6</property>
421 <object class=
"GtkCheckButton" id=
"panel_xinerama_confine">
422 <property name=
"label" translatable=
"yes">Confine to Xinerama monitor
</property>
423 <property name=
"visible">True
</property>
424 <property name=
"can_focus">True
</property>
425 <property name=
"receives_default">False
</property>
426 <property name=
"events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK
</property>
427 <property name=
"tooltip_text" translatable=
"yes">If you use multiple monitors with Xinerama, use this option to confine the panel to one monitor.
</property>
428 <property name=
"use_action_appearance">False
</property>
429 <property name=
"draw_indicator">True
</property>
430 <signal name=
"toggled" handler=
"panel_xinerama_confine_toggled_cb" object=
"panel_xinerama_monitor" swapped=
"no"/>
433 <property name=
"expand">False
</property>
434 <property name=
"fill">False
</property>
435 <property name=
"position">0</property>
439 <object class=
"GtkSpinButton" id=
"panel_xinerama_monitor">
440 <property name=
"visible">True
</property>
441 <property name=
"can_focus">True
</property>
442 <property name=
"events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK
</property>
443 <property name=
"tooltip_text" translatable=
"yes">The monitor this panel is confined to when using Xinerama. The numbering starts from zero.
</property>
444 <property name=
"adjustment">adjustment2
</property>
445 <signal name=
"value-changed" handler=
"panel_xinerama_monitor_changed_cb" object=
"adjustment2" swapped=
"no"/>
448 <property name=
"expand">False
</property>
449 <property name=
"fill">False
</property>
450 <property name=
"position">1</property>
455 <property name=
"expand">False
</property>
456 <property name=
"fill">False
</property>
457 <property name=
"padding">4</property>
458 <property name=
"position">0</property>
466 <object class=
"GtkLabel" id=
"label7">
467 <property name=
"visible">True
</property>
468 <property name=
"can_focus">False
</property>
469 <property name=
"events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK
</property>
470 <property name=
"label" translatable=
"yes"><b
>Xinerama
</b
></property>
471 <property name=
"use_markup">True
</property>
476 <property name=
"expand">True
</property>
477 <property name=
"fill">True
</property>
478 <property name=
"position">1</property>
482 <object class=
"GtkFrame" id=
"frame3">
483 <property name=
"visible">True
</property>
484 <property name=
"can_focus">False
</property>
485 <property name=
"events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK
</property>
486 <property name=
"label_xalign">0</property>
487 <property name=
"shadow_type">none
</property>
489 <object class=
"GtkAlignment" id=
"alignment4">
490 <property name=
"visible">True
</property>
491 <property name=
"can_focus">False
</property>
492 <property name=
"events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK
</property>
493 <property name=
"left_padding">12</property>
495 <object class=
"GtkTable" id=
"table1">
496 <property name=
"visible">True
</property>
497 <property name=
"can_focus">False
</property>
498 <property name=
"events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK
</property>
499 <property name=
"n_rows">3</property>
500 <property name=
"n_columns">3</property>
501 <property name=
"homogeneous">True
</property>
503 <object class=
"GtkRadioButton" id=
"panel_pos_right">
504 <property name=
"label" translatable=
"yes">Right edge
</property>
505 <property name=
"visible">True
</property>
506 <property name=
"can_focus">True
</property>
507 <property name=
"receives_default">False
</property>
508 <property name=
"events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK
</property>
509 <property name=
"use_action_appearance">False
</property>
510 <property name=
"active">True
</property>
511 <property name=
"draw_indicator">True
</property>
512 <property name=
"group">panel_pos_top
</property>
513 <signal name=
"toggled" handler=
"panel_pos_right_toggled_cb" swapped=
"no"/>
516 <property name=
"left_attach">2</property>
517 <property name=
"right_attach">3</property>
518 <property name=
"top_attach">1</property>
519 <property name=
"bottom_attach">2</property>
523 <object class=
"GtkRadioButton" id=
"panel_pos_left">
524 <property name=
"label" translatable=
"yes">Left edge
</property>
525 <property name=
"visible">True
</property>
526 <property name=
"can_focus">True
</property>
527 <property name=
"receives_default">False
</property>
528 <property name=
"events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK
</property>
529 <property name=
"use_action_appearance">False
</property>
530 <property name=
"active">True
</property>
531 <property name=
"draw_indicator">True
</property>
532 <property name=
"group">panel_pos_top
</property>
533 <signal name=
"toggled" handler=
"panel_pos_left_toggled_cb" swapped=
"no"/>
536 <property name=
"top_attach">1</property>
537 <property name=
"bottom_attach">2</property>
541 <object class=
"GtkRadioButton" id=
"panel_pos_bottom">
542 <property name=
"label" translatable=
"yes">Bottom edge
</property>
543 <property name=
"visible">True
</property>
544 <property name=
"can_focus">True
</property>
545 <property name=
"receives_default">False
</property>
546 <property name=
"events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK
</property>
547 <property name=
"use_action_appearance">False
</property>
548 <property name=
"active">True
</property>
549 <property name=
"draw_indicator">True
</property>
550 <property name=
"group">panel_pos_top
</property>
551 <signal name=
"toggled" handler=
"panel_pos_bottom_toggled_cb" swapped=
"no"/>
554 <property name=
"left_attach">1</property>
555 <property name=
"right_attach">2</property>
556 <property name=
"top_attach">2</property>
557 <property name=
"bottom_attach">3</property>
561 <object class=
"GtkRadioButton" id=
"panel_pos_top">
562 <property name=
"label" translatable=
"yes">Top edge
</property>
563 <property name=
"visible">True
</property>
564 <property name=
"can_focus">True
</property>
565 <property name=
"receives_default">False
</property>
566 <property name=
"events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK
</property>
567 <property name=
"use_action_appearance">False
</property>
568 <property name=
"active">True
</property>
569 <property name=
"draw_indicator">True
</property>
570 <signal name=
"toggled" handler=
"panel_pos_top_toggled_cb" swapped=
"no"/>
573 <property name=
"left_attach">1</property>
574 <property name=
"right_attach">2</property>
597 <object class=
"GtkLabel" id=
"label5">
598 <property name=
"visible">True
</property>
599 <property name=
"can_focus">False
</property>
600 <property name=
"events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK
</property>
601 <property name=
"label" translatable=
"yes"><b
>Position
</b
></property>
602 <property name=
"use_markup">True
</property>
607 <property name=
"expand">True
</property>
608 <property name=
"fill">True
</property>
609 <property name=
"position">2</property>
614 <property name=
"expand">False
</property>
615 <property name=
"fill">True
</property>
616 <property name=
"padding">4</property>
617 <property name=
"position">1</property>
623 <action-widget response=
"-7">panel_opts_close
</action-widget>
626 <object class=
"GtkAdjustment" id=
"adjustment1">
627 <property name=
"lower">16</property>
628 <property name=
"upper">96</property>
629 <property name=
"value">32</property>
630 <property name=
"step_increment">1</property>
632 <object class=
"GtkAdjustment" id=
"adjustment2">
633 <property name=
"upper">100</property>
634 <property name=
"step_increment">1</property>