1 <?xml version=
"1.0" encoding=
"UTF-8"?>
2 <!-- Generated with glade 3.18.3 -->
4 <requires lib=
"gtk+" version=
"3.0"/>
5 <object class=
"GtkDialog" id=
"SolverProgressDialog">
6 <property name=
"can_focus">False
</property>
7 <property name=
"border_width">6</property>
8 <property name=
"title" translatable=
"yes">Solving...
</property>
9 <property name=
"resizable">False
</property>
10 <property name=
"type_hint">dialog
</property>
11 <child internal-child=
"vbox">
12 <object class=
"GtkBox" id=
"dialog-vbox1">
13 <property name=
"can_focus">False
</property>
14 <property name=
"orientation">vertical
</property>
15 <property name=
"spacing">12</property>
17 <object class=
"GtkGrid" id=
"grid1">
18 <property name=
"visible">True
</property>
19 <property name=
"can_focus">False
</property>
20 <property name=
"row_spacing">24</property>
22 <object class=
"GtkLabel" id=
"label2">
23 <property name=
"visible">True
</property>
24 <property name=
"can_focus">False
</property>
25 <property name=
"xalign">0</property>
26 <property name=
"label" translatable=
"yes">Solving in progress...
</property>
29 <property name=
"left_attach">0</property>
30 <property name=
"top_attach">0</property>
34 <object class=
"GtkLabel" id=
"progress">
35 <property name=
"visible">True
</property>
36 <property name=
"can_focus">False
</property>
37 <property name=
"xalign">0</property>
38 <property name=
"label" translatable=
"yes">(time limit # seconds)
</property>
41 <property name=
"left_attach">0</property>
42 <property name=
"top_attach">1</property>
47 <property name=
"expand">False
</property>
48 <property name=
"fill">True
</property>
49 <property name=
"position">0</property>
52 <child internal-child=
"action_area">
53 <object class=
"GtkButtonBox" id=
"dialog-action_area1">
54 <property name=
"can_focus">False
</property>
55 <property name=
"layout_style">end
</property>
57 <object class=
"GtkButton" id=
"ok">
58 <property name=
"label">gtk-ok
</property>
59 <property name=
"visible">True
</property>
60 <property name=
"sensitive">False
</property>
61 <property name=
"can_focus">True
</property>
62 <property name=
"can_default">True
</property>
63 <property name=
"has_default">True
</property>
64 <property name=
"receives_default">True
</property>
65 <property name=
"use_underline">True
</property>
66 <property name=
"use_stock">True
</property>
69 <property name=
"expand">False
</property>
70 <property name=
"fill">True
</property>
71 <property name=
"position">0</property>
76 <property name=
"expand">False
</property>
77 <property name=
"fill">True
</property>
78 <property name=
"pack_type">end
</property>
79 <property name=
"position">2</property>
85 <action-widget response=
"0">ok
</action-widget>