?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
Implemented support for ignoring files
[anjuta-git-plugin.git] / plugins / git / anjuta-git.glade
blobad3039599eea96d7089aaa600699f8d77868eaa2
1 <?xml version="1.0" encoding="UTF-8" standalone="no"?>
2 <!DOCTYPE glade-interface SYSTEM "glade-2.0.dtd">
3 <!--Generated with glade3 3.4.5 on Thu Jun 26 01:14:45 2008 -->
4 <glade-interface>
5 <requires lib="gnome"/>
6 <requires lib="anjuta"/>
7 <widget class="GtkDialog" id="commit_dialog">
8 <property name="width_request">600</property>
9 <property name="height_request">400</property>
10 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
11 <property name="border_width">5</property>
12 <property name="title" translatable="yes">Commit Changes</property>
13 <property name="window_position">GTK_WIN_POS_CENTER_ON_PARENT</property>
14 <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
15 <property name="has_separator">False</property>
16 <child internal-child="vbox">
17 <widget class="GtkVBox" id="dialog-vbox16">
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="spacing">2</property>
21 <child>
22 <widget class="GtkVBox" id="vbox28">
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">5</property>
26 <child>
27 <widget class="GtkFrame" id="frame32">
28 <property name="visible">True</property>
29 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
30 <property name="label_xalign">0</property>
31 <property name="shadow_type">GTK_SHADOW_NONE</property>
32 <child>
33 <widget class="GtkAlignment" id="alignment30">
34 <property name="visible">True</property>
35 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
36 <property name="left_padding">12</property>
37 <child>
38 <widget class="GtkScrolledWindow" id="scrolledwindow11">
39 <property name="visible">True</property>
40 <property name="can_focus">True</property>
41 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
42 <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
43 <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
44 <property name="shadow_type">GTK_SHADOW_IN</property>
45 <child>
46 <widget class="GtkTextView" id="commit_log_view">
47 <property name="visible">True</property>
48 <property name="can_focus">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 </widget>
51 </child>
52 </widget>
53 </child>
54 </widget>
55 </child>
56 <child>
57 <widget class="GtkLabel" id="label48">
58 <property name="visible">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="label" translatable="yes">&lt;b&gt;Log Message:&lt;/b&gt;</property>
61 <property name="use_markup">True</property>
62 </widget>
63 <packing>
64 <property name="type">label_item</property>
65 </packing>
66 </child>
67 </widget>
68 </child>
69 <child>
70 <widget class="GtkFrame" id="frame3">
71 <property name="visible">True</property>
72 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
73 <property name="label_xalign">0</property>
74 <property name="shadow_type">GTK_SHADOW_NONE</property>
75 <child>
76 <widget class="GtkAlignment" id="alignment3">
77 <property name="visible">True</property>
78 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
79 <property name="left_padding">12</property>
80 <child>
81 <widget class="GtkCheckButton" id="resolve_check">
82 <property name="visible">True</property>
83 <property name="can_focus">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="label" translatable="yes">This commit concludes a failed merge (use -i)</property>
86 <property name="response_id">0</property>
87 <property name="draw_indicator">True</property>
88 </widget>
89 </child>
90 </widget>
91 </child>
92 <child>
93 <widget class="GtkLabel" id="label3">
94 <property name="visible">True</property>
95 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
96 <property name="label" translatable="yes">&lt;b&gt;Options:&lt;/b&gt;</property>
97 <property name="use_markup">True</property>
98 </widget>
99 <packing>
100 <property name="type">label_item</property>
101 </packing>
102 </child>
103 </widget>
104 <packing>
105 <property name="position">1</property>
106 </packing>
107 </child>
108 <child>
109 <widget class="GtkFrame" id="frame34">
110 <property name="visible">True</property>
111 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
112 <property name="label_xalign">0</property>
113 <property name="shadow_type">GTK_SHADOW_NONE</property>
114 <child>
115 <widget class="GtkAlignment" id="alignment32">
116 <property name="visible">True</property>
117 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
118 <property name="left_padding">12</property>
119 <child>
120 <widget class="GtkScrolledWindow" id="scrolledwindow12">
121 <property name="visible">True</property>
122 <property name="can_focus">True</property>
123 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
124 <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
125 <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
126 <property name="shadow_type">GTK_SHADOW_IN</property>
127 <child>
128 <widget class="AnjutaVcsStatusTreeView" id="commit_status_view">
129 <property name="visible">True</property>
130 <property name="can_focus">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="headers_visible">False</property>
133 <property name="search_column">0</property>
134 <property name="status_codes">ANJUTA_VCS_STATUS_MODIFIED | ANJUTA_VCS_STATUS_ADDED | ANJUTA_VCS_STATUS_DELETED</property>
135 </widget>
136 </child>
137 </widget>
138 </child>
139 </widget>
140 </child>
141 <child>
142 <widget class="GtkLabel" id="label50">
143 <property name="visible">True</property>
144 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
145 <property name="label" translatable="yes">&lt;b&gt;Select Files to Commit:&lt;/b&gt;</property>
146 <property name="use_markup">True</property>
147 </widget>
148 <packing>
149 <property name="type">label_item</property>
150 </packing>
151 </child>
152 </widget>
153 <packing>
154 <property name="position">2</property>
155 </packing>
156 </child>
157 <child>
158 <widget class="GtkProgressBar" id="commit_status_progress_bar">
159 <property name="visible">True</property>
160 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
161 <property name="activity_mode">True</property>
162 <property name="text" translatable="yes">Retrieving status...</property>
163 </widget>
164 <packing>
165 <property name="expand">False</property>
166 <property name="position">3</property>
167 </packing>
168 </child>
169 <child>
170 <widget class="GtkHButtonBox" id="hbuttonbox8">
171 <property name="visible">True</property>
172 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
173 <property name="spacing">2</property>
174 <property name="layout_style">GTK_BUTTONBOX_START</property>
175 <child>
176 <widget class="GtkButton" id="commit_select_all_button">
177 <property name="visible">True</property>
178 <property name="can_focus">True</property>
179 <property name="receives_default">True</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="label">gtk-select-all</property>
182 <property name="use_stock">True</property>
183 <property name="response_id">0</property>
184 </widget>
185 </child>
186 <child>
187 <widget class="GtkButton" id="commit_clear_button">
188 <property name="visible">True</property>
189 <property name="can_focus">True</property>
190 <property name="receives_default">True</property>
191 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
192 <property name="label">gtk-clear</property>
193 <property name="use_stock">True</property>
194 <property name="response_id">0</property>
195 </widget>
196 <packing>
197 <property name="position">1</property>
198 </packing>
199 </child>
200 </widget>
201 <packing>
202 <property name="position">4</property>
203 </packing>
204 </child>
205 </widget>
206 <packing>
207 <property name="position">1</property>
208 </packing>
209 </child>
210 <child internal-child="action_area">
211 <widget class="GtkHButtonBox" id="dialog-action_area16">
212 <property name="visible">True</property>
213 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
214 <property name="layout_style">GTK_BUTTONBOX_END</property>
215 <child>
216 <widget class="GtkButton" id="button19">
217 <property name="visible">True</property>
218 <property name="can_focus">True</property>
219 <property name="receives_default">True</property>
220 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
221 <property name="label">gtk-cancel</property>
222 <property name="use_stock">True</property>
223 <property name="response_id">-6</property>
224 </widget>
225 </child>
226 <child>
227 <widget class="GtkButton" id="button20">
228 <property name="visible">True</property>
229 <property name="can_focus">True</property>
230 <property name="receives_default">True</property>
231 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
232 <property name="label">gtk-ok</property>
233 <property name="use_stock">True</property>
234 <property name="response_id">-5</property>
235 </widget>
236 <packing>
237 <property name="position">1</property>
238 </packing>
239 </child>
240 </widget>
241 <packing>
242 <property name="expand">False</property>
243 <property name="pack_type">GTK_PACK_END</property>
244 </packing>
245 </child>
246 </widget>
247 </child>
248 </widget>
249 <widget class="GtkDialog" id="add_dialog">
250 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
251 <property name="border_width">5</property>
252 <property name="title" translatable="yes">Add File</property>
253 <property name="window_position">GTK_WIN_POS_CENTER_ON_PARENT</property>
254 <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
255 <property name="has_separator">False</property>
256 <child internal-child="vbox">
257 <widget class="GtkVBox" id="dialog-vbox2">
258 <property name="visible">True</property>
259 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
260 <property name="spacing">2</property>
261 <child>
262 <widget class="GtkVBox" id="vbox1">
263 <property name="visible">True</property>
264 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
265 <property name="spacing">2</property>
266 <child>
267 <widget class="GtkFrame" id="frame1">
268 <property name="visible">True</property>
269 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
270 <property name="label_xalign">0</property>
271 <property name="shadow_type">GTK_SHADOW_NONE</property>
272 <child>
273 <widget class="GtkAlignment" id="alignment1">
274 <property name="visible">True</property>
275 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
276 <property name="left_padding">12</property>
277 <child>
278 <widget class="GtkFileChooserButton" id="add_file_chooser_button">
279 <property name="width_request">400</property>
280 <property name="visible">True</property>
281 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
282 <property name="select_multiple">True</property>
283 </widget>
284 </child>
285 </widget>
286 </child>
287 <child>
288 <widget class="GtkLabel" id="label1">
289 <property name="visible">True</property>
290 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
291 <property name="label" translatable="yes">&lt;b&gt;Select file to add:&lt;/b&gt;</property>
292 <property name="use_markup">True</property>
293 </widget>
294 <packing>
295 <property name="type">label_item</property>
296 </packing>
297 </child>
298 </widget>
299 <packing>
300 <property name="expand">False</property>
301 </packing>
302 </child>
303 <child>
304 <widget class="GtkFrame" id="frame2">
305 <property name="visible">True</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="label_xalign">0</property>
308 <property name="shadow_type">GTK_SHADOW_NONE</property>
309 <child>
310 <widget class="GtkAlignment" id="alignment2">
311 <property name="visible">True</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="left_padding">12</property>
314 <child>
315 <widget class="GtkCheckButton" id="force_check">
316 <property name="visible">True</property>
317 <property name="can_focus">True</property>
318 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
319 <property name="label" translatable="yes">Force</property>
320 <property name="response_id">0</property>
321 <property name="draw_indicator">True</property>
322 </widget>
323 </child>
324 </widget>
325 </child>
326 <child>
327 <widget class="GtkLabel" id="label2">
328 <property name="visible">True</property>
329 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
330 <property name="label" translatable="yes">&lt;b&gt;Options:&lt;/b&gt;</property>
331 <property name="use_markup">True</property>
332 </widget>
333 <packing>
334 <property name="type">label_item</property>
335 </packing>
336 </child>
337 </widget>
338 <packing>
339 <property name="expand">False</property>
340 <property name="position">1</property>
341 </packing>
342 </child>
343 </widget>
344 <packing>
345 <property name="position">1</property>
346 </packing>
347 </child>
348 <child internal-child="action_area">
349 <widget class="GtkHButtonBox" id="dialog-action_area2">
350 <property name="visible">True</property>
351 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
352 <property name="layout_style">GTK_BUTTONBOX_END</property>
353 <child>
354 <widget class="GtkButton" id="button1">
355 <property name="visible">True</property>
356 <property name="can_focus">True</property>
357 <property name="receives_default">True</property>
358 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
359 <property name="label" translatable="yes">gtk-cancel</property>
360 <property name="use_stock">True</property>
361 <property name="response_id">-6</property>
362 </widget>
363 </child>
364 <child>
365 <widget class="GtkButton" id="button2">
366 <property name="visible">True</property>
367 <property name="can_focus">True</property>
368 <property name="receives_default">True</property>
369 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
370 <property name="label" translatable="yes">gtk-ok</property>
371 <property name="use_stock">True</property>
372 <property name="response_id">-5</property>
373 </widget>
374 <packing>
375 <property name="position">1</property>
376 </packing>
377 </child>
378 </widget>
379 <packing>
380 <property name="expand">False</property>
381 <property name="pack_type">GTK_PACK_END</property>
382 </packing>
383 </child>
384 </widget>
385 </child>
386 </widget>
387 <widget class="GtkDialog" id="remove_dialog">
388 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
389 <property name="border_width">5</property>
390 <property name="title" translatable="yes">Remove File</property>
391 <property name="window_position">GTK_WIN_POS_CENTER_ON_PARENT</property>
392 <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
393 <property name="has_separator">False</property>
394 <child internal-child="vbox">
395 <widget class="GtkVBox" id="dialog-vbox4">
396 <property name="visible">True</property>
397 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
398 <property name="spacing">2</property>
399 <child>
400 <widget class="GtkVBox" id="vbox3">
401 <property name="visible">True</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="spacing">2</property>
404 <child>
405 <widget class="GtkFrame" id="frame5">
406 <property name="visible">True</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="label_xalign">0</property>
409 <property name="shadow_type">GTK_SHADOW_NONE</property>
410 <child>
411 <widget class="GtkAlignment" id="alignment5">
412 <property name="visible">True</property>
413 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
414 <property name="left_padding">12</property>
415 <child>
416 <widget class="GtkFileChooserButton" id="remove_file_chooser_button">
417 <property name="width_request">400</property>
418 <property name="visible">True</property>
419 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
420 <property name="select_multiple">True</property>
421 </widget>
422 </child>
423 </widget>
424 </child>
425 <child>
426 <widget class="GtkLabel" id="label5">
427 <property name="visible">True</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="label" translatable="yes">&lt;b&gt;Select file to remove:&lt;/b&gt;</property>
430 <property name="use_markup">True</property>
431 </widget>
432 <packing>
433 <property name="type">label_item</property>
434 </packing>
435 </child>
436 </widget>
437 <packing>
438 <property name="expand">False</property>
439 </packing>
440 </child>
441 <child>
442 <widget class="GtkFrame" id="frame6">
443 <property name="visible">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="label_xalign">0</property>
446 <property name="shadow_type">GTK_SHADOW_NONE</property>
447 <child>
448 <widget class="GtkAlignment" id="alignment6">
449 <property name="visible">True</property>
450 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
451 <property name="left_padding">12</property>
452 <child>
453 <widget class="GtkCheckButton" id="force_check1">
454 <property name="visible">True</property>
455 <property name="can_focus">True</property>
456 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
457 <property name="label" translatable="yes">Force</property>
458 <property name="response_id">0</property>
459 <property name="draw_indicator">True</property>
460 </widget>
461 </child>
462 </widget>
463 </child>
464 <child>
465 <widget class="GtkLabel" id="label6">
466 <property name="visible">True</property>
467 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
468 <property name="label" translatable="yes">&lt;b&gt;Options:&lt;/b&gt;</property>
469 <property name="use_markup">True</property>
470 </widget>
471 <packing>
472 <property name="type">label_item</property>
473 </packing>
474 </child>
475 </widget>
476 <packing>
477 <property name="expand">False</property>
478 <property name="position">1</property>
479 </packing>
480 </child>
481 </widget>
482 <packing>
483 <property name="position">1</property>
484 </packing>
485 </child>
486 <child internal-child="action_area">
487 <widget class="GtkHButtonBox" id="dialog-action_area4">
488 <property name="visible">True</property>
489 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
490 <property name="layout_style">GTK_BUTTONBOX_END</property>
491 <child>
492 <widget class="GtkButton" id="button5">
493 <property name="visible">True</property>
494 <property name="can_focus">True</property>
495 <property name="receives_default">True</property>
496 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
497 <property name="label" translatable="yes">gtk-cancel</property>
498 <property name="use_stock">True</property>
499 <property name="response_id">-6</property>
500 </widget>
501 </child>
502 <child>
503 <widget class="GtkButton" id="button6">
504 <property name="visible">True</property>
505 <property name="can_focus">True</property>
506 <property name="receives_default">True</property>
507 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
508 <property name="label" translatable="yes">gtk-ok</property>
509 <property name="use_stock">True</property>
510 <property name="response_id">-5</property>
511 </widget>
512 <packing>
513 <property name="position">1</property>
514 </packing>
515 </child>
516 </widget>
517 <packing>
518 <property name="expand">False</property>
519 <property name="pack_type">GTK_PACK_END</property>
520 </packing>
521 </child>
522 </widget>
523 </child>
524 </widget>
525 <widget class="GtkDialog" id="resolve_dialog">
526 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
527 <property name="border_width">5</property>
528 <property name="title" translatable="yes">Set Conflicts as Resolved</property>
529 <property name="window_position">GTK_WIN_POS_CENTER_ON_PARENT</property>
530 <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
531 <property name="has_separator">False</property>
532 <child internal-child="vbox">
533 <widget class="GtkVBox" id="dialog-vbox5">
534 <property name="visible">True</property>
535 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
536 <property name="spacing">2</property>
537 <child>
538 <widget class="GtkVBox" id="vbox2">
539 <property name="visible">True</property>
540 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
541 <property name="spacing">5</property>
542 <child>
543 <widget class="GtkFrame" id="frame30">
544 <property name="visible">True</property>
545 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
546 <property name="label_xalign">0</property>
547 <property name="shadow_type">GTK_SHADOW_NONE</property>
548 <child>
549 <widget class="GtkAlignment" id="alignment28">
550 <property name="visible">True</property>
551 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
552 <property name="left_padding">12</property>
553 <child>
554 <widget class="GtkScrolledWindow" id="scrolledwindow10">
555 <property name="visible">True</property>
556 <property name="can_focus">True</property>
557 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
558 <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
559 <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
560 <property name="shadow_type">GTK_SHADOW_IN</property>
561 <child>
562 <widget class="AnjutaVcsStatusTreeView" id="resolve_status_view">
563 <property name="width_request">600</property>
564 <property name="height_request">250</property>
565 <property name="visible">True</property>
566 <property name="can_focus">True</property>
567 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
568 <property name="headers_visible">False</property>
569 <property name="search_column">0</property>
570 <property name="status_codes">ANJUTA_VCS_STATUS_CONFLICTED</property>
571 <property name="show_status">False</property>
572 </widget>
573 </child>
574 </widget>
575 </child>
576 </widget>
577 </child>
578 <child>
579 <widget class="GtkLabel" id="label46">
580 <property name="visible">True</property>
581 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
582 <property name="label" translatable="yes">&lt;b&gt;Select Files to Mark as Resolved:&lt;/b&gt;</property>
583 <property name="use_markup">True</property>
584 </widget>
585 <packing>
586 <property name="type">label_item</property>
587 </packing>
588 </child>
589 </widget>
590 </child>
591 <child>
592 <widget class="GtkProgressBar" id="resolve_status_progress_bar">
593 <property name="visible">True</property>
594 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
595 <property name="activity_mode">True</property>
596 <property name="show_text">True</property>
597 <property name="text" translatable="yes">Retrieving status...</property>
598 </widget>
599 <packing>
600 <property name="fill">False</property>
601 <property name="position">1</property>
602 </packing>
603 </child>
604 <child>
605 <widget class="GtkHButtonBox" id="hbuttonbox1">
606 <property name="visible">True</property>
607 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
608 <property name="spacing">2</property>
609 <property name="layout_style">GTK_BUTTONBOX_START</property>
610 <child>
611 <widget class="GtkButton" id="resolve_select_all_button">
612 <property name="visible">True</property>
613 <property name="can_focus">True</property>
614 <property name="receives_default">True</property>
615 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
616 <property name="label">gtk-select-all</property>
617 <property name="use_stock">True</property>
618 <property name="response_id">0</property>
619 </widget>
620 </child>
621 <child>
622 <widget class="GtkButton" id="resolve_clear_button">
623 <property name="visible">True</property>
624 <property name="can_focus">True</property>
625 <property name="receives_default">True</property>
626 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
627 <property name="label">gtk-clear</property>
628 <property name="use_stock">True</property>
629 <property name="response_id">0</property>
630 </widget>
631 <packing>
632 <property name="position">1</property>
633 </packing>
634 </child>
635 </widget>
636 <packing>
637 <property name="expand">False</property>
638 <property name="position">2</property>
639 </packing>
640 </child>
641 </widget>
642 <packing>
643 <property name="position">1</property>
644 </packing>
645 </child>
646 <child internal-child="action_area">
647 <widget class="GtkHButtonBox" id="dialog-action_area5">
648 <property name="visible">True</property>
649 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
650 <property name="layout_style">GTK_BUTTONBOX_END</property>
651 <child>
652 <widget class="GtkButton" id="revert_cancel_button3">
653 <property name="visible">True</property>
654 <property name="can_focus">True</property>
655 <property name="receives_default">True</property>
656 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
657 <property name="label">gtk-cancel</property>
658 <property name="use_stock">True</property>
659 <property name="response_id">-6</property>
660 </widget>
661 </child>
662 <child>
663 <widget class="GtkButton" id="revert_ok_button3">
664 <property name="visible">True</property>
665 <property name="can_focus">True</property>
666 <property name="receives_default">True</property>
667 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
668 <property name="label">gtk-ok</property>
669 <property name="use_stock">True</property>
670 <property name="response_id">-5</property>
671 </widget>
672 <packing>
673 <property name="position">1</property>
674 </packing>
675 </child>
676 </widget>
677 <packing>
678 <property name="expand">False</property>
679 <property name="pack_type">GTK_PACK_END</property>
680 </packing>
681 </child>
682 </widget>
683 </child>
684 </widget>
685 <widget class="GtkDialog" id="merge_dialog">
686 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
687 <property name="border_width">5</property>
688 <property name="title" translatable="yes">Merge</property>
689 <property name="window_position">GTK_WIN_POS_CENTER_ON_PARENT</property>
690 <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
691 <property name="has_separator">False</property>
692 <child internal-child="vbox">
693 <widget class="GtkVBox" id="dialog-vbox6">
694 <property name="visible">True</property>
695 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
696 <property name="spacing">2</property>
697 <child>
698 <widget class="GtkVBox" id="vbox4">
699 <property name="visible">True</property>
700 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
701 <child>
702 <widget class="GtkFrame" id="frame4">
703 <property name="visible">True</property>
704 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
705 <property name="label_xalign">0</property>
706 <property name="shadow_type">GTK_SHADOW_NONE</property>
707 <child>
708 <widget class="GtkAlignment" id="alignment4">
709 <property name="visible">True</property>
710 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
711 <property name="left_padding">12</property>
712 <child>
713 <widget class="GtkComboBox" id="merge_branch_combo">
714 <property name="visible">True</property>
715 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
716 </widget>
717 </child>
718 </widget>
719 </child>
720 <child>
721 <widget class="GtkLabel" id="label4">
722 <property name="visible">True</property>
723 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
724 <property name="label" translatable="yes">&lt;b&gt;Branch:&lt;/b&gt;</property>
725 <property name="use_markup">True</property>
726 </widget>
727 <packing>
728 <property name="type">label_item</property>
729 </packing>
730 </child>
731 </widget>
732 <packing>
733 <property name="expand">False</property>
734 <property name="fill">False</property>
735 </packing>
736 </child>
737 <child>
738 <widget class="GtkFrame" id="frame7">
739 <property name="visible">True</property>
740 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
741 <property name="label_xalign">0</property>
742 <property name="shadow_type">GTK_SHADOW_NONE</property>
743 <child>
744 <widget class="GtkAlignment" id="alignment7">
745 <property name="visible">True</property>
746 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
747 <property name="left_padding">12</property>
748 <child>
749 <widget class="GtkVBox" id="vbox4">
750 <property name="visible">True</property>
751 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
752 <child>
753 <widget class="GtkCheckButton" id="no_commit_check">
754 <property name="visible">True</property>
755 <property name="can_focus">True</property>
756 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
757 <property name="label" translatable="yes">Do not commit</property>
758 <property name="response_id">0</property>
759 <property name="draw_indicator">True</property>
760 </widget>
761 <packing>
762 <property name="expand">False</property>
763 <property name="fill">False</property>
764 </packing>
765 </child>
766 <child>
767 <widget class="GtkCheckButton" id="squash_check">
768 <property name="visible">True</property>
769 <property name="can_focus">True</property>
770 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
771 <property name="label" translatable="yes">Squash</property>
772 <property name="response_id">0</property>
773 <property name="draw_indicator">True</property>
774 </widget>
775 <packing>
776 <property name="expand">False</property>
777 <property name="fill">False</property>
778 <property name="position">1</property>
779 </packing>
780 </child>
781 </widget>
782 </child>
783 </widget>
784 </child>
785 <child>
786 <widget class="GtkLabel" id="label7">
787 <property name="visible">True</property>
788 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
789 <property name="label" translatable="yes">&lt;b&gt;Options:&lt;/b&gt;</property>
790 <property name="use_markup">True</property>
791 </widget>
792 <packing>
793 <property name="type">label_item</property>
794 </packing>
795 </child>
796 </widget>
797 <packing>
798 <property name="expand">False</property>
799 <property name="position">1</property>
800 </packing>
801 </child>
802 <child>
803 <widget class="GtkFrame" id="frame8">
804 <property name="visible">True</property>
805 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
806 <property name="label_xalign">0</property>
807 <property name="shadow_type">GTK_SHADOW_NONE</property>
808 <child>
809 <widget class="GtkAlignment" id="alignment8">
810 <property name="visible">True</property>
811 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
812 <property name="left_padding">12</property>
813 <child>
814 <widget class="GtkVBox" id="vbox5">
815 <property name="visible">True</property>
816 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
817 <child>
818 <widget class="GtkCheckButton" id="use_custom_log_check">
819 <property name="visible">True</property>
820 <property name="can_focus">True</property>
821 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
822 <property name="label" translatable="yes">Use a custom log message</property>
823 <property name="response_id">0</property>
824 <property name="draw_indicator">True</property>
825 </widget>
826 <packing>
827 <property name="expand">False</property>
828 <property name="fill">False</property>
829 </packing>
830 </child>
831 <child>
832 <widget class="GtkScrolledWindow" id="scrolledwindow1">
833 <property name="visible">True</property>
834 <property name="can_focus">True</property>
835 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
836 <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
837 <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
838 <property name="shadow_type">GTK_SHADOW_IN</property>
839 <child>
840 <widget class="GtkTextView" id="merge_log_view">
841 <property name="width_request">400</property>
842 <property name="visible">True</property>
843 <property name="sensitive">False</property>
844 <property name="can_focus">True</property>
845 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
846 <property name="indent">5</property>
847 </widget>
848 </child>
849 </widget>
850 <packing>
851 <property name="position">1</property>
852 </packing>
853 </child>
854 </widget>
855 </child>
856 </widget>
857 </child>
858 <child>
859 <widget class="GtkLabel" id="label8">
860 <property name="visible">True</property>
861 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
862 <property name="label" translatable="yes">&lt;b&gt;Log message:&lt;/b&gt;</property>
863 <property name="use_markup">True</property>
864 </widget>
865 <packing>
866 <property name="type">label_item</property>
867 </packing>
868 </child>
869 </widget>
870 <packing>
871 <property name="position">2</property>
872 </packing>
873 </child>
874 </widget>
875 <packing>
876 <property name="position">1</property>
877 </packing>
878 </child>
879 <child internal-child="action_area">
880 <widget class="GtkHButtonBox" id="dialog-action_area6">
881 <property name="visible">True</property>
882 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
883 <property name="layout_style">GTK_BUTTONBOX_END</property>
884 <child>
885 <widget class="GtkButton" id="button3">
886 <property name="visible">True</property>
887 <property name="can_focus">True</property>
888 <property name="receives_default">True</property>
889 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
890 <property name="label" translatable="yes">gtk-cancel</property>
891 <property name="use_stock">True</property>
892 <property name="response_id">-6</property>
893 </widget>
894 </child>
895 <child>
896 <widget class="GtkButton" id="button4">
897 <property name="visible">True</property>
898 <property name="can_focus">True</property>
899 <property name="receives_default">True</property>
900 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
901 <property name="label" translatable="yes">gtk-ok</property>
902 <property name="use_stock">True</property>
903 <property name="response_id">-5</property>
904 </widget>
905 <packing>
906 <property name="position">1</property>
907 </packing>
908 </child>
909 </widget>
910 <packing>
911 <property name="expand">False</property>
912 <property name="pack_type">GTK_PACK_END</property>
913 </packing>
914 </child>
915 </widget>
916 </child>
917 </widget>
918 <widget class="GtkDialog" id="switch_dialog">
919 <property name="border_width">5</property>
920 <property name="title" translatable="yes">Switch to Another Branch</property>
921 <property name="window_position">GTK_WIN_POS_CENTER_ON_PARENT</property>
922 <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
923 <property name="has_separator">False</property>
924 <child internal-child="vbox">
925 <widget class="GtkVBox" id="dialog-vbox7">
926 <property name="visible">True</property>
927 <property name="spacing">2</property>
928 <child>
929 <widget class="GtkFrame" id="frame9">
930 <property name="width_request">250</property>
931 <property name="visible">True</property>
932 <property name="label_xalign">0</property>
933 <property name="shadow_type">GTK_SHADOW_NONE</property>
934 <child>
935 <widget class="GtkAlignment" id="alignment9">
936 <property name="visible">True</property>
937 <property name="left_padding">12</property>
938 <child>
939 <widget class="GtkComboBox" id="switch_branch_combo">
940 <property name="visible">True</property>
941 </widget>
942 </child>
943 </widget>
944 </child>
945 <child>
946 <widget class="GtkLabel" id="label9">
947 <property name="visible">True</property>
948 <property name="label" translatable="yes">&lt;b&gt;Branch to switch to:&lt;/b&gt;</property>
949 <property name="use_markup">True</property>
950 </widget>
951 <packing>
952 <property name="type">label_item</property>
953 </packing>
954 </child>
955 </widget>
956 <packing>
957 <property name="expand">False</property>
958 <property name="position">1</property>
959 </packing>
960 </child>
961 <child internal-child="action_area">
962 <widget class="GtkHButtonBox" id="dialog-action_area7">
963 <property name="visible">True</property>
964 <property name="layout_style">GTK_BUTTONBOX_END</property>
965 <child>
966 <widget class="GtkButton" id="button7">
967 <property name="visible">True</property>
968 <property name="can_focus">True</property>
969 <property name="receives_default">True</property>
970 <property name="label" translatable="yes">gtk-cancel</property>
971 <property name="use_stock">True</property>
972 <property name="response_id">-6</property>
973 </widget>
974 </child>
975 <child>
976 <widget class="GtkButton" id="button8">
977 <property name="visible">True</property>
978 <property name="can_focus">True</property>
979 <property name="receives_default">True</property>
980 <property name="label" translatable="yes">gtk-ok</property>
981 <property name="use_stock">True</property>
982 <property name="response_id">-5</property>
983 </widget>
984 <packing>
985 <property name="position">1</property>
986 </packing>
987 </child>
988 </widget>
989 <packing>
990 <property name="expand">False</property>
991 <property name="pack_type">GTK_PACK_END</property>
992 </packing>
993 </child>
994 </widget>
995 </child>
996 </widget>
997 <widget class="GtkDialog" id="create_branch_dialog">
998 <property name="border_width">5</property>
999 <property name="title" translatable="yes">Create Branch</property>
1000 <property name="window_position">GTK_WIN_POS_CENTER_ON_PARENT</property>
1001 <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
1002 <property name="has_separator">False</property>
1003 <child internal-child="vbox">
1004 <widget class="GtkVBox" id="dialog-vbox9">
1005 <property name="visible">True</property>
1006 <property name="spacing">2</property>
1007 <child>
1008 <widget class="GtkFrame" id="frame11">
1009 <property name="width_request">250</property>
1010 <property name="visible">True</property>
1011 <property name="label_xalign">0</property>
1012 <property name="shadow_type">GTK_SHADOW_NONE</property>
1013 <child>
1014 <widget class="GtkAlignment" id="alignment11">
1015 <property name="visible">True</property>
1016 <property name="left_padding">12</property>
1017 <child>
1018 <widget class="GtkEntry" id="branch_name_entry">
1019 <property name="visible">True</property>
1020 <property name="can_focus">True</property>
1021 </widget>
1022 </child>
1023 </widget>
1024 </child>
1025 <child>
1026 <widget class="GtkLabel" id="label11">
1027 <property name="visible">True</property>
1028 <property name="label" translatable="yes">&lt;b&gt;Branch name:&lt;/b&gt;</property>
1029 <property name="use_markup">True</property>
1030 </widget>
1031 <packing>
1032 <property name="type">label_item</property>
1033 </packing>
1034 </child>
1035 </widget>
1036 <packing>
1037 <property name="expand">False</property>
1038 <property name="position">1</property>
1039 </packing>
1040 </child>
1041 <child>
1042 <widget class="GtkFrame" id="frame19">
1043 <property name="visible">True</property>
1044 <property name="label_xalign">0</property>
1045 <property name="shadow_type">GTK_SHADOW_NONE</property>
1046 <child>
1047 <widget class="GtkAlignment" id="alignment19">
1048 <property name="visible">True</property>
1049 <property name="left_padding">12</property>
1050 <child>
1051 <widget class="GtkVBox" id="vbox6">
1052 <property name="visible">True</property>
1053 <child>
1054 <widget class="GtkRadioButton" id="branch_head_radio">
1055 <property name="visible">True</property>
1056 <property name="can_focus">True</property>
1057 <property name="label" translatable="yes">Head</property>
1058 <property name="response_id">0</property>
1059 <property name="active">True</property>
1060 <property name="draw_indicator">True</property>
1061 </widget>
1062 </child>
1063 <child>
1064 <widget class="GtkHBox" id="hbox3">
1065 <property name="visible">True</property>
1066 <child>
1067 <widget class="GtkRadioButton" id="branch_revision_radio">
1068 <property name="visible">True</property>
1069 <property name="can_focus">True</property>
1070 <property name="label" translatable="yes">Revision/Tag:</property>
1071 <property name="response_id">0</property>
1072 <property name="active">True</property>
1073 <property name="draw_indicator">True</property>
1074 <property name="group">branch_head_radio</property>
1075 </widget>
1076 <packing>
1077 <property name="expand">False</property>
1078 <property name="fill">False</property>
1079 </packing>
1080 </child>
1081 <child>
1082 <widget class="GtkEntry" id="branch_revision_entry">
1083 <property name="visible">True</property>
1084 <property name="sensitive">False</property>
1085 <property name="can_focus">True</property>
1086 <property name="width_chars">40</property>
1087 </widget>
1088 <packing>
1089 <property name="expand">False</property>
1090 <property name="fill">False</property>
1091 <property name="position">1</property>
1092 </packing>
1093 </child>
1094 </widget>
1095 <packing>
1096 <property name="position">1</property>
1097 </packing>
1098 </child>
1099 </widget>
1100 </child>
1101 </widget>
1102 </child>
1103 <child>
1104 <widget class="GtkLabel" id="label20">
1105 <property name="visible">True</property>
1106 <property name="label" translatable="yes">&lt;b&gt;Revision:&lt;/b&gt;</property>
1107 <property name="use_markup">True</property>
1108 </widget>
1109 <packing>
1110 <property name="type">label_item</property>
1111 </packing>
1112 </child>
1113 </widget>
1114 <packing>
1115 <property name="expand">False</property>
1116 <property name="position">2</property>
1117 </packing>
1118 </child>
1119 <child>
1120 <widget class="GtkFrame" id="frame12">
1121 <property name="visible">True</property>
1122 <property name="label_xalign">0</property>
1123 <property name="shadow_type">GTK_SHADOW_NONE</property>
1124 <child>
1125 <widget class="GtkAlignment" id="alignment12">
1126 <property name="visible">True</property>
1127 <property name="left_padding">12</property>
1128 <child>
1129 <widget class="GtkCheckButton" id="branch_checkout_check">
1130 <property name="visible">True</property>
1131 <property name="can_focus">True</property>
1132 <property name="label" translatable="yes">Check out the branch after it is created</property>
1133 <property name="response_id">0</property>
1134 <property name="draw_indicator">True</property>
1135 </widget>
1136 </child>
1137 </widget>
1138 </child>
1139 <child>
1140 <widget class="GtkLabel" id="label12">
1141 <property name="visible">True</property>
1142 <property name="label" translatable="yes">&lt;b&gt;Options:&lt;/b&gt;</property>
1143 <property name="use_markup">True</property>
1144 </widget>
1145 <packing>
1146 <property name="type">label_item</property>
1147 </packing>
1148 </child>
1149 </widget>
1150 <packing>
1151 <property name="expand">False</property>
1152 <property name="position">3</property>
1153 </packing>
1154 </child>
1155 <child internal-child="action_area">
1156 <widget class="GtkHButtonBox" id="dialog-action_area9">
1157 <property name="visible">True</property>
1158 <property name="layout_style">GTK_BUTTONBOX_END</property>
1159 <child>
1160 <widget class="GtkButton" id="button11">
1161 <property name="visible">True</property>
1162 <property name="can_focus">True</property>
1163 <property name="receives_default">True</property>
1164 <property name="label" translatable="yes">gtk-cancel</property>
1165 <property name="use_stock">True</property>
1166 <property name="response_id">-6</property>
1167 </widget>
1168 </child>
1169 <child>
1170 <widget class="GtkButton" id="button12">
1171 <property name="visible">True</property>
1172 <property name="can_focus">True</property>
1173 <property name="receives_default">True</property>
1174 <property name="label" translatable="yes">gtk-ok</property>
1175 <property name="use_stock">True</property>
1176 <property name="response_id">-5</property>
1177 </widget>
1178 <packing>
1179 <property name="position">1</property>
1180 </packing>
1181 </child>
1182 </widget>
1183 <packing>
1184 <property name="expand">False</property>
1185 <property name="pack_type">GTK_PACK_END</property>
1186 </packing>
1187 </child>
1188 </widget>
1189 </child>
1190 </widget>
1191 <widget class="GtkDialog" id="delete_branch_dialog">
1192 <property name="border_width">5</property>
1193 <property name="title" translatable="yes">Delete Branch</property>
1194 <property name="window_position">GTK_WIN_POS_CENTER_ON_PARENT</property>
1195 <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
1196 <property name="has_separator">False</property>
1197 <child internal-child="vbox">
1198 <widget class="GtkVBox" id="dialog-vbox11">
1199 <property name="visible">True</property>
1200 <property name="spacing">2</property>
1201 <child>
1202 <widget class="GtkFrame" id="frame13">
1203 <property name="width_request">250</property>
1204 <property name="visible">True</property>
1205 <property name="label_xalign">0</property>
1206 <property name="shadow_type">GTK_SHADOW_NONE</property>
1207 <child>
1208 <widget class="GtkAlignment" id="alignment13">
1209 <property name="visible">True</property>
1210 <property name="left_padding">12</property>
1211 <child>
1212 <widget class="GtkComboBox" id="delete_branch_combo">
1213 <property name="visible">True</property>
1214 </widget>
1215 </child>
1216 </widget>
1217 </child>
1218 <child>
1219 <widget class="GtkLabel" id="label13">
1220 <property name="visible">True</property>
1221 <property name="label" translatable="yes">&lt;b&gt;Branch to delete:&lt;/b&gt;</property>
1222 <property name="use_markup">True</property>
1223 </widget>
1224 <packing>
1225 <property name="type">label_item</property>
1226 </packing>
1227 </child>
1228 </widget>
1229 <packing>
1230 <property name="expand">False</property>
1231 <property name="position">1</property>
1232 </packing>
1233 </child>
1234 <child>
1235 <widget class="GtkFrame" id="frame14">
1236 <property name="visible">True</property>
1237 <property name="label_xalign">0</property>
1238 <property name="shadow_type">GTK_SHADOW_NONE</property>
1239 <child>
1240 <widget class="GtkAlignment" id="alignment14">
1241 <property name="visible">True</property>
1242 <property name="left_padding">12</property>
1243 <child>
1244 <widget class="GtkCheckButton" id="require_merged_check">
1245 <property name="visible">True</property>
1246 <property name="can_focus">True</property>
1247 <property name="label" translatable="yes">Branch must be fully merged</property>
1248 <property name="response_id">0</property>
1249 <property name="draw_indicator">True</property>
1250 </widget>
1251 </child>
1252 </widget>
1253 </child>
1254 <child>
1255 <widget class="GtkLabel" id="label14">
1256 <property name="visible">True</property>
1257 <property name="label" translatable="yes">&lt;b&gt;Options:&lt;/b&gt;</property>
1258 <property name="use_markup">True</property>
1259 </widget>
1260 <packing>
1261 <property name="type">label_item</property>
1262 </packing>
1263 </child>
1264 </widget>
1265 <packing>
1266 <property name="expand">False</property>
1267 <property name="position">2</property>
1268 </packing>
1269 </child>
1270 <child internal-child="action_area">
1271 <widget class="GtkHButtonBox" id="dialog-action_area11">
1272 <property name="visible">True</property>
1273 <property name="layout_style">GTK_BUTTONBOX_END</property>
1274 <child>
1275 <widget class="GtkButton" id="button13">
1276 <property name="visible">True</property>
1277 <property name="can_focus">True</property>
1278 <property name="receives_default">True</property>
1279 <property name="label" translatable="yes">gtk-cancel</property>
1280 <property name="use_stock">True</property>
1281 <property name="response_id">-6</property>
1282 </widget>
1283 </child>
1284 <child>
1285 <widget class="GtkButton" id="button14">
1286 <property name="visible">True</property>
1287 <property name="can_focus">True</property>
1288 <property name="receives_default">True</property>
1289 <property name="label" translatable="yes">gtk-ok</property>
1290 <property name="use_stock">True</property>
1291 <property name="response_id">-5</property>
1292 </widget>
1293 <packing>
1294 <property name="position">1</property>
1295 </packing>
1296 </child>
1297 </widget>
1298 <packing>
1299 <property name="expand">False</property>
1300 <property name="pack_type">GTK_PACK_END</property>
1301 </packing>
1302 </child>
1303 </widget>
1304 </child>
1305 </widget>
1306 <widget class="GtkDialog" id="unstage_dialog">
1307 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1308 <property name="border_width">5</property>
1309 <property name="title" translatable="yes">Unstage Files</property>
1310 <property name="window_position">GTK_WIN_POS_CENTER_ON_PARENT</property>
1311 <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
1312 <property name="has_separator">False</property>
1313 <child internal-child="vbox">
1314 <widget class="GtkVBox" id="dialog-vbox13">
1315 <property name="visible">True</property>
1316 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1317 <property name="spacing">2</property>
1318 <child>
1319 <widget class="GtkVBox" id="vbox7">
1320 <property name="visible">True</property>
1321 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1322 <property name="spacing">5</property>
1323 <child>
1324 <widget class="GtkFrame" id="frame15">
1325 <property name="visible">True</property>
1326 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1327 <property name="label_xalign">0</property>
1328 <property name="shadow_type">GTK_SHADOW_NONE</property>
1329 <child>
1330 <widget class="GtkAlignment" id="alignment15">
1331 <property name="visible">True</property>
1332 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1333 <property name="left_padding">12</property>
1334 <child>
1335 <widget class="GtkScrolledWindow" id="scrolledwindow3">
1336 <property name="visible">True</property>
1337 <property name="can_focus">True</property>
1338 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1339 <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
1340 <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
1341 <property name="shadow_type">GTK_SHADOW_IN</property>
1342 <child>
1343 <widget class="AnjutaVcsStatusTreeView" id="unstage_status_view">
1344 <property name="width_request">600</property>
1345 <property name="height_request">250</property>
1346 <property name="visible">True</property>
1347 <property name="can_focus">True</property>
1348 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1349 <property name="headers_visible">False</property>
1350 <property name="search_column">0</property>
1351 <property name="status_codes">ANJUTA_VCS_STATUS_MODIFIED | ANJUTA_VCS_STATUS_ADDED | ANJUTA_VCS_STATUS_DELETED</property>
1352 </widget>
1353 </child>
1354 </widget>
1355 </child>
1356 </widget>
1357 </child>
1358 <child>
1359 <widget class="GtkLabel" id="label15">
1360 <property name="visible">True</property>
1361 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1362 <property name="label" translatable="yes">&lt;b&gt;Select Files to Unstage:&lt;/b&gt;</property>
1363 <property name="use_markup">True</property>
1364 </widget>
1365 <packing>
1366 <property name="type">label_item</property>
1367 </packing>
1368 </child>
1369 </widget>
1370 </child>
1371 <child>
1372 <widget class="GtkProgressBar" id="unstage_status_progress_bar">
1373 <property name="visible">True</property>
1374 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1375 <property name="activity_mode">True</property>
1376 <property name="show_text">True</property>
1377 <property name="text" translatable="yes">Retrieving status...</property>
1378 </widget>
1379 <packing>
1380 <property name="fill">False</property>
1381 <property name="position">1</property>
1382 </packing>
1383 </child>
1384 <child>
1385 <widget class="GtkHButtonBox" id="hbuttonbox2">
1386 <property name="visible">True</property>
1387 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1388 <property name="spacing">2</property>
1389 <property name="layout_style">GTK_BUTTONBOX_START</property>
1390 <child>
1391 <widget class="GtkButton" id="unstage_select_all_button">
1392 <property name="visible">True</property>
1393 <property name="can_focus">True</property>
1394 <property name="receives_default">True</property>
1395 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1396 <property name="label">gtk-select-all</property>
1397 <property name="use_stock">True</property>
1398 <property name="response_id">0</property>
1399 </widget>
1400 </child>
1401 <child>
1402 <widget class="GtkButton" id="unstage_clear_button">
1403 <property name="visible">True</property>
1404 <property name="can_focus">True</property>
1405 <property name="receives_default">True</property>
1406 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1407 <property name="label">gtk-clear</property>
1408 <property name="use_stock">True</property>
1409 <property name="response_id">0</property>
1410 </widget>
1411 <packing>
1412 <property name="position">1</property>
1413 </packing>
1414 </child>
1415 </widget>
1416 <packing>
1417 <property name="expand">False</property>
1418 <property name="position">2</property>
1419 </packing>
1420 </child>
1421 </widget>
1422 <packing>
1423 <property name="position">1</property>
1424 </packing>
1425 </child>
1426 <child internal-child="action_area">
1427 <widget class="GtkHButtonBox" id="dialog-action_area13">
1428 <property name="visible">True</property>
1429 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1430 <property name="layout_style">GTK_BUTTONBOX_END</property>
1431 <child>
1432 <widget class="GtkButton" id="revert_cancel_button2">
1433 <property name="visible">True</property>
1434 <property name="can_focus">True</property>
1435 <property name="receives_default">True</property>
1436 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1437 <property name="label">gtk-cancel</property>
1438 <property name="use_stock">True</property>
1439 <property name="response_id">-6</property>
1440 </widget>
1441 </child>
1442 <child>
1443 <widget class="GtkButton" id="revert_ok_button2">
1444 <property name="visible">True</property>
1445 <property name="can_focus">True</property>
1446 <property name="receives_default">True</property>
1447 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1448 <property name="label">gtk-ok</property>
1449 <property name="use_stock">True</property>
1450 <property name="response_id">-5</property>
1451 </widget>
1452 <packing>
1453 <property name="position">1</property>
1454 </packing>
1455 </child>
1456 </widget>
1457 <packing>
1458 <property name="expand">False</property>
1459 <property name="pack_type">GTK_PACK_END</property>
1460 </packing>
1461 </child>
1462 </widget>
1463 </child>
1464 </widget>
1465 <widget class="GtkDialog" id="checkout_files_dialog">
1466 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1467 <property name="border_width">5</property>
1468 <property name="title" translatable="yes">Check Out Files</property>
1469 <property name="window_position">GTK_WIN_POS_CENTER_ON_PARENT</property>
1470 <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
1471 <property name="has_separator">False</property>
1472 <child internal-child="vbox">
1473 <widget class="GtkVBox" id="dialog-vbox15">
1474 <property name="visible">True</property>
1475 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1476 <property name="spacing">2</property>
1477 <child>
1478 <widget class="GtkVBox" id="vbox8">
1479 <property name="visible">True</property>
1480 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1481 <property name="spacing">5</property>
1482 <child>
1483 <widget class="GtkFrame" id="frame16">
1484 <property name="visible">True</property>
1485 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1486 <property name="label_xalign">0</property>
1487 <property name="shadow_type">GTK_SHADOW_NONE</property>
1488 <child>
1489 <widget class="GtkAlignment" id="alignment16">
1490 <property name="visible">True</property>
1491 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1492 <property name="left_padding">12</property>
1493 <child>
1494 <widget class="GtkScrolledWindow" id="scrolledwindow4">
1495 <property name="visible">True</property>
1496 <property name="can_focus">True</property>
1497 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1498 <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
1499 <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
1500 <property name="shadow_type">GTK_SHADOW_IN</property>
1501 <child>
1502 <widget class="AnjutaVcsStatusTreeView" id="checkout_status_view">
1503 <property name="width_request">600</property>
1504 <property name="height_request">250</property>
1505 <property name="visible">True</property>
1506 <property name="can_focus">True</property>
1507 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1508 <property name="headers_visible">False</property>
1509 <property name="search_column">0</property>
1510 <property name="status_codes">ANJUTA_VCS_STATUS_MODIFIED | ANJUTA_VCS_STATUS_ADDED | ANJUTA_VCS_STATUS_DELETED</property>
1511 </widget>
1512 </child>
1513 </widget>
1514 </child>
1515 </widget>
1516 </child>
1517 <child>
1518 <widget class="GtkLabel" id="label16">
1519 <property name="visible">True</property>
1520 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1521 <property name="label" translatable="yes">&lt;b&gt;Select Files to Check Out:&lt;/b&gt;</property>
1522 <property name="use_markup">True</property>
1523 </widget>
1524 <packing>
1525 <property name="type">label_item</property>
1526 </packing>
1527 </child>
1528 </widget>
1529 </child>
1530 <child>
1531 <widget class="GtkProgressBar" id="checkout_status_progress_bar">
1532 <property name="visible">True</property>
1533 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1534 <property name="activity_mode">True</property>
1535 <property name="show_text">True</property>
1536 <property name="text" translatable="yes">Retrieving status...</property>
1537 </widget>
1538 <packing>
1539 <property name="fill">False</property>
1540 <property name="position">1</property>
1541 </packing>
1542 </child>
1543 <child>
1544 <widget class="GtkHButtonBox" id="hbuttonbox3">
1545 <property name="visible">True</property>
1546 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1547 <property name="spacing">2</property>
1548 <property name="layout_style">GTK_BUTTONBOX_START</property>
1549 <child>
1550 <widget class="GtkButton" id="checkout_select_all_button">
1551 <property name="visible">True</property>
1552 <property name="can_focus">True</property>
1553 <property name="receives_default">True</property>
1554 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1555 <property name="label">gtk-select-all</property>
1556 <property name="use_stock">True</property>
1557 <property name="response_id">0</property>
1558 </widget>
1559 </child>
1560 <child>
1561 <widget class="GtkButton" id="checkout_clear_button">
1562 <property name="visible">True</property>
1563 <property name="can_focus">True</property>
1564 <property name="receives_default">True</property>
1565 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1566 <property name="label">gtk-clear</property>
1567 <property name="use_stock">True</property>
1568 <property name="response_id">0</property>
1569 </widget>
1570 <packing>
1571 <property name="position">1</property>
1572 </packing>
1573 </child>
1574 </widget>
1575 <packing>
1576 <property name="expand">False</property>
1577 <property name="position">2</property>
1578 </packing>
1579 </child>
1580 </widget>
1581 <packing>
1582 <property name="position">1</property>
1583 </packing>
1584 </child>
1585 <child internal-child="action_area">
1586 <widget class="GtkHButtonBox" id="dialog-action_area15">
1587 <property name="visible">True</property>
1588 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1589 <property name="layout_style">GTK_BUTTONBOX_END</property>
1590 <child>
1591 <widget class="GtkButton" id="revert_cancel_button4">
1592 <property name="visible">True</property>
1593 <property name="can_focus">True</property>
1594 <property name="receives_default">True</property>
1595 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1596 <property name="label">gtk-cancel</property>
1597 <property name="use_stock">True</property>
1598 <property name="response_id">-6</property>
1599 </widget>
1600 </child>
1601 <child>
1602 <widget class="GtkButton" id="revert_ok_button4">
1603 <property name="visible">True</property>
1604 <property name="can_focus">True</property>
1605 <property name="receives_default">True</property>
1606 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1607 <property name="label">gtk-ok</property>
1608 <property name="use_stock">True</property>
1609 <property name="response_id">-5</property>
1610 </widget>
1611 <packing>
1612 <property name="position">1</property>
1613 </packing>
1614 </child>
1615 </widget>
1616 <packing>
1617 <property name="expand">False</property>
1618 <property name="pack_type">GTK_PACK_END</property>
1619 </packing>
1620 </child>
1621 </widget>
1622 </child>
1623 </widget>
1624 <widget class="GtkWindow" id="log_window">
1625 <property name="resizable">False</property>
1626 <child>
1627 <widget class="GtkVBox" id="log_vbox">
1628 <property name="visible">True</property>
1629 <child>
1630 <widget class="GtkFrame" id="frame10">
1631 <property name="visible">True</property>
1632 <property name="label_xalign">0</property>
1633 <property name="shadow_type">GTK_SHADOW_NONE</property>
1634 <child>
1635 <widget class="GtkAlignment" id="alignment10">
1636 <property name="visible">True</property>
1637 <property name="left_padding">12</property>
1638 <child>
1639 <widget class="GtkVBox" id="vbox9">
1640 <property name="visible">True</property>
1641 <child>
1642 <widget class="GtkHBox" id="hbox1">
1643 <property name="visible">True</property>
1644 <property name="spacing">2</property>
1645 <child>
1646 <widget class="GnomeFileEntry" id="path_entry">
1647 <property name="visible">True</property>
1648 <property name="sensitive">False</property>
1649 <property name="spacing">4</property>
1650 <child internal-child="entry">
1651 <widget class="GtkEntry" id="path_text_entry">
1652 <property name="visible">True</property>
1653 <property name="can_focus">True</property>
1654 </widget>
1655 </child>
1656 </widget>
1657 </child>
1658 <child>
1659 <widget class="GtkButton" id="view_log_button">
1660 <property name="visible">True</property>
1661 <property name="can_focus">True</property>
1662 <property name="receives_default">True</property>
1663 <property name="response_id">0</property>
1664 <child>
1665 <widget class="GtkHBox" id="hbox2">
1666 <property name="visible">True</property>
1667 <property name="spacing">2</property>
1668 <child>
1669 <widget class="GtkImage" id="image1">
1670 <property name="visible">True</property>
1671 <property name="stock">gtk-find</property>
1672 </widget>
1673 </child>
1674 <child>
1675 <widget class="GtkLabel" id="label17">
1676 <property name="visible">True</property>
1677 <property name="label" translatable="yes">View log</property>
1678 </widget>
1679 <packing>
1680 <property name="position">1</property>
1681 </packing>
1682 </child>
1683 </widget>
1684 </child>
1685 </widget>
1686 <packing>
1687 <property name="expand">False</property>
1688 <property name="fill">False</property>
1689 <property name="position">1</property>
1690 </packing>
1691 </child>
1692 </widget>
1693 <packing>
1694 <property name="expand">False</property>
1695 <property name="fill">False</property>
1696 </packing>
1697 </child>
1698 <child>
1699 <widget class="GtkCheckButton" id="whole_project_check">
1700 <property name="visible">True</property>
1701 <property name="can_focus">True</property>
1702 <property name="label" translatable="yes">Whole project</property>
1703 <property name="response_id">0</property>
1704 <property name="active">True</property>
1705 <property name="draw_indicator">True</property>
1706 </widget>
1707 <packing>
1708 <property name="expand">False</property>
1709 <property name="position">1</property>
1710 </packing>
1711 </child>
1712 </widget>
1713 </child>
1714 </widget>
1715 </child>
1716 <child>
1717 <widget class="GtkLabel" id="label10">
1718 <property name="visible">True</property>
1719 <property name="label" translatable="yes">&lt;b&gt;View the Log for File/Folder:&lt;/b&gt;</property>
1720 <property name="use_markup">True</property>
1721 </widget>
1722 <packing>
1723 <property name="type">label_item</property>
1724 </packing>
1725 </child>
1726 </widget>
1727 <packing>
1728 <property name="expand">False</property>
1729 </packing>
1730 </child>
1731 <child>
1732 <widget class="GtkExpander" id="expander1">
1733 <property name="visible">True</property>
1734 <property name="can_focus">True</property>
1735 <child>
1736 <widget class="GtkVBox" id="vbox16">
1737 <property name="visible">True</property>
1738 <child>
1739 <widget class="GtkNotebook" id="notebook1">
1740 <property name="visible">True</property>
1741 <property name="can_focus">True</property>
1742 <child>
1743 <widget class="GtkTable" id="table2">
1744 <property name="visible">True</property>
1745 <property name="n_rows">2</property>
1746 <property name="n_columns">2</property>
1747 <property name="row_spacing">2</property>
1748 <child>
1749 <widget class="GtkEntry" id="log_filter_grep_entry">
1750 <property name="visible">True</property>
1751 <property name="can_focus">True</property>
1752 </widget>
1753 <packing>
1754 <property name="left_attach">1</property>
1755 <property name="right_attach">2</property>
1756 <property name="top_attach">1</property>
1757 <property name="bottom_attach">2</property>
1758 <property name="y_options"></property>
1759 </packing>
1760 </child>
1761 <child>
1762 <widget class="GtkEntry" id="log_filter_author_entry">
1763 <property name="visible">True</property>
1764 <property name="can_focus">True</property>
1765 </widget>
1766 <packing>
1767 <property name="left_attach">1</property>
1768 <property name="right_attach">2</property>
1769 <property name="y_options"></property>
1770 </packing>
1771 </child>
1772 <child>
1773 <widget class="GtkLabel" id="label34">
1774 <property name="visible">True</property>
1775 <property name="label" translatable="yes">Grep:</property>
1776 </widget>
1777 <packing>
1778 <property name="top_attach">1</property>
1779 <property name="bottom_attach">2</property>
1780 <property name="x_options"></property>
1781 <property name="y_options">GTK_SHRINK</property>
1782 <property name="x_padding">2</property>
1783 </packing>
1784 </child>
1785 <child>
1786 <widget class="GtkLabel" id="label33">
1787 <property name="visible">True</property>
1788 <property name="label" translatable="yes">Author:</property>
1789 </widget>
1790 <packing>
1791 <property name="x_options">GTK_SHRINK</property>
1792 <property name="y_options">GTK_SHRINK</property>
1793 <property name="x_padding">2</property>
1794 </packing>
1795 </child>
1796 </widget>
1797 </child>
1798 <child>
1799 <widget class="GtkLabel" id="label30">
1800 <property name="visible">True</property>
1801 <property name="label" translatable="yes">Author/Grep</property>
1802 </widget>
1803 <packing>
1804 <property name="type">tab</property>
1805 <property name="tab_fill">False</property>
1806 </packing>
1807 </child>
1808 <child>
1809 <widget class="GtkTable" id="table1">
1810 <property name="visible">True</property>
1811 <property name="n_rows">2</property>
1812 <property name="n_columns">2</property>
1813 <property name="column_spacing">5</property>
1814 <child>
1815 <widget class="GtkCheckButton" id="log_filter_to_check">
1816 <property name="visible">True</property>
1817 <property name="can_focus">True</property>
1818 <property name="label" translatable="yes">To</property>
1819 <property name="response_id">0</property>
1820 <property name="draw_indicator">True</property>
1821 </widget>
1822 <packing>
1823 <property name="left_attach">1</property>
1824 <property name="right_attach">2</property>
1825 <property name="x_options">GTK_SHRINK</property>
1826 <property name="y_options">GTK_SHRINK</property>
1827 </packing>
1828 </child>
1829 <child>
1830 <widget class="GtkCheckButton" id="log_filter_from_check">
1831 <property name="visible">True</property>
1832 <property name="can_focus">True</property>
1833 <property name="label" translatable="yes">From</property>
1834 <property name="response_id">0</property>
1835 <property name="draw_indicator">True</property>
1836 </widget>
1837 <packing>
1838 <property name="x_options">GTK_SHRINK</property>
1839 <property name="y_options">GTK_SHRINK</property>
1840 </packing>
1841 </child>
1842 <child>
1843 <widget class="GtkCalendar" id="log_filter_from_calendar">
1844 <property name="visible">True</property>
1845 <property name="sensitive">False</property>
1846 <property name="can_focus">True</property>
1847 </widget>
1848 <packing>
1849 <property name="top_attach">1</property>
1850 <property name="bottom_attach">2</property>
1851 <property name="x_options">GTK_SHRINK</property>
1852 <property name="y_options">GTK_SHRINK</property>
1853 </packing>
1854 </child>
1855 <child>
1856 <widget class="GtkCalendar" id="log_filter_to_calendar">
1857 <property name="visible">True</property>
1858 <property name="sensitive">False</property>
1859 <property name="can_focus">True</property>
1860 </widget>
1861 <packing>
1862 <property name="left_attach">1</property>
1863 <property name="right_attach">2</property>
1864 <property name="top_attach">1</property>
1865 <property name="bottom_attach">2</property>
1866 <property name="x_options">GTK_SHRINK</property>
1867 <property name="y_options">GTK_SHRINK</property>
1868 </packing>
1869 </child>
1870 </widget>
1871 <packing>
1872 <property name="position">1</property>
1873 </packing>
1874 </child>
1875 <child>
1876 <widget class="GtkLabel" id="label31">
1877 <property name="visible">True</property>
1878 <property name="label" translatable="yes">Date</property>
1879 </widget>
1880 <packing>
1881 <property name="type">tab</property>
1882 <property name="position">1</property>
1883 <property name="tab_fill">False</property>
1884 </packing>
1885 </child>
1886 <child>
1887 <widget class="GtkTable" id="table3">
1888 <property name="visible">True</property>
1889 <property name="n_rows">2</property>
1890 <property name="n_columns">2</property>
1891 <property name="row_spacing">2</property>
1892 <child>
1893 <widget class="GtkEntry" id="log_filter_to_entry">
1894 <property name="visible">True</property>
1895 <property name="can_focus">True</property>
1896 </widget>
1897 <packing>
1898 <property name="left_attach">1</property>
1899 <property name="right_attach">2</property>
1900 <property name="top_attach">1</property>
1901 <property name="bottom_attach">2</property>
1902 <property name="y_options"></property>
1903 </packing>
1904 </child>
1905 <child>
1906 <widget class="GtkEntry" id="log_filter_from_entry">
1907 <property name="visible">True</property>
1908 <property name="can_focus">True</property>
1909 </widget>
1910 <packing>
1911 <property name="left_attach">1</property>
1912 <property name="right_attach">2</property>
1913 <property name="y_options"></property>
1914 </packing>
1915 </child>
1916 <child>
1917 <widget class="GtkLabel" id="label37">
1918 <property name="visible">True</property>
1919 <property name="label" translatable="yes">To:</property>
1920 </widget>
1921 <packing>
1922 <property name="top_attach">1</property>
1923 <property name="bottom_attach">2</property>
1924 <property name="x_options"></property>
1925 <property name="y_options">GTK_SHRINK</property>
1926 <property name="x_padding">2</property>
1927 </packing>
1928 </child>
1929 <child>
1930 <widget class="GtkLabel" id="label38">
1931 <property name="visible">True</property>
1932 <property name="label" translatable="yes">From:</property>
1933 </widget>
1934 <packing>
1935 <property name="x_options">GTK_SHRINK</property>
1936 <property name="y_options">GTK_SHRINK</property>
1937 <property name="x_padding">2</property>
1938 </packing>
1939 </child>
1940 </widget>
1941 <packing>
1942 <property name="position">2</property>
1943 </packing>
1944 </child>
1945 <child>
1946 <widget class="GtkLabel" id="label32">
1947 <property name="visible">True</property>
1948 <property name="label" translatable="yes">Tag/Commit</property>
1949 </widget>
1950 <packing>
1951 <property name="type">tab</property>
1952 <property name="position">2</property>
1953 <property name="tab_fill">False</property>
1954 </packing>
1955 </child>
1956 </widget>
1957 </child>
1958 <child>
1959 <widget class="GtkHButtonBox" id="hbuttonbox5">
1960 <property name="visible">True</property>
1961 <property name="layout_style">GTK_BUTTONBOX_END</property>
1962 <child>
1963 <widget class="GtkButton" id="log_filter_clear_button">
1964 <property name="visible">True</property>
1965 <property name="can_focus">True</property>
1966 <property name="receives_default">True</property>
1967 <property name="label" translatable="yes">gtk-clear</property>
1968 <property name="use_stock">True</property>
1969 <property name="response_id">0</property>
1970 </widget>
1971 </child>
1972 </widget>
1973 <packing>
1974 <property name="expand">False</property>
1975 <property name="fill">False</property>
1976 <property name="position">1</property>
1977 </packing>
1978 </child>
1979 </widget>
1980 </child>
1981 <child>
1982 <widget class="GtkLabel" id="label29">
1983 <property name="visible">True</property>
1984 <property name="label" translatable="yes">&lt;b&gt;Filters&lt;/b&gt;</property>
1985 <property name="use_markup">True</property>
1986 </widget>
1987 <packing>
1988 <property name="type">label_item</property>
1989 </packing>
1990 </child>
1991 </widget>
1992 <packing>
1993 <property name="expand">False</property>
1994 <property name="fill">False</property>
1995 <property name="position">1</property>
1996 </packing>
1997 </child>
1998 <child>
1999 <widget class="GtkVBox" id="vbox15">
2000 <property name="visible">True</property>
2001 <property name="homogeneous">True</property>
2002 <child>
2003 <widget class="GtkFrame" id="frame17">
2004 <property name="visible">True</property>
2005 <property name="label_xalign">0</property>
2006 <property name="shadow_type">GTK_SHADOW_NONE</property>
2007 <child>
2008 <widget class="GtkAlignment" id="alignment17">
2009 <property name="visible">True</property>
2010 <property name="left_padding">12</property>
2011 <child>
2012 <widget class="GtkScrolledWindow" id="scrolledwindow2">
2013 <property name="visible">True</property>
2014 <property name="can_focus">True</property>
2015 <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
2016 <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
2017 <property name="shadow_type">GTK_SHADOW_IN</property>
2018 <child>
2019 <widget class="GtkTreeView" id="log_changes_view">
2020 <property name="visible">True</property>
2021 <property name="can_focus">True</property>
2022 <property name="has_tooltip">True</property>
2023 <property name="headers_clickable">True</property>
2024 </widget>
2025 </child>
2026 </widget>
2027 </child>
2028 </widget>
2029 </child>
2030 <child>
2031 <widget class="GtkLabel" id="label18">
2032 <property name="visible">True</property>
2033 <property name="label" translatable="yes">&lt;b&gt;Changes:&lt;/b&gt;</property>
2034 <property name="use_markup">True</property>
2035 </widget>
2036 <packing>
2037 <property name="type">label_item</property>
2038 </packing>
2039 </child>
2040 </widget>
2041 </child>
2042 <child>
2043 <widget class="GtkFrame" id="frame18">
2044 <property name="visible">True</property>
2045 <property name="label_xalign">0</property>
2046 <property name="shadow_type">GTK_SHADOW_NONE</property>
2047 <child>
2048 <widget class="GtkAlignment" id="alignment18">
2049 <property name="visible">True</property>
2050 <property name="left_padding">12</property>
2051 <child>
2052 <widget class="GtkScrolledWindow" id="scrolledwindow5">
2053 <property name="visible">True</property>
2054 <property name="can_focus">True</property>
2055 <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
2056 <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
2057 <property name="shadow_type">GTK_SHADOW_IN</property>
2058 <child>
2059 <widget class="GtkTextView" id="log_text_view">
2060 <property name="visible">True</property>
2061 <property name="can_focus">True</property>
2062 </widget>
2063 </child>
2064 </widget>
2065 </child>
2066 </widget>
2067 </child>
2068 <child>
2069 <widget class="GtkLabel" id="label19">
2070 <property name="visible">True</property>
2071 <property name="label" translatable="yes">&lt;b&gt;Log Message:&lt;/b&gt;</property>
2072 <property name="use_markup">True</property>
2073 </widget>
2074 <packing>
2075 <property name="type">label_item</property>
2076 </packing>
2077 </child>
2078 </widget>
2079 <packing>
2080 <property name="position">1</property>
2081 </packing>
2082 </child>
2083 </widget>
2084 <packing>
2085 <property name="position">2</property>
2086 </packing>
2087 </child>
2088 </widget>
2089 </child>
2090 </widget>
2091 <widget class="GtkDialog" id="create_tag_dialog">
2092 <property name="border_width">5</property>
2093 <property name="title" translatable="yes">Create Tag</property>
2094 <property name="window_position">GTK_WIN_POS_CENTER_ON_PARENT</property>
2095 <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
2096 <property name="has_separator">False</property>
2097 <child internal-child="vbox">
2098 <widget class="GtkVBox" id="dialog-vbox18">
2099 <property name="visible">True</property>
2100 <property name="spacing">2</property>
2101 <child>
2102 <widget class="GtkFrame" id="frame20">
2103 <property name="width_request">250</property>
2104 <property name="visible">True</property>
2105 <property name="label_xalign">0</property>
2106 <property name="shadow_type">GTK_SHADOW_NONE</property>
2107 <child>
2108 <widget class="GtkAlignment" id="alignment20">
2109 <property name="visible">True</property>
2110 <property name="left_padding">12</property>
2111 <child>
2112 <widget class="GtkEntry" id="tag_name_entry">
2113 <property name="visible">True</property>
2114 <property name="can_focus">True</property>
2115 </widget>
2116 </child>
2117 </widget>
2118 </child>
2119 <child>
2120 <widget class="GtkLabel" id="label21">
2121 <property name="visible">True</property>
2122 <property name="label" translatable="yes">&lt;b&gt;Tag name:&lt;/b&gt;</property>
2123 <property name="use_markup">True</property>
2124 </widget>
2125 <packing>
2126 <property name="type">label_item</property>
2127 </packing>
2128 </child>
2129 </widget>
2130 <packing>
2131 <property name="expand">False</property>
2132 <property name="position">1</property>
2133 </packing>
2134 </child>
2135 <child>
2136 <widget class="GtkFrame" id="frame21">
2137 <property name="visible">True</property>
2138 <property name="label_xalign">0</property>
2139 <property name="shadow_type">GTK_SHADOW_NONE</property>
2140 <child>
2141 <widget class="GtkAlignment" id="alignment21">
2142 <property name="visible">True</property>
2143 <property name="left_padding">12</property>
2144 <child>
2145 <widget class="GtkVBox" id="vbox10">
2146 <property name="visible">True</property>
2147 <child>
2148 <widget class="GtkRadioButton" id="tag_head_radio">
2149 <property name="visible">True</property>
2150 <property name="can_focus">True</property>
2151 <property name="label" translatable="yes">Head</property>
2152 <property name="response_id">0</property>
2153 <property name="active">True</property>
2154 <property name="draw_indicator">True</property>
2155 </widget>
2156 </child>
2157 <child>
2158 <widget class="GtkHBox" id="hbox4">
2159 <property name="visible">True</property>
2160 <child>
2161 <widget class="GtkRadioButton" id="tag_revision_radio">
2162 <property name="visible">True</property>
2163 <property name="can_focus">True</property>
2164 <property name="label" translatable="yes">Revision:</property>
2165 <property name="response_id">0</property>
2166 <property name="active">True</property>
2167 <property name="draw_indicator">True</property>
2168 <property name="group">tag_head_radio</property>
2169 </widget>
2170 <packing>
2171 <property name="expand">False</property>
2172 <property name="fill">False</property>
2173 </packing>
2174 </child>
2175 <child>
2176 <widget class="GtkEntry" id="tag_revision_entry">
2177 <property name="visible">True</property>
2178 <property name="sensitive">False</property>
2179 <property name="can_focus">True</property>
2180 <property name="width_chars">40</property>
2181 </widget>
2182 <packing>
2183 <property name="expand">False</property>
2184 <property name="fill">False</property>
2185 <property name="position">1</property>
2186 </packing>
2187 </child>
2188 </widget>
2189 <packing>
2190 <property name="position">1</property>
2191 </packing>
2192 </child>
2193 </widget>
2194 </child>
2195 </widget>
2196 </child>
2197 <child>
2198 <widget class="GtkLabel" id="label22">
2199 <property name="visible">True</property>
2200 <property name="label" translatable="yes">&lt;b&gt;Revision:&lt;/b&gt;</property>
2201 <property name="use_markup">True</property>
2202 </widget>
2203 <packing>
2204 <property name="type">label_item</property>
2205 </packing>
2206 </child>
2207 </widget>
2208 <packing>
2209 <property name="expand">False</property>
2210 <property name="position">2</property>
2211 </packing>
2212 </child>
2213 <child>
2214 <widget class="GtkFrame" id="frame22">
2215 <property name="visible">True</property>
2216 <property name="label_xalign">0</property>
2217 <property name="shadow_type">GTK_SHADOW_NONE</property>
2218 <child>
2219 <widget class="GtkAlignment" id="alignment22">
2220 <property name="visible">True</property>
2221 <property name="left_padding">12</property>
2222 <child>
2223 <widget class="GtkVBox" id="vbox11">
2224 <property name="visible">True</property>
2225 <child>
2226 <widget class="GtkCheckButton" id="tag_force_check">
2227 <property name="visible">True</property>
2228 <property name="can_focus">True</property>
2229 <property name="label" translatable="yes">Force</property>
2230 <property name="response_id">0</property>
2231 <property name="draw_indicator">True</property>
2232 </widget>
2233 </child>
2234 <child>
2235 <widget class="GtkCheckButton" id="tag_annotate_check">
2236 <property name="visible">True</property>
2237 <property name="can_focus">True</property>
2238 <property name="label" translatable="yes">Annotate this tag</property>
2239 <property name="response_id">0</property>
2240 <property name="draw_indicator">True</property>
2241 </widget>
2242 <packing>
2243 <property name="position">1</property>
2244 </packing>
2245 </child>
2246 <child>
2247 <widget class="GtkScrolledWindow" id="scrolledwindow6">
2248 <property name="visible">True</property>
2249 <property name="can_focus">True</property>
2250 <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
2251 <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
2252 <property name="shadow_type">GTK_SHADOW_IN</property>
2253 <child>
2254 <widget class="GtkTextView" id="tag_log_view">
2255 <property name="visible">True</property>
2256 <property name="sensitive">False</property>
2257 <property name="can_focus">True</property>
2258 </widget>
2259 </child>
2260 </widget>
2261 <packing>
2262 <property name="position">2</property>
2263 </packing>
2264 </child>
2265 </widget>
2266 </child>
2267 </widget>
2268 </child>
2269 <child>
2270 <widget class="GtkLabel" id="label23">
2271 <property name="visible">True</property>
2272 <property name="label" translatable="yes">&lt;b&gt;Options:&lt;/b&gt;</property>
2273 <property name="use_markup">True</property>
2274 </widget>
2275 <packing>
2276 <property name="type">label_item</property>
2277 </packing>
2278 </child>
2279 </widget>
2280 <packing>
2281 <property name="expand">False</property>
2282 <property name="position">3</property>
2283 </packing>
2284 </child>
2285 <child internal-child="action_area">
2286 <widget class="GtkHButtonBox" id="dialog-action_area18">
2287 <property name="visible">True</property>
2288 <property name="layout_style">GTK_BUTTONBOX_END</property>
2289 <child>
2290 <widget class="GtkButton" id="button9">
2291 <property name="visible">True</property>
2292 <property name="can_focus">True</property>
2293 <property name="receives_default">True</property>
2294 <property name="label" translatable="yes">gtk-cancel</property>
2295 <property name="use_stock">True</property>
2296 <property name="response_id">-6</property>
2297 </widget>
2298 </child>
2299 <child>
2300 <widget class="GtkButton" id="button10">
2301 <property name="visible">True</property>
2302 <property name="can_focus">True</property>
2303 <property name="receives_default">True</property>
2304 <property name="label" translatable="yes">gtk-ok</property>
2305 <property name="use_stock">True</property>
2306 <property name="response_id">-5</property>
2307 </widget>
2308 <packing>
2309 <property name="position">1</property>
2310 </packing>
2311 </child>
2312 </widget>
2313 <packing>
2314 <property name="expand">False</property>
2315 <property name="pack_type">GTK_PACK_END</property>
2316 </packing>
2317 </child>
2318 </widget>
2319 </child>
2320 </widget>
2321 <widget class="GtkDialog" id="reset_dialog">
2322 <property name="border_width">5</property>
2323 <property name="title" translatable="yes">Reset Tree</property>
2324 <property name="window_position">GTK_WIN_POS_CENTER_ON_PARENT</property>
2325 <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
2326 <property name="has_separator">False</property>
2327 <child internal-child="vbox">
2328 <widget class="GtkVBox" id="dialog-vbox20">
2329 <property name="visible">True</property>
2330 <property name="spacing">2</property>
2331 <child>
2332 <widget class="GtkFrame" id="frame24">
2333 <property name="visible">True</property>
2334 <property name="label_xalign">0</property>
2335 <property name="shadow_type">GTK_SHADOW_NONE</property>
2336 <child>
2337 <widget class="GtkAlignment" id="alignment24">
2338 <property name="visible">True</property>
2339 <property name="left_padding">12</property>
2340 <child>
2341 <widget class="GtkVBox" id="vbox12">
2342 <property name="visible">True</property>
2343 <child>
2344 <widget class="GtkRadioButton" id="reset_previous_radio">
2345 <property name="visible">True</property>
2346 <property name="can_focus">True</property>
2347 <property name="label" translatable="yes">Previous commit</property>
2348 <property name="response_id">0</property>
2349 <property name="active">True</property>
2350 <property name="draw_indicator">True</property>
2351 </widget>
2352 </child>
2353 <child>
2354 <widget class="GtkHBox" id="hbox5">
2355 <property name="visible">True</property>
2356 <child>
2357 <widget class="GtkRadioButton" id="reset_revision_radio">
2358 <property name="visible">True</property>
2359 <property name="can_focus">True</property>
2360 <property name="label" translatable="yes">Revision:</property>
2361 <property name="response_id">0</property>
2362 <property name="active">True</property>
2363 <property name="draw_indicator">True</property>
2364 <property name="group">reset_previous_radio</property>
2365 </widget>
2366 <packing>
2367 <property name="expand">False</property>
2368 <property name="fill">False</property>
2369 </packing>
2370 </child>
2371 <child>
2372 <widget class="GtkEntry" id="reset_revision_entry">
2373 <property name="visible">True</property>
2374 <property name="sensitive">False</property>
2375 <property name="can_focus">True</property>
2376 <property name="width_chars">40</property>
2377 </widget>
2378 <packing>
2379 <property name="expand">False</property>
2380 <property name="fill">False</property>
2381 <property name="position">1</property>
2382 </packing>
2383 </child>
2384 </widget>
2385 <packing>
2386 <property name="position">1</property>
2387 </packing>
2388 </child>
2389 </widget>
2390 </child>
2391 </widget>
2392 </child>
2393 <child>
2394 <widget class="GtkLabel" id="label25">
2395 <property name="visible">True</property>
2396 <property name="label" translatable="yes">&lt;b&gt;Reset to:&lt;/b&gt;</property>
2397 <property name="use_markup">True</property>
2398 </widget>
2399 <packing>
2400 <property name="type">label_item</property>
2401 </packing>
2402 </child>
2403 </widget>
2404 <packing>
2405 <property name="expand">False</property>
2406 <property name="position">1</property>
2407 </packing>
2408 </child>
2409 <child>
2410 <widget class="GtkFrame" id="frame23">
2411 <property name="visible">True</property>
2412 <property name="label_xalign">0</property>
2413 <property name="shadow_type">GTK_SHADOW_NONE</property>
2414 <child>
2415 <widget class="GtkAlignment" id="alignment23">
2416 <property name="visible">True</property>
2417 <property name="left_padding">12</property>
2418 <child>
2419 <widget class="GtkVBox" id="vbox13">
2420 <property name="visible">True</property>
2421 <child>
2422 <widget class="GtkRadioButton" id="reset_mixed_radio">
2423 <property name="visible">True</property>
2424 <property name="can_focus">True</property>
2425 <property name="label" translatable="yes">Mixed</property>
2426 <property name="response_id">0</property>
2427 <property name="active">True</property>
2428 <property name="draw_indicator">True</property>
2429 </widget>
2430 <packing>
2431 <property name="expand">False</property>
2432 </packing>
2433 </child>
2434 <child>
2435 <widget class="GtkRadioButton" id="reset_soft_radio">
2436 <property name="visible">True</property>
2437 <property name="can_focus">True</property>
2438 <property name="label" translatable="yes">Soft</property>
2439 <property name="response_id">0</property>
2440 <property name="active">True</property>
2441 <property name="draw_indicator">True</property>
2442 <property name="group">reset_hard_radio</property>
2443 </widget>
2444 <packing>
2445 <property name="expand">False</property>
2446 <property name="position">1</property>
2447 </packing>
2448 </child>
2449 <child>
2450 <widget class="GtkRadioButton" id="reset_hard_radio">
2451 <property name="visible">True</property>
2452 <property name="can_focus">True</property>
2453 <property name="label" translatable="yes">Hard</property>
2454 <property name="response_id">0</property>
2455 <property name="active">True</property>
2456 <property name="draw_indicator">True</property>
2457 <property name="group">reset_mixed_radio</property>
2458 </widget>
2459 <packing>
2460 <property name="expand">False</property>
2461 <property name="position">2</property>
2462 </packing>
2463 </child>
2464 </widget>
2465 </child>
2466 </widget>
2467 </child>
2468 <child>
2469 <widget class="GtkLabel" id="label24">
2470 <property name="visible">True</property>
2471 <property name="label" translatable="yes">&lt;b&gt;Mode:&lt;/b&gt;</property>
2472 <property name="use_markup">True</property>
2473 </widget>
2474 <packing>
2475 <property name="type">label_item</property>
2476 </packing>
2477 </child>
2478 </widget>
2479 <packing>
2480 <property name="expand">False</property>
2481 <property name="position">2</property>
2482 </packing>
2483 </child>
2484 <child internal-child="action_area">
2485 <widget class="GtkHButtonBox" id="dialog-action_area20">
2486 <property name="visible">True</property>
2487 <property name="layout_style">GTK_BUTTONBOX_END</property>
2488 <child>
2489 <widget class="GtkButton" id="button15">
2490 <property name="visible">True</property>
2491 <property name="can_focus">True</property>
2492 <property name="receives_default">True</property>
2493 <property name="label" translatable="yes">gtk-cancel</property>
2494 <property name="use_stock">True</property>
2495 <property name="response_id">-6</property>
2496 </widget>
2497 </child>
2498 <child>
2499 <widget class="GtkButton" id="button16">
2500 <property name="visible">True</property>
2501 <property name="can_focus">True</property>
2502 <property name="receives_default">True</property>
2503 <property name="label" translatable="yes">gtk-ok</property>
2504 <property name="use_stock">True</property>
2505 <property name="response_id">-5</property>
2506 </widget>
2507 <packing>
2508 <property name="position">1</property>
2509 </packing>
2510 </child>
2511 </widget>
2512 <packing>
2513 <property name="expand">False</property>
2514 <property name="pack_type">GTK_PACK_END</property>
2515 </packing>
2516 </child>
2517 </widget>
2518 </child>
2519 </widget>
2520 <widget class="GtkDialog" id="revert_dialog">
2521 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2522 <property name="border_width">5</property>
2523 <property name="title" translatable="yes">Revert Commit</property>
2524 <property name="window_position">GTK_WIN_POS_CENTER_ON_PARENT</property>
2525 <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
2526 <property name="has_separator">False</property>
2527 <child internal-child="vbox">
2528 <widget class="GtkVBox" id="dialog-vbox22">
2529 <property name="visible">True</property>
2530 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2531 <property name="spacing">2</property>
2532 <child>
2533 <widget class="GtkVBox" id="vbox14">
2534 <property name="visible">True</property>
2535 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2536 <property name="spacing">2</property>
2537 <child>
2538 <widget class="GtkFrame" id="frame25">
2539 <property name="visible">True</property>
2540 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2541 <property name="label_xalign">0</property>
2542 <property name="shadow_type">GTK_SHADOW_NONE</property>
2543 <child>
2544 <widget class="GtkAlignment" id="alignment25">
2545 <property name="visible">True</property>
2546 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2547 <property name="left_padding">12</property>
2548 <child>
2549 <widget class="GtkEntry" id="revert_revision_entry">
2550 <property name="visible">True</property>
2551 <property name="can_focus">True</property>
2552 <property name="width_chars">40</property>
2553 </widget>
2554 </child>
2555 </widget>
2556 </child>
2557 <child>
2558 <widget class="GtkLabel" id="label26">
2559 <property name="visible">True</property>
2560 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2561 <property name="label" translatable="yes">&lt;b&gt;Commit to revert:&lt;/b&gt;</property>
2562 <property name="use_markup">True</property>
2563 </widget>
2564 <packing>
2565 <property name="type">label_item</property>
2566 </packing>
2567 </child>
2568 </widget>
2569 <packing>
2570 <property name="expand">False</property>
2571 </packing>
2572 </child>
2573 <child>
2574 <widget class="GtkFrame" id="frame26">
2575 <property name="visible">True</property>
2576 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2577 <property name="label_xalign">0</property>
2578 <property name="shadow_type">GTK_SHADOW_NONE</property>
2579 <child>
2580 <widget class="GtkAlignment" id="alignment26">
2581 <property name="visible">True</property>
2582 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2583 <property name="left_padding">12</property>
2584 <child>
2585 <widget class="GtkCheckButton" id="revert_no_commit_check">
2586 <property name="visible">True</property>
2587 <property name="can_focus">True</property>
2588 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2589 <property name="label" translatable="yes">Do not commit</property>
2590 <property name="response_id">0</property>
2591 <property name="draw_indicator">True</property>
2592 </widget>
2593 </child>
2594 </widget>
2595 </child>
2596 <child>
2597 <widget class="GtkLabel" id="label27">
2598 <property name="visible">True</property>
2599 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2600 <property name="label" translatable="yes">&lt;b&gt;Options:&lt;/b&gt;</property>
2601 <property name="use_markup">True</property>
2602 </widget>
2603 <packing>
2604 <property name="type">label_item</property>
2605 </packing>
2606 </child>
2607 </widget>
2608 <packing>
2609 <property name="expand">False</property>
2610 <property name="position">1</property>
2611 </packing>
2612 </child>
2613 </widget>
2614 <packing>
2615 <property name="position">1</property>
2616 </packing>
2617 </child>
2618 <child internal-child="action_area">
2619 <widget class="GtkHButtonBox" id="dialog-action_area22">
2620 <property name="visible">True</property>
2621 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2622 <property name="layout_style">GTK_BUTTONBOX_END</property>
2623 <child>
2624 <widget class="GtkButton" id="button17">
2625 <property name="visible">True</property>
2626 <property name="can_focus">True</property>
2627 <property name="receives_default">True</property>
2628 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2629 <property name="label" translatable="yes">gtk-cancel</property>
2630 <property name="use_stock">True</property>
2631 <property name="response_id">-6</property>
2632 </widget>
2633 </child>
2634 <child>
2635 <widget class="GtkButton" id="button18">
2636 <property name="visible">True</property>
2637 <property name="can_focus">True</property>
2638 <property name="receives_default">True</property>
2639 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2640 <property name="label" translatable="yes">gtk-ok</property>
2641 <property name="use_stock">True</property>
2642 <property name="response_id">-5</property>
2643 </widget>
2644 <packing>
2645 <property name="position">1</property>
2646 </packing>
2647 </child>
2648 </widget>
2649 <packing>
2650 <property name="expand">False</property>
2651 <property name="pack_type">GTK_PACK_END</property>
2652 </packing>
2653 </child>
2654 </widget>
2655 </child>
2656 </widget>
2657 <widget class="GtkDialog" id="rebase_dialog">
2658 <property name="border_width">5</property>
2659 <property name="title" translatable="yes">Rebase</property>
2660 <property name="window_position">GTK_WIN_POS_CENTER_ON_PARENT</property>
2661 <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
2662 <property name="has_separator">False</property>
2663 <child internal-child="vbox">
2664 <widget class="GtkVBox" id="dialog-vbox24">
2665 <property name="visible">True</property>
2666 <property name="spacing">2</property>
2667 <child>
2668 <widget class="GtkFrame" id="frame27">
2669 <property name="width_request">250</property>
2670 <property name="visible">True</property>
2671 <property name="label_xalign">0</property>
2672 <property name="shadow_type">GTK_SHADOW_NONE</property>
2673 <child>
2674 <widget class="GtkAlignment" id="alignment27">
2675 <property name="visible">True</property>
2676 <property name="left_padding">12</property>
2677 <child>
2678 <widget class="GtkComboBox" id="rebase_branch_combo">
2679 <property name="visible">True</property>
2680 </widget>
2681 </child>
2682 </widget>
2683 </child>
2684 <child>
2685 <widget class="GtkLabel" id="label28">
2686 <property name="visible">True</property>
2687 <property name="label" translatable="yes">&lt;b&gt;Remote branch to rebase from:&lt;/b&gt;</property>
2688 <property name="use_markup">True</property>
2689 </widget>
2690 <packing>
2691 <property name="type">label_item</property>
2692 </packing>
2693 </child>
2694 </widget>
2695 <packing>
2696 <property name="expand">False</property>
2697 <property name="position">1</property>
2698 </packing>
2699 </child>
2700 <child internal-child="action_area">
2701 <widget class="GtkHButtonBox" id="dialog-action_area24">
2702 <property name="visible">True</property>
2703 <property name="layout_style">GTK_BUTTONBOX_END</property>
2704 <child>
2705 <widget class="GtkButton" id="button21">
2706 <property name="visible">True</property>
2707 <property name="can_focus">True</property>
2708 <property name="receives_default">True</property>
2709 <property name="label" translatable="yes">gtk-cancel</property>
2710 <property name="use_stock">True</property>
2711 <property name="response_id">-6</property>
2712 </widget>
2713 </child>
2714 <child>
2715 <widget class="GtkButton" id="button22">
2716 <property name="visible">True</property>
2717 <property name="can_focus">True</property>
2718 <property name="receives_default">True</property>
2719 <property name="label" translatable="yes">gtk-ok</property>
2720 <property name="use_stock">True</property>
2721 <property name="response_id">-5</property>
2722 </widget>
2723 <packing>
2724 <property name="position">1</property>
2725 </packing>
2726 </child>
2727 </widget>
2728 <packing>
2729 <property name="expand">False</property>
2730 <property name="pack_type">GTK_PACK_END</property>
2731 </packing>
2732 </child>
2733 </widget>
2734 </child>
2735 </widget>
2736 <widget class="GtkDialog" id="bisect_start_dialog">
2737 <property name="border_width">5</property>
2738 <property name="title" translatable="yes">Delete Branch</property>
2739 <property name="window_position">GTK_WIN_POS_CENTER_ON_PARENT</property>
2740 <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
2741 <property name="has_separator">False</property>
2742 <child internal-child="vbox">
2743 <widget class="GtkVBox" id="dialog-vbox26">
2744 <property name="visible">True</property>
2745 <property name="spacing">2</property>
2746 <child>
2747 <widget class="GtkFrame" id="frame28">
2748 <property name="visible">True</property>
2749 <property name="label_xalign">0</property>
2750 <property name="shadow_type">GTK_SHADOW_NONE</property>
2751 <child>
2752 <widget class="GtkAlignment" id="alignment29">
2753 <property name="visible">True</property>
2754 <property name="left_padding">12</property>
2755 <child>
2756 <widget class="GtkVBox" id="vbox17">
2757 <property name="visible">True</property>
2758 <child>
2759 <widget class="GtkRadioButton" id="bisect_start_head_radio">
2760 <property name="visible">True</property>
2761 <property name="can_focus">True</property>
2762 <property name="label" translatable="yes">Head</property>
2763 <property name="response_id">0</property>
2764 <property name="active">True</property>
2765 <property name="draw_indicator">True</property>
2766 </widget>
2767 </child>
2768 <child>
2769 <widget class="GtkHBox" id="hbox6">
2770 <property name="visible">True</property>
2771 <child>
2772 <widget class="GtkRadioButton" id="bisect_start_revision_radio">
2773 <property name="visible">True</property>
2774 <property name="can_focus">True</property>
2775 <property name="label" translatable="yes">Revision:</property>
2776 <property name="response_id">0</property>
2777 <property name="active">True</property>
2778 <property name="draw_indicator">True</property>
2779 <property name="group">bisect_start_head_radio</property>
2780 </widget>
2781 </child>
2782 <child>
2783 <widget class="GtkEntry" id="bisect_start_bad_revision_entry">
2784 <property name="visible">True</property>
2785 <property name="sensitive">False</property>
2786 <property name="can_focus">True</property>
2787 <property name="width_chars">40</property>
2788 </widget>
2789 <packing>
2790 <property name="position">1</property>
2791 </packing>
2792 </child>
2793 </widget>
2794 <packing>
2795 <property name="position">1</property>
2796 </packing>
2797 </child>
2798 </widget>
2799 </child>
2800 </widget>
2801 </child>
2802 <child>
2803 <widget class="GtkLabel" id="label35">
2804 <property name="visible">True</property>
2805 <property name="label" translatable="yes">&lt;b&gt;Bad revision:&lt;/b&gt;</property>
2806 <property name="use_markup">True</property>
2807 </widget>
2808 <packing>
2809 <property name="type">label_item</property>
2810 </packing>
2811 </child>
2812 </widget>
2813 <packing>
2814 <property name="expand">False</property>
2815 <property name="fill">False</property>
2816 <property name="position">1</property>
2817 </packing>
2818 </child>
2819 <child>
2820 <widget class="GtkFrame" id="frame29">
2821 <property name="visible">True</property>
2822 <property name="label_xalign">0</property>
2823 <property name="shadow_type">GTK_SHADOW_NONE</property>
2824 <child>
2825 <widget class="GtkAlignment" id="alignment31">
2826 <property name="visible">True</property>
2827 <property name="left_padding">12</property>
2828 <child>
2829 <widget class="GtkEntry" id="bisect_start_good_revision_entry">
2830 <property name="visible">True</property>
2831 <property name="can_focus">True</property>
2832 <property name="width_chars">40</property>
2833 </widget>
2834 </child>
2835 </widget>
2836 </child>
2837 <child>
2838 <widget class="GtkLabel" id="label36">
2839 <property name="visible">True</property>
2840 <property name="label" translatable="yes">&lt;b&gt;Good revision:&lt;/b&gt;</property>
2841 <property name="use_markup">True</property>
2842 </widget>
2843 <packing>
2844 <property name="type">label_item</property>
2845 </packing>
2846 </child>
2847 </widget>
2848 <packing>
2849 <property name="expand">False</property>
2850 <property name="fill">False</property>
2851 <property name="position">2</property>
2852 </packing>
2853 </child>
2854 <child internal-child="action_area">
2855 <widget class="GtkHButtonBox" id="dialog-action_area26">
2856 <property name="visible">True</property>
2857 <property name="layout_style">GTK_BUTTONBOX_END</property>
2858 <child>
2859 <widget class="GtkButton" id="button23">
2860 <property name="visible">True</property>
2861 <property name="can_focus">True</property>
2862 <property name="receives_default">True</property>
2863 <property name="label" translatable="yes">gtk-cancel</property>
2864 <property name="use_stock">True</property>
2865 <property name="response_id">-6</property>
2866 </widget>
2867 </child>
2868 <child>
2869 <widget class="GtkButton" id="button24">
2870 <property name="visible">True</property>
2871 <property name="can_focus">True</property>
2872 <property name="receives_default">True</property>
2873 <property name="label" translatable="yes">gtk-ok</property>
2874 <property name="use_stock">True</property>
2875 <property name="response_id">-5</property>
2876 </widget>
2877 <packing>
2878 <property name="position">1</property>
2879 </packing>
2880 </child>
2881 </widget>
2882 <packing>
2883 <property name="expand">False</property>
2884 <property name="pack_type">GTK_PACK_END</property>
2885 </packing>
2886 </child>
2887 </widget>
2888 </child>
2889 </widget>
2890 <widget class="GtkDialog" id="ignore_dialog">
2891 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2892 <property name="border_width">5</property>
2893 <property name="title" translatable="yes">Ignore Files</property>
2894 <property name="window_position">GTK_WIN_POS_CENTER_ON_PARENT</property>
2895 <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
2896 <property name="has_separator">False</property>
2897 <child internal-child="vbox">
2898 <widget class="GtkVBox" id="dialog-vbox28">
2899 <property name="visible">True</property>
2900 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2901 <property name="spacing">2</property>
2902 <child>
2903 <widget class="GtkVBox" id="vbox18">
2904 <property name="visible">True</property>
2905 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2906 <property name="spacing">5</property>
2907 <child>
2908 <widget class="GtkFrame" id="frame31">
2909 <property name="visible">True</property>
2910 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2911 <property name="label_xalign">0</property>
2912 <property name="shadow_type">GTK_SHADOW_NONE</property>
2913 <child>
2914 <widget class="GtkAlignment" id="alignment33">
2915 <property name="visible">True</property>
2916 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2917 <property name="left_padding">12</property>
2918 <child>
2919 <widget class="GtkScrolledWindow" id="scrolledwindow7">
2920 <property name="visible">True</property>
2921 <property name="can_focus">True</property>
2922 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2923 <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
2924 <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
2925 <property name="shadow_type">GTK_SHADOW_IN</property>
2926 <child>
2927 <widget class="AnjutaVcsStatusTreeView" id="ignore_status_view">
2928 <property name="width_request">600</property>
2929 <property name="height_request">250</property>
2930 <property name="visible">True</property>
2931 <property name="can_focus">True</property>
2932 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2933 <property name="headers_visible">False</property>
2934 <property name="search_column">0</property>
2935 <property name="status_codes">ANJUTA_VCS_STATUS_UNVERSIONED</property>
2936 <property name="show_status">False</property>
2937 </widget>
2938 </child>
2939 </widget>
2940 </child>
2941 </widget>
2942 </child>
2943 <child>
2944 <widget class="GtkLabel" id="label39">
2945 <property name="visible">True</property>
2946 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2947 <property name="label" translatable="yes">&lt;b&gt;Select Files to Ignore:&lt;/b&gt;</property>
2948 <property name="use_markup">True</property>
2949 </widget>
2950 <packing>
2951 <property name="type">label_item</property>
2952 </packing>
2953 </child>
2954 </widget>
2955 </child>
2956 <child>
2957 <widget class="GtkProgressBar" id="ignore_status_progress_bar">
2958 <property name="visible">True</property>
2959 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2960 <property name="activity_mode">True</property>
2961 <property name="show_text">True</property>
2962 <property name="text" translatable="yes">Retrieving status...</property>
2963 </widget>
2964 <packing>
2965 <property name="fill">False</property>
2966 <property name="position">1</property>
2967 </packing>
2968 </child>
2969 <child>
2970 <widget class="GtkHButtonBox" id="hbuttonbox4">
2971 <property name="visible">True</property>
2972 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2973 <property name="spacing">2</property>
2974 <property name="layout_style">GTK_BUTTONBOX_START</property>
2975 <child>
2976 <widget class="GtkButton" id="ignore_select_all_button">
2977 <property name="visible">True</property>
2978 <property name="can_focus">True</property>
2979 <property name="receives_default">True</property>
2980 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2981 <property name="label">gtk-select-all</property>
2982 <property name="use_stock">True</property>
2983 <property name="response_id">0</property>
2984 </widget>
2985 </child>
2986 <child>
2987 <widget class="GtkButton" id="ignore_clear_button">
2988 <property name="visible">True</property>
2989 <property name="can_focus">True</property>
2990 <property name="receives_default">True</property>
2991 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2992 <property name="label">gtk-clear</property>
2993 <property name="use_stock">True</property>
2994 <property name="response_id">0</property>
2995 </widget>
2996 <packing>
2997 <property name="position">1</property>
2998 </packing>
2999 </child>
3000 </widget>
3001 <packing>
3002 <property name="expand">False</property>
3003 <property name="position">2</property>
3004 </packing>
3005 </child>
3006 </widget>
3007 <packing>
3008 <property name="position">1</property>
3009 </packing>
3010 </child>
3011 <child internal-child="action_area">
3012 <widget class="GtkHButtonBox" id="dialog-action_area28">
3013 <property name="visible">True</property>
3014 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
3015 <property name="layout_style">GTK_BUTTONBOX_END</property>
3016 <child>
3017 <widget class="GtkButton" id="revert_cancel_button1">
3018 <property name="visible">True</property>
3019 <property name="can_focus">True</property>
3020 <property name="receives_default">True</property>
3021 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
3022 <property name="label">gtk-cancel</property>
3023 <property name="use_stock">True</property>
3024 <property name="response_id">-6</property>
3025 </widget>
3026 </child>
3027 <child>
3028 <widget class="GtkButton" id="revert_ok_button1">
3029 <property name="visible">True</property>
3030 <property name="can_focus">True</property>
3031 <property name="receives_default">True</property>
3032 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
3033 <property name="label">gtk-ok</property>
3034 <property name="use_stock">True</property>
3035 <property name="response_id">-5</property>
3036 </widget>
3037 <packing>
3038 <property name="position">1</property>
3039 </packing>
3040 </child>
3041 </widget>
3042 <packing>
3043 <property name="expand">False</property>
3044 <property name="pack_type">GTK_PACK_END</property>
3045 </packing>
3046 </child>
3047 </widget>
3048 </child>
3049 </widget>
3050 </glade-interface>
Anjuta IDE Git Plugin Development Tree