errordialog.glade 7.2 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204
  1. <?xml version="1.0" standalone="no"?> <!--*- mode: xml -*-->
  2. <!DOCTYPE glade-interface SYSTEM "http://glade.gnome.org/glade-2.0.dtd">
  3. <glade-interface>
  4. <requires lib="gnome"/>
  5. <widget class="GtkDialog" id="ErrorDialog">
  6. <property name="border_width">6</property>
  7. <property name="visible">True</property>
  8. <property name="title" translatable="yes">Supertux-Editor Exception</property>
  9. <property name="type">GTK_WINDOW_TOPLEVEL</property>
  10. <property name="window_position">GTK_WIN_POS_NONE</property>
  11. <property name="modal">False</property>
  12. <property name="resizable">True</property>
  13. <property name="destroy_with_parent">False</property>
  14. <property name="decorated">True</property>
  15. <property name="skip_taskbar_hint">False</property>
  16. <property name="skip_pager_hint">False</property>
  17. <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
  18. <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
  19. <property name="has_separator">True</property>
  20. <child internal-child="vbox">
  21. <widget class="GtkVBox" id="dialog-vbox5">
  22. <property name="visible">True</property>
  23. <property name="homogeneous">False</property>
  24. <property name="spacing">0</property>
  25. <child internal-child="action_area">
  26. <widget class="GtkHButtonBox" id="dialog-action_area5">
  27. <property name="visible">True</property>
  28. <property name="layout_style">GTK_BUTTONBOX_END</property>
  29. <child>
  30. <widget class="GtkButton" id="okButton">
  31. <property name="visible">True</property>
  32. <property name="can_default">True</property>
  33. <property name="can_focus">True</property>
  34. <property name="label">gtk-ok</property>
  35. <property name="use_stock">True</property>
  36. <property name="relief">GTK_RELIEF_NORMAL</property>
  37. <property name="focus_on_click">True</property>
  38. <property name="response_id">-5</property>
  39. </widget>
  40. </child>
  41. </widget>
  42. <packing>
  43. <property name="padding">0</property>
  44. <property name="expand">False</property>
  45. <property name="fill">True</property>
  46. <property name="pack_type">GTK_PACK_END</property>
  47. </packing>
  48. </child>
  49. <child>
  50. <widget class="GtkHBox" id="hbox59">
  51. <property name="border_width">6</property>
  52. <property name="visible">True</property>
  53. <property name="homogeneous">False</property>
  54. <property name="spacing">6</property>
  55. <child>
  56. <widget class="GtkVBox" id="vbox72">
  57. <property name="visible">True</property>
  58. <property name="homogeneous">False</property>
  59. <property name="spacing">0</property>
  60. <child>
  61. <widget class="GtkImage" id="icon">
  62. <property name="visible">True</property>
  63. <property name="stock">gtk-dialog-error</property>
  64. <property name="icon_size">6</property>
  65. <property name="xalign">0.5</property>
  66. <property name="yalign">0.5</property>
  67. <property name="xpad">0</property>
  68. <property name="ypad">0</property>
  69. </widget>
  70. <packing>
  71. <property name="padding">0</property>
  72. <property name="expand">False</property>
  73. <property name="fill">False</property>
  74. </packing>
  75. </child>
  76. </widget>
  77. <packing>
  78. <property name="padding">0</property>
  79. <property name="expand">False</property>
  80. <property name="fill">False</property>
  81. </packing>
  82. </child>
  83. <child>
  84. <widget class="GtkVBox" id="vbox73">
  85. <property name="visible">True</property>
  86. <property name="homogeneous">False</property>
  87. <property name="spacing">12</property>
  88. <child>
  89. <widget class="GtkLabel" id="descriptionLabel">
  90. <property name="width_request">540</property>
  91. <property name="visible">True</property>
  92. <property name="label" translatable="yes">An exception has been thrown 1 2 3 4 5 6 7 8 9 10 11 12 13 14</property>
  93. <property name="use_underline">False</property>
  94. <property name="use_markup">False</property>
  95. <property name="justify">GTK_JUSTIFY_LEFT</property>
  96. <property name="wrap">True</property>
  97. <property name="selectable">False</property>
  98. <property name="xalign">0</property>
  99. <property name="yalign">0.5</property>
  100. <property name="xpad">0</property>
  101. <property name="ypad">0</property>
  102. </widget>
  103. <packing>
  104. <property name="padding">0</property>
  105. <property name="expand">False</property>
  106. <property name="fill">False</property>
  107. </packing>
  108. </child>
  109. <child>
  110. <widget class="GtkExpander" id="expander">
  111. <property name="visible">True</property>
  112. <property name="can_focus">True</property>
  113. <property name="expanded">False</property>
  114. <property name="spacing">0</property>
  115. <child>
  116. <widget class="GtkScrolledWindow" id="scrolledwindow10">
  117. <property name="visible">True</property>
  118. <property name="can_focus">True</property>
  119. <property name="hscrollbar_policy">GTK_POLICY_ALWAYS</property>
  120. <property name="vscrollbar_policy">GTK_POLICY_ALWAYS</property>
  121. <property name="shadow_type">GTK_SHADOW_IN</property>
  122. <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
  123. <child>
  124. <widget class="GtkTextView" id="detailsTextView">
  125. <property name="height_request">250</property>
  126. <property name="visible">True</property>
  127. <property name="can_focus">True</property>
  128. <property name="editable">True</property>
  129. <property name="overwrite">False</property>
  130. <property name="accepts_tab">True</property>
  131. <property name="justification">GTK_JUSTIFY_LEFT</property>
  132. <property name="wrap_mode">GTK_WRAP_NONE</property>
  133. <property name="cursor_visible">True</property>
  134. <property name="pixels_above_lines">2</property>
  135. <property name="pixels_below_lines">2</property>
  136. <property name="pixels_inside_wrap">0</property>
  137. <property name="left_margin">6</property>
  138. <property name="right_margin">6</property>
  139. <property name="indent">0</property>
  140. <property name="text" translatable="yes"></property>
  141. </widget>
  142. </child>
  143. </widget>
  144. </child>
  145. <child>
  146. <widget class="GtkLabel" id="label102">
  147. <property name="visible">True</property>
  148. <property name="label" translatable="yes">Details</property>
  149. <property name="use_underline">False</property>
  150. <property name="use_markup">False</property>
  151. <property name="justify">GTK_JUSTIFY_LEFT</property>
  152. <property name="wrap">False</property>
  153. <property name="selectable">False</property>
  154. <property name="xalign">0.5</property>
  155. <property name="yalign">0.5</property>
  156. <property name="xpad">0</property>
  157. <property name="ypad">0</property>
  158. </widget>
  159. <packing>
  160. <property name="type">label_item</property>
  161. </packing>
  162. </child>
  163. </widget>
  164. <packing>
  165. <property name="padding">0</property>
  166. <property name="expand">True</property>
  167. <property name="fill">True</property>
  168. </packing>
  169. </child>
  170. </widget>
  171. <packing>
  172. <property name="padding">0</property>
  173. <property name="expand">True</property>
  174. <property name="fill">True</property>
  175. </packing>
  176. </child>
  177. </widget>
  178. <packing>
  179. <property name="padding">0</property>
  180. <property name="expand">True</property>
  181. <property name="fill">True</property>
  182. </packing>
  183. </child>
  184. </widget>
  185. </child>
  186. </widget>
  187. </glade-interface>