solverprogressdialog.ui 3.8 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990
  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>
  16. <child>
  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>
  22. <child>
  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>
  28. </object>
  29. <packing>
  30. <property name="left_attach">0</property>
  31. <property name="top_attach">0</property>
  32. </packing>
  33. </child>
  34. <child>
  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>
  40. </object>
  41. <packing>
  42. <property name="left_attach">0</property>
  43. <property name="top_attach">1</property>
  44. </packing>
  45. </child>
  46. </object>
  47. <packing>
  48. <property name="expand">False</property>
  49. <property name="fill">True</property>
  50. <property name="position">0</property>
  51. </packing>
  52. </child>
  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>
  57. <child>
  58. <object class="GtkButton" id="ok">
  59. <property name="label">gtk-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>
  67. <property name="use_stock">True</property>
  68. </object>
  69. <packing>
  70. <property name="expand">False</property>
  71. <property name="fill">True</property>
  72. <property name="position">0</property>
  73. </packing>
  74. </child>
  75. </object>
  76. <packing>
  77. <property name="expand">False</property>
  78. <property name="fill">True</property>
  79. <property name="pack_type">end</property>
  80. <property name="position">2</property>
  81. </packing>
  82. </child>
  83. </object>
  84. </child>
  85. <action-widgets>
  86. <action-widget response="-5">ok</action-widget>
  87. </action-widgets>
  88. </object>
  89. </interface>