1
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
2
<!DOCTYPE glade-interface SYSTEM "glade-2.0.dtd">
3
<!--Generated with glade3 3.2.0 on Sat Sep 22 19:05:20 2007 by ingelres@silence-->
5
<widget class="GtkWindow" id="win-main">
6
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
7
<property name="window_position">GTK_WIN_POS_CENTER</property>
9
<widget class="GtkVBox" id="vbox1">
10
<property name="visible">True</property>
11
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
12
<property name="border_width">12</property>
13
<property name="spacing">18</property>
15
<widget class="GtkVBox" id="vbox2">
16
<property name="visible">True</property>
17
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
18
<property name="spacing">18</property>
20
<widget class="GtkFrame" id="frame1">
21
<property name="visible">True</property>
22
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
23
<property name="label_xalign">0</property>
24
<property name="shadow_type">GTK_SHADOW_NONE</property>
26
<widget class="GtkAlignment" id="alignment1">
27
<property name="visible">True</property>
28
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
29
<property name="top_padding">6</property>
30
<property name="left_padding">12</property>
32
<widget class="GtkVBox" id="vbox3">
33
<property name="visible">True</property>
34
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
35
<property name="spacing">12</property>
37
<widget class="GtkScrolledWindow" id="scrolledwindow1">
38
<property name="visible">True</property>
39
<property name="can_focus">True</property>
40
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
41
<property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
42
<property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
43
<property name="shadow_type">GTK_SHADOW_IN</property>
50
<widget class="GtkHButtonBox" id="hbuttonbox3">
51
<property name="visible">True</property>
52
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
53
<property name="layout_style">GTK_BUTTONBOX_SPREAD</property>
55
<widget class="GtkButton" id="btn-add">
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="tooltip" translatable="yes">Add a new library</property>
61
<property name="label" translatable="yes">gtk-add</property>
62
<property name="use_stock">True</property>
66
<widget class="GtkButton" id="btn-remove">
67
<property name="visible">True</property>
68
<property name="can_focus">True</property>
69
<property name="receives_default">True</property>
70
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
71
<property name="tooltip" translatable="yes">Remove the selected libraries</property>
72
<property name="label" translatable="yes">gtk-remove</property>
73
<property name="use_stock">True</property>
76
<property name="position">1</property>
80
<widget class="GtkButton" id="btn-refresh">
81
<property name="visible">True</property>
82
<property name="can_focus">True</property>
83
<property name="receives_default">True</property>
84
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
85
<property name="tooltip" translatable="yes">Update the selected library by rescanning the disk</property>
86
<property name="label" translatable="yes">gtk-refresh</property>
87
<property name="use_stock">True</property>
90
<property name="position">2</property>
95
<property name="expand">False</property>
96
<property name="position">1</property>
104
<widget class="GtkLabel" id="label1">
105
<property name="visible">True</property>
106
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
107
<property name="label" translatable="yes"><b>Libraries</b></property>
108
<property name="use_markup">True</property>
111
<property name="type">label_item</property>
119
<widget class="GtkHSeparator" id="hseparator1">
120
<property name="visible">True</property>
121
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
124
<property name="expand">False</property>
125
<property name="position">1</property>
129
<widget class="GtkHBox" id="hbox1">
130
<property name="visible">True</property>
131
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
132
<property name="spacing">6</property>
134
<widget class="GtkHButtonBox" id="hbuttonbox1">
135
<property name="visible">True</property>
136
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
138
<widget class="GtkButton" id="btn-help">
139
<property name="visible">True</property>
140
<property name="can_focus">True</property>
141
<property name="receives_default">True</property>
142
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
143
<property name="label" translatable="yes">gtk-help</property>
144
<property name="use_stock">True</property>
149
<property name="expand">False</property>
153
<widget class="GtkHButtonBox" id="hbuttonbox2">
154
<property name="visible">True</property>
155
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
156
<property name="spacing">12</property>
157
<property name="layout_style">GTK_BUTTONBOX_END</property>
159
<widget class="GtkButton" id="btn-cancel">
160
<property name="visible">True</property>
161
<property name="can_focus">True</property>
162
<property name="receives_default">True</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="label" translatable="yes">gtk-cancel</property>
165
<property name="use_stock">True</property>
169
<widget class="GtkButton" id="btn-ok">
170
<property name="visible">True</property>
171
<property name="can_focus">True</property>
172
<property name="receives_default">True</property>
173
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
174
<property name="label" translatable="yes">gtk-ok</property>
175
<property name="use_stock">True</property>
178
<property name="position">1</property>
183
<property name="position">1</property>
188
<property name="expand">False</property>
189
<property name="position">2</property>