gtk-demo2.glade (18786B)
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="clisp-gui-main"> 7 <property name="visible">True</property> 8 <property name="title" translatable="yes">CLISP GUI</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">600</property> 13 <property name="default_height">400</property> 14 <property name="resizable">True</property> 15 <property name="destroy_with_parent">False</property> 16 <property name="icon">clisp.ico</property> 17 <property name="decorated">True</property> 18 <property name="skip_taskbar_hint">False</property> 19 <property name="skip_pager_hint">False</property> 20 <property name="type_hint">GDK_WINDOW_TYPE_HINT_NORMAL</property> 21 <property name="gravity">GDK_GRAVITY_NORTH_WEST</property> 22 <property name="focus_on_map">True</property> 23 <property name="urgency_hint">False</property> 24 <signal name="delete_event" handler="(gtk:gui-quit)" last_modification_time="Wed, 18 Oct 2006 20:13:05 GMT"/> 25 <signal name="destroy_event" handler="(gtk:gui-quit)" last_modification_time="Thu, 19 Oct 2006 04:52:39 GMT"/> 26 27 <child> 28 <widget class="GtkVBox" id="vbox1"> 29 <property name="visible">True</property> 30 <property name="homogeneous">False</property> 31 <property name="spacing">0</property> 32 33 <child> 34 <widget class="GtkMenuBar" id="menubar1"> 35 <property name="visible">True</property> 36 <property name="pack_direction">GTK_PACK_DIRECTION_LTR</property> 37 <property name="child_pack_direction">GTK_PACK_DIRECTION_LTR</property> 38 39 <child> 40 <widget class="GtkMenuItem" id="menuitem4"> 41 <property name="visible">True</property> 42 <property name="label" translatable="yes">_File</property> 43 <property name="use_underline">True</property> 44 45 <child> 46 <widget class="GtkMenu" id="menuitem4_menu"> 47 48 <child> 49 <widget class="GtkImageMenuItem" id="new1"> 50 <property name="visible">True</property> 51 <property name="label">gtk-new</property> 52 <property name="use_stock">True</property> 53 <signal name="activate" handler="(print 'on_new1_activate)" last_modification_time="Wed, 18 Oct 2006 19:10:08 GMT"/> 54 </widget> 55 </child> 56 57 <child> 58 <widget class="GtkImageMenuItem" id="open1"> 59 <property name="visible">True</property> 60 <property name="label">gtk-open</property> 61 <property name="use_stock">True</property> 62 <signal name="activate" handler="(print 'on_open1_activate)" last_modification_time="Wed, 18 Oct 2006 19:10:08 GMT"/> 63 </widget> 64 </child> 65 66 <child> 67 <widget class="GtkImageMenuItem" id="save1"> 68 <property name="visible">True</property> 69 <property name="label">gtk-save</property> 70 <property name="use_stock">True</property> 71 <signal name="activate" handler="(print 'on_save1_activate)" last_modification_time="Wed, 18 Oct 2006 19:10:08 GMT"/> 72 </widget> 73 </child> 74 75 <child> 76 <widget class="GtkImageMenuItem" id="save_as1"> 77 <property name="visible">True</property> 78 <property name="label">gtk-save-as</property> 79 <property name="use_stock">True</property> 80 <signal name="activate" handler="(print 'on_save_as1_activate)" last_modification_time="Wed, 18 Oct 2006 19:10:08 GMT"/> 81 </widget> 82 </child> 83 84 <child> 85 <widget class="GtkSeparatorMenuItem" id="separatormenuitem1"> 86 <property name="visible">True</property> 87 </widget> 88 </child> 89 90 <child> 91 <widget class="GtkImageMenuItem" id="quit1"> 92 <property name="visible">True</property> 93 <property name="label">gtk-quit</property> 94 <property name="use_stock">True</property> 95 <signal name="activate" handler="(gtk:gui-quit)" last_modification_time="Wed, 18 Oct 2006 20:13:27 GMT"/> 96 <signal name="activate_item" handler="(gtk:gui-quit)" last_modification_time="Thu, 19 Oct 2006 04:54:18 GMT"/> 97 </widget> 98 </child> 99 </widget> 100 </child> 101 </widget> 102 </child> 103 104 <child> 105 <widget class="GtkMenuItem" id="menuitem5"> 106 <property name="visible">True</property> 107 <property name="label" translatable="yes">_Edit</property> 108 <property name="use_underline">True</property> 109 110 <child> 111 <widget class="GtkMenu" id="menuitem5_menu"> 112 113 <child> 114 <widget class="GtkImageMenuItem" id="cut1"> 115 <property name="visible">True</property> 116 <property name="label">gtk-cut</property> 117 <property name="use_stock">True</property> 118 <signal name="activate" handler="(print 'on_cut1_activate)" last_modification_time="Wed, 18 Oct 2006 19:10:08 GMT"/> 119 </widget> 120 </child> 121 122 <child> 123 <widget class="GtkImageMenuItem" id="copy1"> 124 <property name="visible">True</property> 125 <property name="label">gtk-copy</property> 126 <property name="use_stock">True</property> 127 <signal name="activate" handler="(print 'on_copy1_activate)" last_modification_time="Wed, 18 Oct 2006 19:10:08 GMT"/> 128 </widget> 129 </child> 130 131 <child> 132 <widget class="GtkImageMenuItem" id="paste1"> 133 <property name="visible">True</property> 134 <property name="label">gtk-paste</property> 135 <property name="use_stock">True</property> 136 <signal name="activate" handler="(print 'on_paste1_activate)" last_modification_time="Wed, 18 Oct 2006 19:10:08 GMT"/> 137 </widget> 138 </child> 139 140 <child> 141 <widget class="GtkImageMenuItem" id="delete1"> 142 <property name="visible">True</property> 143 <property name="label">gtk-delete</property> 144 <property name="use_stock">True</property> 145 <signal name="activate" handler="(print 'on_delete1_activate)" last_modification_time="Wed, 18 Oct 2006 19:10:08 GMT"/> 146 </widget> 147 </child> 148 </widget> 149 </child> 150 </widget> 151 </child> 152 153 <child> 154 <widget class="GtkMenuItem" id="menuitem6"> 155 <property name="visible">True</property> 156 <property name="label" translatable="yes">_View</property> 157 <property name="use_underline">True</property> 158 </widget> 159 </child> 160 161 <child> 162 <widget class="GtkImageMenuItem" id="menuitem7"> 163 <property name="visible">True</property> 164 <property name="label">gtk-help</property> 165 <property name="use_stock">True</property> 166 167 <child> 168 <widget class="GtkMenu" id="menuitem7_menu"> 169 170 <child> 171 <widget class="GtkImageMenuItem" id="about1"> 172 <property name="visible">True</property> 173 <property name="label">gtk-about</property> 174 <property name="use_stock">True</property> 175 <signal name="activate" handler="(gtk:gui-about-do)" last_modification_time="Wed, 18 Oct 2006 19:10:08 GMT"/> 176 </widget> 177 </child> 178 </widget> 179 </child> 180 </widget> 181 </child> 182 </widget> 183 <packing> 184 <property name="padding">0</property> 185 <property name="expand">False</property> 186 <property name="fill">False</property> 187 </packing> 188 </child> 189 190 <child> 191 <widget class="GtkHBox" id="hbox1"> 192 <property name="visible">True</property> 193 <property name="homogeneous">False</property> 194 <property name="spacing">0</property> 195 196 <child> 197 <widget class="GtkToolbar" id="toolbar1"> 198 <property name="width_request">0</property> 199 <property name="visible">True</property> 200 <property name="orientation">GTK_ORIENTATION_HORIZONTAL</property> 201 <property name="toolbar_style">GTK_TOOLBAR_BOTH</property> 202 <property name="tooltips">True</property> 203 <property name="show_arrow">True</property> 204 205 <child> 206 <widget class="GtkToolButton" id="toolbutton_clear"> 207 <property name="visible">True</property> 208 <property name="label" translatable="yes">clear</property> 209 <property name="use_underline">True</property> 210 <property name="stock_id">gtk-clear</property> 211 <property name="visible_horizontal">True</property> 212 <property name="visible_vertical">True</property> 213 <property name="is_important">False</property> 214 <signal name="clicked" handler="(gtk:gui-clear-do)" last_modification_time="Thu, 26 Oct 2006 18:58:08 GMT"/> 215 </widget> 216 <packing> 217 <property name="expand">False</property> 218 <property name="homogeneous">True</property> 219 </packing> 220 </child> 221 222 <child> 223 <widget class="GtkToolButton" id="toolbutton_eval"> 224 <property name="visible">True</property> 225 <property name="label" translatable="yes">eval</property> 226 <property name="use_underline">True</property> 227 <property name="stock_id">gtk-execute</property> 228 <property name="visible_horizontal">True</property> 229 <property name="visible_vertical">True</property> 230 <property name="is_important">True</property> 231 <signal name="clicked" handler="(gtk:gui-eval-do)" last_modification_time="Thu, 26 Oct 2006 18:58:08 GMT"/> 232 </widget> 233 <packing> 234 <property name="expand">False</property> 235 <property name="homogeneous">True</property> 236 </packing> 237 </child> 238 239 <child> 240 <widget class="GtkToolButton" id="toolbutton_describe"> 241 <property name="visible">True</property> 242 <property name="label" translatable="yes">describe</property> 243 <property name="use_underline">True</property> 244 <property name="stock_id">gtk-info</property> 245 <property name="visible_horizontal">True</property> 246 <property name="visible_vertical">True</property> 247 <property name="is_important">False</property> 248 <signal name="clicked" handler="(gtk:gui-describe-do)" last_modification_time="Thu, 26 Oct 2006 18:58:08 GMT"/> 249 </widget> 250 <packing> 251 <property name="expand">False</property> 252 <property name="homogeneous">True</property> 253 </packing> 254 </child> 255 </widget> 256 <packing> 257 <property name="padding">0</property> 258 <property name="expand">True</property> 259 <property name="fill">True</property> 260 </packing> 261 </child> 262 263 <child> 264 <widget class="GtkVSeparator" id="vseparator1"> 265 <property name="visible">True</property> 266 </widget> 267 <packing> 268 <property name="padding">0</property> 269 <property name="expand">False</property> 270 <property name="fill">False</property> 271 </packing> 272 </child> 273 274 <child> 275 <widget class="GtkVBox" id="vbox2"> 276 <property name="visible">True</property> 277 <property name="homogeneous">False</property> 278 <property name="spacing">0</property> 279 280 <child> 281 <widget class="GtkLabel" id="label1_apropos"> 282 <property name="visible">True</property> 283 <property name="label" translatable="yes">apropos:</property> 284 <property name="use_underline">True</property> 285 <property name="use_markup">False</property> 286 <property name="justify">GTK_JUSTIFY_LEFT</property> 287 <property name="wrap">False</property> 288 <property name="selectable">False</property> 289 <property name="xalign">0.5</property> 290 <property name="yalign">0.5</property> 291 <property name="xpad">0</property> 292 <property name="ypad">0</property> 293 <property name="mnemonic_widget">entry1_apropos</property> 294 <property name="ellipsize">PANGO_ELLIPSIZE_END</property> 295 <property name="width_chars">-1</property> 296 <property name="single_line_mode">True</property> 297 <property name="angle">0</property> 298 </widget> 299 <packing> 300 <property name="padding">0</property> 301 <property name="expand">False</property> 302 <property name="fill">False</property> 303 </packing> 304 </child> 305 306 <child> 307 <widget class="GtkEntry" id="entry1_apropos"> 308 <property name="visible">True</property> 309 <property name="can_focus">True</property> 310 <property name="editable">True</property> 311 <property name="visibility">True</property> 312 <property name="max_length">0</property> 313 <property name="text" translatable="yes"></property> 314 <property name="has_frame">True</property> 315 <property name="invisible_char">•</property> 316 <property name="activates_default">False</property> 317 <signal name="editing_done" handler="(gtk:gui-apropos-do)" last_modification_time="Thu, 26 Oct 2006 18:53:16 GMT"/> 318 </widget> 319 <packing> 320 <property name="padding">0</property> 321 <property name="expand">False</property> 322 <property name="fill">False</property> 323 </packing> 324 </child> 325 </widget> 326 <packing> 327 <property name="padding">0</property> 328 <property name="expand">True</property> 329 <property name="fill">True</property> 330 </packing> 331 </child> 332 </widget> 333 <packing> 334 <property name="padding">0</property> 335 <property name="expand">False</property> 336 <property name="fill">False</property> 337 </packing> 338 </child> 339 340 <child> 341 <widget class="GtkScrolledWindow" id="scrolledwindow2"> 342 <property name="visible">True</property> 343 <property name="can_focus">True</property> 344 <property name="hscrollbar_policy">GTK_POLICY_ALWAYS</property> 345 <property name="vscrollbar_policy">GTK_POLICY_ALWAYS</property> 346 <property name="shadow_type">GTK_SHADOW_IN</property> 347 <property name="window_placement">GTK_CORNER_TOP_LEFT</property> 348 349 <child> 350 <widget class="GtkTextView" id="textview_repl"> 351 <property name="visible">True</property> 352 <property name="can_focus">True</property> 353 <property name="editable">True</property> 354 <property name="overwrite">False</property> 355 <property name="accepts_tab">True</property> 356 <property name="justification">GTK_JUSTIFY_LEFT</property> 357 <property name="wrap_mode">GTK_WRAP_NONE</property> 358 <property name="cursor_visible">True</property> 359 <property name="pixels_above_lines">0</property> 360 <property name="pixels_below_lines">0</property> 361 <property name="pixels_inside_wrap">0</property> 362 <property name="left_margin">0</property> 363 <property name="right_margin">0</property> 364 <property name="indent">0</property> 365 <property name="text" translatable="yes"></property> 366 </widget> 367 </child> 368 </widget> 369 <packing> 370 <property name="padding">0</property> 371 <property name="expand">True</property> 372 <property name="fill">True</property> 373 </packing> 374 </child> 375 376 <child> 377 <widget class="GtkStatusbar" id="statusbar1"> 378 <property name="visible">True</property> 379 <property name="has_resize_grip">True</property> 380 </widget> 381 <packing> 382 <property name="padding">0</property> 383 <property name="expand">False</property> 384 <property name="fill">False</property> 385 </packing> 386 </child> 387 </widget> 388 </child> 389 </widget> 390 391 <widget class="GtkDialog" id="dialog1_about"> 392 <property name="visible">True</property> 393 <property name="title" translatable="yes">dialog1</property> 394 <property name="type">GTK_WINDOW_POPUP</property> 395 <property name="window_position">GTK_WIN_POS_MOUSE</property> 396 <property name="modal">False</property> 397 <property name="resizable">True</property> 398 <property name="destroy_with_parent">True</property> 399 <property name="icon_name">gtk-dialog-info</property> 400 <property name="decorated">False</property> 401 <property name="skip_taskbar_hint">True</property> 402 <property name="skip_pager_hint">True</property> 403 <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property> 404 <property name="gravity">GDK_GRAVITY_NORTH_WEST</property> 405 <property name="focus_on_map">True</property> 406 <property name="urgency_hint">False</property> 407 <property name="has_separator">True</property> 408 <signal name="close" handler="(gtk:gui-about-done)" last_modification_time="Thu, 26 Oct 2006 18:47:07 GMT"/> 409 <signal name="delete_event" handler="(gtk:gui-about-done)" last_modification_time="Thu, 26 Oct 2006 18:47:53 GMT"/> 410 <signal name="destroy_event" handler="(gtk:gui-about-done)" last_modification_time="Thu, 26 Oct 2006 18:48:22 GMT"/> 411 <accelerator key="F4" modifiers="GDK_MOD1_MASK" signal="close"/> 412 413 <child internal-child="vbox"> 414 <widget class="GtkVBox" id="dialog-vbox1"> 415 <property name="visible">True</property> 416 <property name="homogeneous">False</property> 417 <property name="spacing">0</property> 418 419 <child internal-child="action_area"> 420 <widget class="GtkHButtonBox" id="dialog-action_area1"> 421 <property name="visible">True</property> 422 <property name="layout_style">GTK_BUTTONBOX_END</property> 423 424 <child> 425 <widget class="GtkButton" id="okbutton1"> 426 <property name="visible">True</property> 427 <property name="can_default">True</property> 428 <property name="can_focus">True</property> 429 <property name="label">gtk-ok</property> 430 <property name="use_stock">True</property> 431 <property name="relief">GTK_RELIEF_NORMAL</property> 432 <property name="focus_on_click">True</property> 433 <property name="response_id">-5</property> 434 <signal name="clicked" handler="(gtk:gui-about-done)" last_modification_time="Thu, 26 Oct 2006 18:46:19 GMT"/>- 435 </widget> 436 </child> 437 </widget> 438 <packing> 439 <property name="padding">0</property> 440 <property name="expand">False</property> 441 <property name="fill">True</property> 442 <property name="pack_type">GTK_PACK_END</property> 443 </packing> 444 </child> 445 446 <child> 447 <widget class="GtkScrolledWindow" id="scrolledwindow1"> 448 <property name="visible">True</property> 449 <property name="can_focus">True</property> 450 <property name="hscrollbar_policy">GTK_POLICY_ALWAYS</property> 451 <property name="vscrollbar_policy">GTK_POLICY_ALWAYS</property> 452 <property name="shadow_type">GTK_SHADOW_IN</property> 453 <property name="window_placement">GTK_CORNER_TOP_LEFT</property> 454 455 <child> 456 <widget class="GtkTextView" id="textview_about"> 457 <property name="visible">True</property> 458 <property name="can_focus">True</property> 459 <property name="editable">True</property> 460 <property name="overwrite">False</property> 461 <property name="accepts_tab">True</property> 462 <property name="justification">GTK_JUSTIFY_LEFT</property> 463 <property name="wrap_mode">GTK_WRAP_NONE</property> 464 <property name="cursor_visible">True</property> 465 <property name="pixels_above_lines">0</property> 466 <property name="pixels_below_lines">0</property> 467 <property name="pixels_inside_wrap">0</property> 468 <property name="left_margin">0</property> 469 <property name="right_margin">0</property> 470 <property name="indent">0</property> 471 <property name="text" translatable="yes"></property> 472 </widget> 473 </child> 474 </widget> 475 <packing> 476 <property name="padding">0</property> 477 <property name="expand">True</property> 478 <property name="fill">True</property> 479 </packing> 480 </child> 481 </widget> 482 </child> 483 </widget> 484 485 </glade-interface>