1 <?xml version=
"1.0" encoding=
"UTF-8"?>
2 <!-- Generated with glade 3.18.3 -->
3 <interface domain=
"sc">
4 <requires lib=
"gtk+" version=
"3.20"/>
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" context=
"solverprogressdialog|SolverProgressDialog">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 <!-- n-columns=1 n-rows=1 -->
18 <object class=
"GtkGrid" id=
"grid1">
19 <property name=
"visible">True
</property>
20 <property name=
"can_focus">False
</property>
21 <property name=
"row_spacing">24</property>
23 <object class=
"GtkLabel" id=
"label2">
24 <property name=
"visible">True
</property>
25 <property name=
"can_focus">False
</property>
26 <property name=
"xalign">0</property>
27 <property name=
"label" translatable=
"yes" context=
"solverprogressdialog|label2">Solving in progress...
</property>
30 <property name=
"left_attach">0</property>
31 <property name=
"top_attach">0</property>
35 <object class=
"GtkLabel" id=
"progress">
36 <property name=
"visible">True
</property>
37 <property name=
"can_focus">False
</property>
38 <property name=
"xalign">0</property>
39 <property name=
"label" translatable=
"yes" context=
"solverprogressdialog|progress">(time limit # seconds)
</property>
42 <property name=
"left_attach">0</property>
43 <property name=
"top_attach">1</property>
48 <property name=
"expand">False
</property>
49 <property name=
"fill">True
</property>
50 <property name=
"position">0</property>
53 <child internal-child=
"action_area">
54 <object class=
"GtkButtonBox" id=
"dialog-action_area1">
55 <property name=
"can_focus">False
</property>
56 <property name=
"layout_style">end
</property>
58 <object class=
"GtkButton" id=
"ok">
59 <property name=
"label" translatable=
"yes" context=
"stock">_OK
</property>
60 <property name=
"visible">True
</property>
61 <property name=
"sensitive">False
</property>
62 <property name=
"can_focus">True
</property>
63 <property name=
"can_default">True
</property>
64 <property name=
"has_default">True
</property>
65 <property name=
"receives_default">True
</property>
66 <property name=
"use_underline">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=
"-5">ok
</action-widget>