1 <?xml version=
"1.0" encoding=
"UTF-8"?>
3 <requires lib=
"gtk+" version=
"2.16"/>
4 <!-- interface-naming-policy project-wide -->
5 <object class=
"GtkWindow" id=
"gdb_preferences_window">
7 <object class=
"GtkVBox" id=
"gdb_preferences_container">
8 <property name=
"visible">True
</property>
9 <signal name=
"destroy" handler=
"gdb_on_destroy_preferences" swapped=
"no"/>
11 <object class=
"GtkFrame" id=
"frame2">
12 <property name=
"visible">True
</property>
13 <property name=
"events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK
</property>
14 <property name=
"label_xalign">0</property>
15 <property name=
"shadow_type">none
</property>
17 <object class=
"GtkAlignment" id=
"alignment1">
18 <property name=
"visible">True
</property>
19 <property name=
"events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK
</property>
20 <property name=
"left_padding">12</property>
22 <object class=
"GtkHBox" id=
"hbox1">
23 <property name=
"visible">True
</property>
24 <property name=
"events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK
</property>
25 <property name=
"spacing">6</property>
27 <object class=
"GtkScrolledWindow" id=
"scrolledwindow1">
28 <property name=
"visible">True
</property>
29 <property name=
"can_focus">True
</property>
30 <property name=
"events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK
</property>
31 <property name=
"hscrollbar_policy">automatic
</property>
32 <property name=
"vscrollbar_policy">automatic
</property>
33 <property name=
"shadow_type">in
</property>
35 <object class=
"GtkTreeView" id=
"printers_treeview">
36 <property name=
"visible">True
</property>
37 <property name=
"can_focus">True
</property>
38 <property name=
"events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK | GDK_STRUCTURE_MASK
</property>
43 <property name=
"position">0</property>
47 <object class=
"GtkVButtonBox" id=
"vbuttonbox1">
48 <property name=
"visible">True
</property>
49 <property name=
"events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK
</property>
50 <property name=
"border_width">5</property>
51 <property name=
"spacing">6</property>
52 <property name=
"layout_style">start
</property>
54 <object class=
"GtkButton" id=
"add_button">
55 <property name=
"label">gtk-add
</property>
56 <property name=
"visible">True
</property>
57 <property name=
"can_focus">True
</property>
58 <property name=
"receives_default">True
</property>
59 <property name=
"events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK
</property>
60 <property name=
"use_action_appearance">False
</property>
61 <property name=
"use_stock">True
</property>
62 <signal name=
"clicked" handler=
"gdb_on_printer_add" swapped=
"no"/>
65 <property name=
"expand">False
</property>
66 <property name=
"fill">False
</property>
67 <property name=
"position">0</property>
71 <object class=
"GtkButton" id=
"remove_button">
72 <property name=
"label">gtk-remove
</property>
73 <property name=
"visible">True
</property>
74 <property name=
"can_focus">True
</property>
75 <property name=
"receives_default">True
</property>
76 <property name=
"events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK
</property>
77 <property name=
"use_action_appearance">False
</property>
78 <property name=
"use_stock">True
</property>
79 <signal name=
"clicked" handler=
"gdb_on_printer_remove" swapped=
"no"/>
82 <property name=
"expand">False
</property>
83 <property name=
"fill">False
</property>
84 <property name=
"position">1</property>
89 <property name=
"expand">False
</property>
90 <property name=
"position">1</property>
98 <object class=
"GtkLabel" id=
"label1">
99 <property name=
"visible">True
</property>
100 <property name=
"events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK
</property>
101 <property name=
"ypad">6</property>
102 <property name=
"label" translatable=
"yes">Available pretty printers
</property>
104 <attribute name=
"weight" value=
"bold"/>
110 <property name=
"position">0</property>