1 <?xml version=
"1.0" encoding=
"UTF-8"?>
3 <!-- interface-requires gtk+ 3.0 -->
4 <object class=
"GtkDialog" id=
"SolverSuccessDialog">
5 <property name=
"can_focus">False
</property>
6 <property name=
"border_width">6</property>
7 <property name=
"title" translatable=
"yes">Solving Result
</property>
8 <property name=
"type_hint">dialog
</property>
9 <child internal-child=
"vbox">
10 <object class=
"GtkBox" id=
"dialog-vbox1">
11 <property name=
"can_focus">False
</property>
12 <property name=
"orientation">vertical
</property>
13 <property name=
"spacing">12</property>
15 <object class=
"GtkGrid" id=
"grid1">
16 <property name=
"visible">True
</property>
17 <property name=
"can_focus">False
</property>
18 <property name=
"row_spacing">24</property>
20 <object class=
"GtkLabel" id=
"label1">
21 <property name=
"visible">True
</property>
22 <property name=
"can_focus">False
</property>
23 <property name=
"xalign">0</property>
24 <property name=
"label" translatable=
"yes">Do you want to keep the result or do you want to restore previous values?
</property>
25 <property name=
"wrap">True
</property>
26 <property name=
"max_width_chars">40</property>
29 <property name=
"left_attach">0</property>
30 <property name=
"top_attach">2</property>
31 <property name=
"width">1</property>
32 <property name=
"height">1</property>
36 <object class=
"GtkLabel" id=
"label2">
37 <property name=
"visible">True
</property>
38 <property name=
"can_focus">False
</property>
39 <property name=
"xalign">0</property>
40 <property name=
"label" translatable=
"yes">Solving successfully finished.
</property>
43 <property name=
"left_attach">0</property>
44 <property name=
"top_attach">0</property>
45 <property name=
"width">1</property>
46 <property name=
"height">1</property>
50 <object class=
"GtkLabel" id=
"result">
51 <property name=
"visible">True
</property>
52 <property name=
"can_focus">False
</property>
53 <property name=
"xalign">0</property>
54 <property name=
"label" translatable=
"yes">Result:
</property>
57 <property name=
"left_attach">0</property>
58 <property name=
"top_attach">1</property>
59 <property name=
"width">1</property>
60 <property name=
"height">1</property>
65 <property name=
"expand">False
</property>
66 <property name=
"fill">True
</property>
67 <property name=
"position">0</property>
70 <child internal-child=
"action_area">
71 <object class=
"GtkButtonBox" id=
"dialog-action_area1">
72 <property name=
"can_focus">False
</property>
73 <property name=
"layout_style">end
</property>
75 <object class=
"GtkButton" id=
"ok">
76 <property name=
"label" translatable=
"yes">Keep Result
</property>
77 <property name=
"visible">True
</property>
78 <property name=
"can_focus">True
</property>
79 <property name=
"can_default">True
</property>
80 <property name=
"has_default">True
</property>
81 <property name=
"receives_default">True
</property>
82 <property name=
"use_underline">True
</property>
85 <property name=
"expand">False
</property>
86 <property name=
"fill">True
</property>
87 <property name=
"position">0</property>
91 <object class=
"GtkButton" id=
"cancel">
92 <property name=
"label" translatable=
"yes">Restore Previous
</property>
93 <property name=
"visible">True
</property>
94 <property name=
"can_focus">True
</property>
95 <property name=
"receives_default">True
</property>
96 <property name=
"use_underline">True
</property>
99 <property name=
"expand">False
</property>
100 <property name=
"fill">True
</property>
101 <property name=
"position">1</property>
106 <property name=
"expand">False
</property>
107 <property name=
"fill">True
</property>
108 <property name=
"pack_type">end
</property>
109 <property name=
"position">2</property>
115 <action-widget response=
"0">ok
</action-widget>
116 <action-widget response=
"0">cancel
</action-widget>