| OLD | NEW |
| (Empty) |
| 1 <?xml version="1.0" standalone="no"?> <!--*- mode: xml -*--> | |
| 2 <!DOCTYPE glade-interface SYSTEM "http://glade.gnome.org/glade-2.0.dtd"> | |
| 3 | |
| 4 <glade-interface> | |
| 5 | |
| 6 <widget class="GtkWindow" id="manholeWindow"> | |
| 7 <property name="visible">True</property> | |
| 8 <property name="title" translatable="yes">Manhole</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="default_width">620</property> | |
| 13 <property name="default_height">320</property> | |
| 14 <property name="resizable">True</property> | |
| 15 <property name="destroy_with_parent">False</property> | |
| 16 <property name="decorated">True</property> | |
| 17 <property name="skip_taskbar_hint">False</property> | |
| 18 <property name="skip_pager_hint">False</property> | |
| 19 <property name="type_hint">GDK_WINDOW_TYPE_HINT_NORMAL</property> | |
| 20 <property name="gravity">GDK_GRAVITY_NORTH_WEST</property> | |
| 21 <signal name="delete_event" handler="_on_manholeWindow_delete_event" last_modi
fication_time="Mon, 27 Jan 2003 05:14:26 GMT"/> | |
| 22 | |
| 23 <child> | |
| 24 <widget class="GtkVBox" id="vbox1"> | |
| 25 <property name="visible">True</property> | |
| 26 <property name="homogeneous">False</property> | |
| 27 <property name="spacing">0</property> | |
| 28 | |
| 29 <child> | |
| 30 <widget class="GtkMenuBar" id="menubar1"> | |
| 31 <property name="visible">True</property> | |
| 32 | |
| 33 <child> | |
| 34 <widget class="GtkMenuItem" id="menuitem4"> | |
| 35 <property name="visible">True</property> | |
| 36 <property name="label" translatable="yes">_File</property> | |
| 37 <property name="use_underline">True</property> | |
| 38 | |
| 39 <child> | |
| 40 <widget class="GtkMenu" id="menuitem4_menu"> | |
| 41 | |
| 42 <child> | |
| 43 <widget class="GtkImageMenuItem" id="openMenuItem"> | |
| 44 <property name="visible">True</property> | |
| 45 <property name="label">gtk-open</property> | |
| 46 <property name="use_stock">True</property> | |
| 47 <signal name="activate" handler="_on_openMenuItem_activate
" last_modification_time="Sun, 02 Feb 2003 18:44:51 GMT"/> | |
| 48 </widget> | |
| 49 </child> | |
| 50 | |
| 51 <child> | |
| 52 <widget class="GtkImageMenuItem" id="reload_self"> | |
| 53 <property name="visible">True</property> | |
| 54 <property name="tooltip" translatable="yes">Reload the man
hole client code. (Only useful for client development.)</property> | |
| 55 <property name="label" translatable="yes">_Reload self</pr
operty> | |
| 56 <property name="use_underline">True</property> | |
| 57 <signal name="activate" handler="on_reload_self_activate"
last_modification_time="Mon, 24 Feb 2003 00:15:10 GMT"/> | |
| 58 | |
| 59 <child internal-child="image"> | |
| 60 <widget class="GtkImage" id="image1"> | |
| 61 <property name="visible">True</property> | |
| 62 <property name="stock">gtk-revert-to-saved</property> | |
| 63 <property name="icon_size">1</property> | |
| 64 <property name="xalign">0.5</property> | |
| 65 <property name="yalign">0.5</property> | |
| 66 <property name="xpad">0</property> | |
| 67 <property name="ypad">0</property> | |
| 68 </widget> | |
| 69 </child> | |
| 70 </widget> | |
| 71 </child> | |
| 72 | |
| 73 <child> | |
| 74 <widget class="GtkMenuItem" id="separatormenuitem1"> | |
| 75 <property name="visible">True</property> | |
| 76 </widget> | |
| 77 </child> | |
| 78 | |
| 79 <child> | |
| 80 <widget class="GtkImageMenuItem" id="quitMenuItem"> | |
| 81 <property name="visible">True</property> | |
| 82 <property name="label">gtk-quit</property> | |
| 83 <property name="use_stock">True</property> | |
| 84 <signal name="activate" handler="_on_quitMenuItem_activate
" last_modification_time="Sun, 02 Feb 2003 18:48:12 GMT"/> | |
| 85 </widget> | |
| 86 </child> | |
| 87 </widget> | |
| 88 </child> | |
| 89 </widget> | |
| 90 </child> | |
| 91 | |
| 92 <child> | |
| 93 <widget class="GtkMenuItem" id="menuitem5"> | |
| 94 <property name="visible">True</property> | |
| 95 <property name="label" translatable="yes">_Edit</property> | |
| 96 <property name="use_underline">True</property> | |
| 97 | |
| 98 <child> | |
| 99 <widget class="GtkMenu" id="menuitem5_menu"> | |
| 100 | |
| 101 <child> | |
| 102 <widget class="GtkImageMenuItem" id="cut1"> | |
| 103 <property name="visible">True</property> | |
| 104 <property name="label">gtk-cut</property> | |
| 105 <property name="use_stock">True</property> | |
| 106 <signal name="activate" handler="on_cut1_activate" last_mo
dification_time="Mon, 27 Jan 2003 04:50:50 GMT"/> | |
| 107 </widget> | |
| 108 </child> | |
| 109 | |
| 110 <child> | |
| 111 <widget class="GtkImageMenuItem" id="copy1"> | |
| 112 <property name="visible">True</property> | |
| 113 <property name="label">gtk-copy</property> | |
| 114 <property name="use_stock">True</property> | |
| 115 <signal name="activate" handler="on_copy1_activate" last_m
odification_time="Mon, 27 Jan 2003 04:50:50 GMT"/> | |
| 116 </widget> | |
| 117 </child> | |
| 118 | |
| 119 <child> | |
| 120 <widget class="GtkImageMenuItem" id="paste1"> | |
| 121 <property name="visible">True</property> | |
| 122 <property name="label">gtk-paste</property> | |
| 123 <property name="use_stock">True</property> | |
| 124 <signal name="activate" handler="on_paste1_activate" last_
modification_time="Mon, 27 Jan 2003 04:50:50 GMT"/> | |
| 125 </widget> | |
| 126 </child> | |
| 127 | |
| 128 <child> | |
| 129 <widget class="GtkImageMenuItem" id="delete1"> | |
| 130 <property name="visible">True</property> | |
| 131 <property name="label">gtk-delete</property> | |
| 132 <property name="use_stock">True</property> | |
| 133 <signal name="activate" handler="on_delete1_activate" last
_modification_time="Mon, 27 Jan 2003 04:50:50 GMT"/> | |
| 134 </widget> | |
| 135 </child> | |
| 136 </widget> | |
| 137 </child> | |
| 138 </widget> | |
| 139 </child> | |
| 140 | |
| 141 <child> | |
| 142 <widget class="GtkMenuItem" id="menuitem7"> | |
| 143 <property name="visible">True</property> | |
| 144 <property name="label" translatable="yes">_Help</property> | |
| 145 <property name="use_underline">True</property> | |
| 146 | |
| 147 <child> | |
| 148 <widget class="GtkMenu" id="menuitem7_menu"> | |
| 149 | |
| 150 <child> | |
| 151 <widget class="GtkMenuItem" id="aboutMenuItem"> | |
| 152 <property name="visible">True</property> | |
| 153 <property name="label" translatable="yes">_About</property
> | |
| 154 <property name="use_underline">True</property> | |
| 155 <signal name="activate" handler="_on_aboutMenuItem_activat
e" last_modification_time="Thu, 06 Feb 2003 19:49:53 GMT"/> | |
| 156 </widget> | |
| 157 </child> | |
| 158 </widget> | |
| 159 </child> | |
| 160 </widget> | |
| 161 </child> | |
| 162 </widget> | |
| 163 <packing> | |
| 164 <property name="padding">0</property> | |
| 165 <property name="expand">False</property> | |
| 166 <property name="fill">False</property> | |
| 167 </packing> | |
| 168 </child> | |
| 169 | |
| 170 <child> | |
| 171 <widget class="GtkVPaned" id="vpaned1"> | |
| 172 <property name="visible">True</property> | |
| 173 <property name="can_focus">True</property> | |
| 174 | |
| 175 <child> | |
| 176 <widget class="GtkScrolledWindow" id="scrolledwindow1"> | |
| 177 <property name="visible">True</property> | |
| 178 <property name="can_focus">True</property> | |
| 179 <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property> | |
| 180 <property name="vscrollbar_policy">GTK_POLICY_ALWAYS</property> | |
| 181 <property name="shadow_type">GTK_SHADOW_NONE</property> | |
| 182 <property name="window_placement">GTK_CORNER_TOP_LEFT</property> | |
| 183 | |
| 184 <child> | |
| 185 <widget class="GtkTextView" id="output"> | |
| 186 <property name="visible">True</property> | |
| 187 <property name="can_focus">True</property> | |
| 188 <property name="editable">False</property> | |
| 189 <property name="overwrite">False</property> | |
| 190 <property name="accepts_tab">True</property> | |
| 191 <property name="justification">GTK_JUSTIFY_LEFT</property> | |
| 192 <property name="wrap_mode">GTK_WRAP_WORD</property> | |
| 193 <property name="cursor_visible">True</property> | |
| 194 <property name="pixels_above_lines">0</property> | |
| 195 <property name="pixels_below_lines">0</property> | |
| 196 <property name="pixels_inside_wrap">0</property> | |
| 197 <property name="left_margin">0</property> | |
| 198 <property name="right_margin">0</property> | |
| 199 <property name="indent">0</property> | |
| 200 <property name="text" translatable="yes"></property> | |
| 201 </widget> | |
| 202 </child> | |
| 203 </widget> | |
| 204 <packing> | |
| 205 <property name="shrink">True</property> | |
| 206 <property name="resize">True</property> | |
| 207 </packing> | |
| 208 </child> | |
| 209 | |
| 210 <child> | |
| 211 <widget class="GtkScrolledWindow" id="scrolledwindow2"> | |
| 212 <property name="visible">True</property> | |
| 213 <property name="can_focus">True</property> | |
| 214 <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property> | |
| 215 <property name="vscrollbar_policy">GTK_POLICY_ALWAYS</property> | |
| 216 <property name="shadow_type">GTK_SHADOW_NONE</property> | |
| 217 <property name="window_placement">GTK_CORNER_TOP_LEFT</property> | |
| 218 | |
| 219 <child> | |
| 220 <widget class="GtkTextView" id="input"> | |
| 221 <property name="visible">True</property> | |
| 222 <property name="can_focus">True</property> | |
| 223 <property name="has_focus">True</property> | |
| 224 <property name="editable">True</property> | |
| 225 <property name="overwrite">False</property> | |
| 226 <property name="accepts_tab">True</property> | |
| 227 <property name="justification">GTK_JUSTIFY_LEFT</property> | |
| 228 <property name="wrap_mode">GTK_WRAP_NONE</property> | |
| 229 <property name="cursor_visible">True</property> | |
| 230 <property name="pixels_above_lines">0</property> | |
| 231 <property name="pixels_below_lines">0</property> | |
| 232 <property name="pixels_inside_wrap">0</property> | |
| 233 <property name="left_margin">0</property> | |
| 234 <property name="right_margin">0</property> | |
| 235 <property name="indent">0</property> | |
| 236 <property name="text" translatable="yes"></property> | |
| 237 </widget> | |
| 238 </child> | |
| 239 </widget> | |
| 240 <packing> | |
| 241 <property name="shrink">True</property> | |
| 242 <property name="resize">False</property> | |
| 243 </packing> | |
| 244 </child> | |
| 245 </widget> | |
| 246 <packing> | |
| 247 <property name="padding">0</property> | |
| 248 <property name="expand">True</property> | |
| 249 <property name="fill">True</property> | |
| 250 </packing> | |
| 251 </child> | |
| 252 | |
| 253 <child> | |
| 254 <widget class="GtkStatusbar" id="statusbar1"> | |
| 255 <property name="visible">True</property> | |
| 256 <property name="has_resize_grip">True</property> | |
| 257 </widget> | |
| 258 <packing> | |
| 259 <property name="padding">0</property> | |
| 260 <property name="expand">False</property> | |
| 261 <property name="fill">False</property> | |
| 262 </packing> | |
| 263 </child> | |
| 264 </widget> | |
| 265 </child> | |
| 266 </widget> | |
| 267 | |
| 268 </glade-interface> | |
| OLD | NEW |