1<?xml version="1.0" encoding="UTF-8"?>
2<interface>
3  <requires lib="gtk+" version="2.16"/>
4  <!-- interface-naming-policy project-wide -->
5  <object class="GtkWindow" id="gdb_preferences_window">
6    <child>
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"/>
10        <child>
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>
16            <child>
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>
21                <child>
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>
26                    <child>
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>
34                        <child>
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>
39                          </object>
40                        </child>
41                      </object>
42                      <packing>
43                        <property name="position">0</property>
44                      </packing>
45                    </child>
46                    <child>
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>
53                        <child>
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"/>
63                          </object>
64                          <packing>
65                            <property name="expand">False</property>
66                            <property name="fill">False</property>
67                            <property name="position">0</property>
68                          </packing>
69                        </child>
70                        <child>
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"/>
80                          </object>
81                          <packing>
82                            <property name="expand">False</property>
83                            <property name="fill">False</property>
84                            <property name="position">1</property>
85                          </packing>
86                        </child>
87                      </object>
88                      <packing>
89                        <property name="expand">False</property>
90                        <property name="position">1</property>
91                      </packing>
92                    </child>
93                  </object>
94                </child>
95              </object>
96            </child>
97            <child type="label">
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>
103                <attributes>
104                  <attribute name="weight" value="bold"/>
105                </attributes>
106              </object>
107            </child>
108          </object>
109          <packing>
110            <property name="position">0</property>
111          </packing>
112        </child>
113        <child>
114          <placeholder/>
115        </child>
116        <child>
117          <placeholder/>
118        </child>
119      </object>
120    </child>
121  </object>
122</interface>
123