matita/matita.glade

   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="BrowserWin">
   7   <property name="visible">True</property>
   8   <property name="title" translatable="yes">Cic browser</property>
   9   <property name="type">GTK_WINDOW_TOPLEVEL</property>
  10   <property name="window_position">GTK_WIN_POS_CENTER_ON_PARENT</property>
  11   <property name="modal">False</property>
  12   <property name="default_width">500</property>
  13   <property name="default_height">500</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   <property name="focus_on_map">True</property>
  22   <property name="urgency_hint">False</property>
  23
  24   <child>
  25     <widget class="GtkEventBox" id="BrowserWinEventBox">
  26       <property name="visible">True</property>
  27       <property name="visible_window">True</property>
  28       <property name="above_child">False</property>
  29
  30       <child>
  31         <widget class="GtkVBox" id="BrowserVBox">
  32           <property name="visible">True</property>
  33           <property name="homogeneous">False</property>
  34           <property name="spacing">0</property>
  35
  36           <child>
  37             <widget class="GtkFrame" id="frame2">
  38               <property name="visible">True</property>
  39               <property name="label_xalign">0</property>
  40               <property name="label_yalign">0</property>
  41               <property name="shadow_type">GTK_SHADOW_NONE</property>
  42
  43               <child>
  44                 <widget class="GtkHBox" id="BrowserHBox">
  45                   <property name="visible">True</property>
  46                   <property name="homogeneous">False</property>
  47                   <property name="spacing">0</property>
  48
  49                   <child>
  50                     <widget class="GtkButton" id="BrowserNewButton">
  51                       <property name="visible">True</property>
  52                       <property name="can_focus">True</property>
  53                       <property name="relief">GTK_RELIEF_NONE</property>
  54                       <property name="focus_on_click">True</property>
  55
  56                       <child>
  57                         <widget class="GtkImage" id="image303">
  58                           <property name="visible">True</property>
  59                           <property name="stock">gtk-new</property>
  60                           <property name="icon_size">4</property>
  61                           <property name="xalign">0.5</property>
  62                           <property name="yalign">0.5</property>
  63                           <property name="xpad">0</property>
  64                           <property name="ypad">0</property>
  65                         </widget>
  66                       </child>
  67                     </widget>
  68                     <packing>
  69                       <property name="padding">0</property>
  70                       <property name="expand">False</property>
  71                       <property name="fill">False</property>
  72                     </packing>
  73                   </child>
  74
  75                   <child>
  76                     <widget class="GtkButton" id="BrowserBackButton">
  77                       <property name="visible">True</property>
  78                       <property name="can_focus">True</property>
  79                       <property name="relief">GTK_RELIEF_NONE</property>
  80                       <property name="focus_on_click">True</property>
  81
  82                       <child>
  83                         <widget class="GtkImage" id="image304">
  84                           <property name="visible">True</property>
  85                           <property name="stock">gtk-go-back</property>
  86                           <property name="icon_size">4</property>
  87                           <property name="xalign">0.5</property>
  88                           <property name="yalign">0.5</property>
  89                           <property name="xpad">0</property>
  90                           <property name="ypad">0</property>
  91                         </widget>
  92                       </child>
  93                     </widget>
  94                     <packing>
  95                       <property name="padding">0</property>
  96                       <property name="expand">False</property>
  97                       <property name="fill">False</property>
  98                     </packing>
  99                   </child>
 100
 101                   <child>
 102                     <widget class="GtkButton" id="BrowserForwardButton">
 103                       <property name="visible">True</property>
 104                       <property name="can_focus">True</property>
 105                       <property name="relief">GTK_RELIEF_NONE</property>
 106                       <property name="focus_on_click">True</property>
 107
 108                       <child>
 109                         <widget class="GtkImage" id="image305">
 110                           <property name="visible">True</property>
 111                           <property name="stock">gtk-go-forward</property>
 112                           <property name="icon_size">4</property>
 113                           <property name="xalign">0.5</property>
 114                           <property name="yalign">0.5</property>
 115                           <property name="xpad">0</property>
 116                           <property name="ypad">0</property>
 117                         </widget>
 118                       </child>
 119                     </widget>
 120                     <packing>
 121                       <property name="padding">0</property>
 122                       <property name="expand">False</property>
 123                       <property name="fill">False</property>
 124                     </packing>
 125                   </child>
 126
 127                   <child>
 128                     <widget class="GtkButton" id="BrowserRefreshButton">
 129                       <property name="visible">True</property>
 130                       <property name="tooltip" translatable="yes">refresh</property>
 131                       <property name="can_default">True</property>
 132                       <property name="can_focus">True</property>
 133                       <property name="relief">GTK_RELIEF_NONE</property>
 134                       <property name="focus_on_click">True</property>
 135
 136                       <child>
 137                         <widget class="GtkImage" id="image229">
 138                           <property name="visible">True</property>
 139                           <property name="stock">gtk-refresh</property>
 140                           <property name="icon_size">4</property>
 141                           <property name="xalign">0.5</property>
 142                           <property name="yalign">0.5</property>
 143                           <property name="xpad">0</property>
 144                           <property name="ypad">0</property>
 145                         </widget>
 146                       </child>
 147                     </widget>
 148                     <packing>
 149                       <property name="padding">0</property>
 150                       <property name="expand">False</property>
 151                       <property name="fill">False</property>
 152                     </packing>
 153                   </child>
 154
 155                   <child>
 156                     <widget class="GtkButton" id="BrowserHomeButton">
 157                       <property name="visible">True</property>
 158                       <property name="tooltip" translatable="yes">home</property>
 159                       <property name="can_default">True</property>
 160                       <property name="can_focus">True</property>
 161                       <property name="relief">GTK_RELIEF_NONE</property>
 162                       <property name="focus_on_click">True</property>
 163
 164                       <child>
 165                         <widget class="GtkImage" id="image190">
 166                           <property name="visible">True</property>
 167                           <property name="stock">gtk-home</property>
 168                           <property name="icon_size">4</property>
 169                           <property name="xalign">0.5</property>
 170                           <property name="yalign">0.5</property>
 171                           <property name="xpad">0</property>
 172                           <property name="ypad">0</property>
 173                         </widget>
 174                       </child>
 175                     </widget>
 176                     <packing>
 177                       <property name="padding">0</property>
 178                       <property name="expand">False</property>
 179                       <property name="fill">False</property>
 180                     </packing>
 181                   </child>
 182
 183                   <child>
 184                     <widget class="GtkImage" id="image301">
 185                       <property name="visible">True</property>
 186                       <property name="stock">gtk-jump-to</property>
 187                       <property name="icon_size">2</property>
 188                       <property name="xalign">0.5</property>
 189                       <property name="yalign">0.5</property>
 190                       <property name="xpad">0</property>
 191                       <property name="ypad">0</property>
 192                     </widget>
 193                     <packing>
 194                       <property name="padding">3</property>
 195                       <property name="expand">False</property>
 196                       <property name="fill">False</property>
 197                     </packing>
 198                   </child>
 199
 200                   <child>
 201                     <widget class="GtkHBox" id="UriHBox">
 202                       <property name="visible">True</property>
 203                       <property name="homogeneous">False</property>
 204                       <property name="spacing">0</property>
 205
 206                       <child>
 207                         <placeholder/>
 208                       </child>
 209                     </widget>
 210                     <packing>
 211                       <property name="padding">0</property>
 212                       <property name="expand">True</property>
 213                       <property name="fill">True</property>
 214                     </packing>
 215                   </child>
 216                 </widget>
 217               </child>
 218             </widget>
 219             <packing>
 220               <property name="padding">0</property>
 221               <property name="expand">False</property>
 222               <property name="fill">True</property>
 223             </packing>
 224           </child>
 225
 226           <child>
 227             <widget class="GtkHBox" id="whelpBarBox">
 228               <property name="border_width">3</property>
 229               <property name="visible">True</property>
 230               <property name="homogeneous">False</property>
 231               <property name="spacing">6</property>
 232
 233               <child>
 234                 <widget class="GtkImage" id="WhelpBarImage">
 235                   <property name="visible">True</property>
 236                   <property name="xalign">0.5</property>
 237                   <property name="yalign">0.5</property>
 238                   <property name="xpad">0</property>
 239                   <property name="ypad">0</property>
 240                 </widget>
 241                 <packing>
 242                   <property name="padding">0</property>
 243                   <property name="expand">False</property>
 244                   <property name="fill">True</property>
 245                 </packing>
 246               </child>
 247
 248               <child>
 249                 <widget class="GtkEntry" id="queryInputText">
 250                   <property name="visible">True</property>
 251                   <property name="can_focus">True</property>
 252                   <property name="editable">True</property>
 253                   <property name="visibility">True</property>
 254                   <property name="max_length">0</property>
 255                   <property name="text" translatable="yes"></property>
 256                   <property name="has_frame">True</property>
 257                   <property name="invisible_char">*</property>
 258                   <property name="activates_default">False</property>
 259                 </widget>
 260                 <packing>
 261                   <property name="padding">0</property>
 262                   <property name="expand">True</property>
 263                   <property name="fill">True</property>
 264                 </packing>
 265               </child>
 266
 267               <child>
 268                 <widget class="GtkVBox" id="whelpBarComboVbox">
 269                   <property name="visible">True</property>
 270                   <property name="homogeneous">False</property>
 271                   <property name="spacing">0</property>
 272
 273                   <child>
 274                     <widget class="GtkAlignment" id="alignment4">
 275                       <property name="visible">True</property>
 276                       <property name="xalign">0.5</property>
 277                       <property name="yalign">0.5</property>
 278                       <property name="xscale">1</property>
 279                       <property name="yscale">1</property>
 280                       <property name="top_padding">0</property>
 281                       <property name="bottom_padding">0</property>
 282                       <property name="left_padding">0</property>
 283                       <property name="right_padding">0</property>
 284
 285                       <child>
 286                         <placeholder/>
 287                       </child>
 288                     </widget>
 289                     <packing>
 290                       <property name="padding">0</property>
 291                       <property name="expand">False</property>
 292                       <property name="fill">False</property>
 293                     </packing>
 294                   </child>
 295                 </widget>
 296                 <packing>
 297                   <property name="padding">0</property>
 298                   <property name="expand">False</property>
 299                   <property name="fill">True</property>
 300                 </packing>
 301               </child>
 302             </widget>
 303             <packing>
 304               <property name="padding">0</property>
 305               <property name="expand">False</property>
 306               <property name="fill">True</property>
 307             </packing>
 308           </child>
 309
 310           <child>
 311             <widget class="GtkNotebook" id="mathOrListNotebook">
 312               <property name="visible">True</property>
 313               <property name="can_focus">True</property>
 314               <property name="show_tabs">True</property>
 315               <property name="show_border">True</property>
 316               <property name="tab_pos">GTK_POS_TOP</property>
 317               <property name="scrollable">False</property>
 318               <property name="enable_popup">False</property>
 319
 320               <child>
 321                 <widget class="GtkScrolledWindow" id="ScrolledBrowser">
 322                   <property name="visible">True</property>
 323                   <property name="can_focus">True</property>
 324                   <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
 325                   <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
 326                   <property name="shadow_type">GTK_SHADOW_NONE</property>
 327                   <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
 328
 329                   <child>
 330                     <placeholder/>
 331                   </child>
 332                 </widget>
 333                 <packing>
 334                   <property name="tab_expand">False</property>
 335                   <property name="tab_fill">True</property>
 336                 </packing>
 337               </child>
 338
 339               <child>
 340                 <widget class="GtkLabel" id="mathLabel">
 341                   <property name="visible">True</property>
 342                   <property name="label" translatable="yes">MathView</property>
 343                   <property name="use_underline">False</property>
 344                   <property name="use_markup">False</property>
 345                   <property name="justify">GTK_JUSTIFY_LEFT</property>
 346                   <property name="wrap">False</property>
 347                   <property name="selectable">False</property>
 348                   <property name="xalign">0.5</property>
 349                   <property name="yalign">0.5</property>
 350                   <property name="xpad">0</property>
 351                   <property name="ypad">0</property>
 352                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 353                   <property name="width_chars">-1</property>
 354                   <property name="single_line_mode">False</property>
 355                   <property name="angle">0</property>
 356                 </widget>
 357                 <packing>
 358                   <property name="type">tab</property>
 359                 </packing>
 360               </child>
 361
 362               <child>
 363                 <widget class="GtkScrolledWindow" id="scrolledwindow9">
 364                   <property name="visible">True</property>
 365                   <property name="can_focus">True</property>
 366                   <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
 367                   <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
 368                   <property name="shadow_type">GTK_SHADOW_IN</property>
 369                   <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
 370
 371                   <child>
 372                     <widget class="GtkTreeView" id="whelpResultTreeview">
 373                       <property name="visible">True</property>
 374                       <property name="can_focus">True</property>
 375                       <property name="headers_visible">False</property>
 376                       <property name="rules_hint">False</property>
 377                       <property name="reorderable">False</property>
 378                       <property name="enable_search">True</property>
 379                       <property name="fixed_height_mode">False</property>
 380                       <property name="hover_selection">False</property>
 381                       <property name="hover_expand">False</property>
 382                     </widget>
 383                   </child>
 384                 </widget>
 385                 <packing>
 386                   <property name="tab_expand">False</property>
 387                   <property name="tab_fill">True</property>
 388                 </packing>
 389               </child>
 390
 391               <child>
 392                 <widget class="GtkLabel" id="listLabel">
 393                   <property name="visible">True</property>
 394                   <property name="label" translatable="yes">WhelpResults</property>
 395                   <property name="use_underline">False</property>
 396                   <property name="use_markup">False</property>
 397                   <property name="justify">GTK_JUSTIFY_LEFT</property>
 398                   <property name="wrap">False</property>
 399                   <property name="selectable">False</property>
 400                   <property name="xalign">0.5</property>
 401                   <property name="yalign">0.5</property>
 402                   <property name="xpad">0</property>
 403                   <property name="ypad">0</property>
 404                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 405                   <property name="width_chars">-1</property>
 406                   <property name="single_line_mode">False</property>
 407                   <property name="angle">0</property>
 408                 </widget>
 409                 <packing>
 410                   <property name="type">tab</property>
 411                 </packing>
 412               </child>
 413
 414               <child>
 415                 <widget class="GtkScrolledWindow" id="scrolledwindow11">
 416                   <property name="visible">True</property>
 417                   <property name="can_focus">True</property>
 418                   <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
 419                   <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
 420                   <property name="shadow_type">GTK_SHADOW_NONE</property>
 421                   <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
 422
 423                   <child>
 424                     <widget class="GtkViewport" id="viewport2">
 425                       <property name="visible">True</property>
 426                       <property name="shadow_type">GTK_SHADOW_NONE</property>
 427
 428                       <child>
 429                         <widget class="GtkImage" id="BrowserImage">
 430                           <property name="visible">True</property>
 431                           <property name="xalign">0.5</property>
 432                           <property name="yalign">0.5</property>
 433                           <property name="xpad">0</property>
 434                           <property name="ypad">0</property>
 435                         </widget>
 436                       </child>
 437                     </widget>
 438                   </child>
 439                 </widget>
 440                 <packing>
 441                   <property name="tab_expand">False</property>
 442                   <property name="tab_fill">True</property>
 443                 </packing>
 444               </child>
 445
 446               <child>
 447                 <widget class="GtkLabel" id="EasterEggLabel">
 448                   <property name="visible">True</property>
 449                   <property name="label" translatable="yes">WhelpEasterEgg</property>
 450                   <property name="use_underline">False</property>
 451                   <property name="use_markup">False</property>
 452                   <property name="justify">GTK_JUSTIFY_LEFT</property>
 453                   <property name="wrap">False</property>
 454                   <property name="selectable">False</property>
 455                   <property name="xalign">0.5</property>
 456                   <property name="yalign">0.5</property>
 457                   <property name="xpad">0</property>
 458                   <property name="ypad">0</property>
 459                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 460                   <property name="width_chars">-1</property>
 461                   <property name="single_line_mode">False</property>
 462                   <property name="angle">0</property>
 463                 </widget>
 464                 <packing>
 465                   <property name="type">tab</property>
 466                 </packing>
 467               </child>
 468
 469               <child>
 470                 <widget class="GtkScrolledWindow" id="GraphScrolledWin">
 471                   <property name="visible">True</property>
 472                   <property name="can_focus">True</property>
 473                   <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
 474                   <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
 475                   <property name="shadow_type">GTK_SHADOW_NONE</property>
 476                   <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
 477
 478                   <child>
 479                     <placeholder/>
 480                   </child>
 481                 </widget>
 482                 <packing>
 483                   <property name="tab_expand">False</property>
 484                   <property name="tab_fill">True</property>
 485                 </packing>
 486               </child>
 487
 488               <child>
 489                 <widget class="GtkLabel" id="label26">
 490                   <property name="visible">True</property>
 491                   <property name="label" translatable="yes">Graph</property>
 492                   <property name="use_underline">False</property>
 493                   <property name="use_markup">False</property>
 494                   <property name="justify">GTK_JUSTIFY_LEFT</property>
 495                   <property name="wrap">False</property>
 496                   <property name="selectable">False</property>
 497                   <property name="xalign">0.5</property>
 498                   <property name="yalign">0.5</property>
 499                   <property name="xpad">0</property>
 500                   <property name="ypad">0</property>
 501                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 502                   <property name="width_chars">-1</property>
 503                   <property name="single_line_mode">False</property>
 504                   <property name="angle">0</property>
 505                 </widget>
 506                 <packing>
 507                   <property name="type">tab</property>
 508                 </packing>
 509               </child>
 510             </widget>
 511             <packing>
 512               <property name="padding">0</property>
 513               <property name="expand">True</property>
 514               <property name="fill">True</property>
 515             </packing>
 516           </child>
 517         </widget>
 518       </child>
 519     </widget>
 520   </child>
 521 </widget>
 522
 523 <widget class="GtkDialog" id="ConfirmationDialog">
 524   <property name="title" translatable="yes">DUMMY</property>
 525   <property name="type">GTK_WINDOW_TOPLEVEL</property>
 526   <property name="window_position">GTK_WIN_POS_CENTER</property>
 527   <property name="modal">True</property>
 528   <property name="resizable">False</property>
 529   <property name="destroy_with_parent">False</property>
 530   <property name="decorated">True</property>
 531   <property name="skip_taskbar_hint">False</property>
 532   <property name="skip_pager_hint">False</property>
 533   <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
 534   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
 535   <property name="focus_on_map">True</property>
 536   <property name="urgency_hint">False</property>
 537   <property name="has_separator">True</property>
 538
 539   <child internal-child="vbox">
 540     <widget class="GtkVBox" id="dialog-vbox1">
 541       <property name="visible">True</property>
 542       <property name="homogeneous">False</property>
 543       <property name="spacing">0</property>
 544
 545       <child internal-child="action_area">
 546         <widget class="GtkHButtonBox" id="dialog-action_area1">
 547           <property name="visible">True</property>
 548           <property name="layout_style">GTK_BUTTONBOX_END</property>
 549
 550           <child>
 551             <widget class="GtkButton" id="ConfirmationDialogCancelButton">
 552               <property name="visible">True</property>
 553               <property name="can_default">True</property>
 554               <property name="can_focus">True</property>
 555               <property name="label">gtk-cancel</property>
 556               <property name="use_stock">True</property>
 557               <property name="relief">GTK_RELIEF_NORMAL</property>
 558               <property name="focus_on_click">True</property>
 559               <property name="response_id">-6</property>
 560             </widget>
 561           </child>
 562
 563           <child>
 564             <widget class="GtkButton" id="ConfirmationDialogOkButton">
 565               <property name="visible">True</property>
 566               <property name="can_default">True</property>
 567               <property name="can_focus">True</property>
 568               <property name="label">gtk-ok</property>
 569               <property name="use_stock">True</property>
 570               <property name="relief">GTK_RELIEF_NORMAL</property>
 571               <property name="focus_on_click">True</property>
 572               <property name="response_id">-5</property>
 573             </widget>
 574           </child>
 575         </widget>
 576         <packing>
 577           <property name="padding">0</property>
 578           <property name="expand">False</property>
 579           <property name="fill">True</property>
 580           <property name="pack_type">GTK_PACK_END</property>
 581         </packing>
 582       </child>
 583
 584       <child>
 585         <widget class="GtkLabel" id="ConfirmationDialogLabel">
 586           <property name="visible">True</property>
 587           <property name="label" translatable="yes">DUMMY</property>
 588           <property name="use_underline">False</property>
 589           <property name="use_markup">False</property>
 590           <property name="justify">GTK_JUSTIFY_CENTER</property>
 591           <property name="wrap">False</property>
 592           <property name="selectable">False</property>
 593           <property name="xalign">0.5</property>
 594           <property name="yalign">0.5</property>
 595           <property name="xpad">0</property>
 596           <property name="ypad">0</property>
 597           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 598           <property name="width_chars">-1</property>
 599           <property name="single_line_mode">False</property>
 600           <property name="angle">0</property>
 601         </widget>
 602         <packing>
 603           <property name="padding">0</property>
 604           <property name="expand">False</property>
 605           <property name="fill">False</property>
 606         </packing>
 607       </child>
 608     </widget>
 609   </child>
 610 </widget>
 611
 612 <widget class="GtkDialog" id="EmptyDialog">
 613   <property name="visible">True</property>
 614   <property name="title" translatable="yes">DUMMY</property>
 615   <property name="type">GTK_WINDOW_TOPLEVEL</property>
 616   <property name="window_position">GTK_WIN_POS_NONE</property>
 617   <property name="modal">False</property>
 618   <property name="resizable">True</property>
 619   <property name="destroy_with_parent">False</property>
 620   <property name="decorated">True</property>
 621   <property name="skip_taskbar_hint">False</property>
 622   <property name="skip_pager_hint">False</property>
 623   <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
 624   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
 625   <property name="focus_on_map">True</property>
 626   <property name="urgency_hint">False</property>
 627   <property name="has_separator">True</property>
 628
 629   <child internal-child="vbox">
 630     <widget class="GtkVBox" id="EmptyDialogVBox">
 631       <property name="visible">True</property>
 632       <property name="homogeneous">False</property>
 633       <property name="spacing">0</property>
 634
 635       <child internal-child="action_area">
 636         <widget class="GtkHButtonBox" id="dialog-action_area5">
 637           <property name="visible">True</property>
 638           <property name="layout_style">GTK_BUTTONBOX_END</property>
 639
 640           <child>
 641             <widget class="GtkButton" id="EmptyDialogCancelButton">
 642               <property name="visible">True</property>
 643               <property name="can_default">True</property>
 644               <property name="can_focus">True</property>
 645               <property name="label">gtk-cancel</property>
 646               <property name="use_stock">True</property>
 647               <property name="relief">GTK_RELIEF_NORMAL</property>
 648               <property name="focus_on_click">True</property>
 649               <property name="response_id">-6</property>
 650             </widget>
 651           </child>
 652
 653           <child>
 654             <widget class="GtkButton" id="EmptyDialogOkButton">
 655               <property name="visible">True</property>
 656               <property name="can_default">True</property>
 657               <property name="can_focus">True</property>
 658               <property name="label">gtk-ok</property>
 659               <property name="use_stock">True</property>
 660               <property name="relief">GTK_RELIEF_NORMAL</property>
 661               <property name="focus_on_click">True</property>
 662               <property name="response_id">-5</property>
 663             </widget>
 664           </child>
 665         </widget>
 666         <packing>
 667           <property name="padding">0</property>
 668           <property name="expand">False</property>
 669           <property name="fill">True</property>
 670           <property name="pack_type">GTK_PACK_END</property>
 671         </packing>
 672       </child>
 673
 674       <child>
 675         <widget class="GtkLabel" id="EmptyDialogLabel">
 676           <property name="visible">True</property>
 677           <property name="label" translatable="yes">DUMMY</property>
 678           <property name="use_underline">False</property>
 679           <property name="use_markup">False</property>
 680           <property name="justify">GTK_JUSTIFY_LEFT</property>
 681           <property name="wrap">False</property>
 682           <property name="selectable">False</property>
 683           <property name="xalign">0.5</property>
 684           <property name="yalign">0.5</property>
 685           <property name="xpad">0</property>
 686           <property name="ypad">0</property>
 687           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 688           <property name="width_chars">-1</property>
 689           <property name="single_line_mode">False</property>
 690           <property name="angle">0</property>
 691         </widget>
 692         <packing>
 693           <property name="padding">0</property>
 694           <property name="expand">False</property>
 695           <property name="fill">False</property>
 696         </packing>
 697       </child>
 698
 699       <child>
 700         <placeholder/>
 701       </child>
 702     </widget>
 703   </child>
 704 </widget>
 705
 706 <widget class="GtkFileSelection" id="FileSelectionWin">
 707   <property name="border_width">10</property>
 708   <property name="title" translatable="yes">Select File</property>
 709   <property name="type">GTK_WINDOW_TOPLEVEL</property>
 710   <property name="window_position">GTK_WIN_POS_CENTER</property>
 711   <property name="modal">True</property>
 712   <property name="resizable">True</property>
 713   <property name="destroy_with_parent">False</property>
 714   <property name="decorated">True</property>
 715   <property name="skip_taskbar_hint">False</property>
 716   <property name="skip_pager_hint">False</property>
 717   <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
 718   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
 719   <property name="focus_on_map">True</property>
 720   <property name="urgency_hint">False</property>
 721   <property name="show_fileops">True</property>
 722
 723   <child internal-child="cancel_button">
 724     <widget class="GtkButton" id="fileSelCancelButton">
 725       <property name="visible">True</property>
 726       <property name="can_default">True</property>
 727       <property name="can_focus">True</property>
 728       <property name="relief">GTK_RELIEF_NORMAL</property>
 729       <property name="focus_on_click">True</property>
 730     </widget>
 731   </child>
 732
 733   <child internal-child="ok_button">
 734     <widget class="GtkButton" id="fileSelOkButton">
 735       <property name="visible">True</property>
 736       <property name="can_default">True</property>
 737       <property name="can_focus">True</property>
 738       <property name="relief">GTK_RELIEF_NORMAL</property>
 739       <property name="focus_on_click">True</property>
 740     </widget>
 741   </child>
 742 </widget>
 743
 744 <widget class="GtkDialog" id="RecordChoiceDialog">
 745   <property name="width_request">450</property>
 746   <property name="height_request">400</property>
 747   <property name="title" translatable="yes">title</property>
 748   <property name="type">GTK_WINDOW_TOPLEVEL</property>
 749   <property name="window_position">GTK_WIN_POS_NONE</property>
 750   <property name="modal">True</property>
 751   <property name="resizable">True</property>
 752   <property name="destroy_with_parent">False</property>
 753   <property name="decorated">True</property>
 754   <property name="skip_taskbar_hint">False</property>
 755   <property name="skip_pager_hint">False</property>
 756   <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
 757   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
 758   <property name="focus_on_map">True</property>
 759   <property name="urgency_hint">False</property>
 760   <property name="has_separator">True</property>
 761
 762   <child internal-child="vbox">
 763     <widget class="GtkVBox" id="dialog-vbox4">
 764       <property name="visible">True</property>
 765       <property name="homogeneous">False</property>
 766       <property name="spacing">0</property>
 767
 768       <child internal-child="action_area">
 769         <widget class="GtkHButtonBox" id="dialog-action_area4">
 770           <property name="visible">True</property>
 771           <property name="layout_style">GTK_BUTTONBOX_END</property>
 772
 773           <child>
 774             <widget class="GtkButton" id="RecordChoiceHelpButton">
 775               <property name="visible">True</property>
 776               <property name="can_default">True</property>
 777               <property name="can_focus">True</property>
 778               <property name="label">gtk-help</property>
 779               <property name="use_stock">True</property>
 780               <property name="relief">GTK_RELIEF_NORMAL</property>
 781               <property name="focus_on_click">True</property>
 782               <property name="response_id">-11</property>
 783             </widget>
 784           </child>
 785
 786           <child>
 787             <widget class="GtkButton" id="RecordChoiceCancelButton">
 788               <property name="visible">True</property>
 789               <property name="can_default">True</property>
 790               <property name="can_focus">True</property>
 791               <property name="label">gtk-cancel</property>
 792               <property name="use_stock">True</property>
 793               <property name="relief">GTK_RELIEF_NORMAL</property>
 794               <property name="focus_on_click">True</property>
 795               <property name="response_id">-6</property>
 796             </widget>
 797           </child>
 798
 799           <child>
 800             <widget class="GtkButton" id="RecordChoiceOkButton">
 801               <property name="visible">True</property>
 802               <property name="can_default">True</property>
 803               <property name="can_focus">True</property>
 804               <property name="label">gtk-ok</property>
 805               <property name="use_stock">True</property>
 806               <property name="relief">GTK_RELIEF_NORMAL</property>
 807               <property name="focus_on_click">True</property>
 808               <property name="response_id">-5</property>
 809             </widget>
 810           </child>
 811         </widget>
 812         <packing>
 813           <property name="padding">0</property>
 814           <property name="expand">False</property>
 815           <property name="fill">True</property>
 816           <property name="pack_type">GTK_PACK_END</property>
 817         </packing>
 818       </child>
 819
 820       <child>
 821         <widget class="GtkVBox" id="vbox3">
 822           <property name="visible">True</property>
 823           <property name="homogeneous">False</property>
 824           <property name="spacing">0</property>
 825
 826           <child>
 827             <widget class="GtkLabel" id="RecordChoiceDialogLabel">
 828               <property name="visible">True</property>
 829               <property name="label" translatable="yes">some informative message here ...</property>
 830               <property name="use_underline">False</property>
 831               <property name="use_markup">False</property>
 832               <property name="justify">GTK_JUSTIFY_LEFT</property>
 833               <property name="wrap">False</property>
 834               <property name="selectable">False</property>
 835               <property name="xalign">0.5</property>
 836               <property name="yalign">0.5</property>
 837               <property name="xpad">0</property>
 838               <property name="ypad">0</property>
 839               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 840               <property name="width_chars">-1</property>
 841               <property name="single_line_mode">False</property>
 842               <property name="angle">0</property>
 843             </widget>
 844             <packing>
 845               <property name="padding">0</property>
 846               <property name="expand">False</property>
 847               <property name="fill">False</property>
 848             </packing>
 849           </child>
 850
 851           <child>
 852             <widget class="GtkScrolledWindow" id="scrolledwindow4">
 853               <property name="visible">True</property>
 854               <property name="can_focus">True</property>
 855               <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
 856               <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
 857               <property name="shadow_type">GTK_SHADOW_IN</property>
 858               <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
 859
 860               <child>
 861                 <widget class="GtkTreeView" id="RecordChoiceTreeView">
 862                   <property name="visible">True</property>
 863                   <property name="can_focus">True</property>
 864                   <property name="headers_visible">False</property>
 865                   <property name="rules_hint">False</property>
 866                   <property name="reorderable">False</property>
 867                   <property name="enable_search">True</property>
 868                   <property name="fixed_height_mode">False</property>
 869                   <property name="hover_selection">False</property>
 870                   <property name="hover_expand">False</property>
 871                 </widget>
 872               </child>
 873             </widget>
 874             <packing>
 875               <property name="padding">0</property>
 876               <property name="expand">True</property>
 877               <property name="fill">True</property>
 878             </packing>
 879           </child>
 880         </widget>
 881         <packing>
 882           <property name="padding">0</property>
 883           <property name="expand">True</property>
 884           <property name="fill">True</property>
 885         </packing>
 886       </child>
 887     </widget>
 888   </child>
 889 </widget>
 890
 891 <widget class="GtkWindow" id="MainWin">
 892   <property name="title" translatable="yes">Matita</property>
 893   <property name="type">GTK_WINDOW_TOPLEVEL</property>
 894   <property name="window_position">GTK_WIN_POS_NONE</property>
 895   <property name="modal">False</property>
 896   <property name="resizable">True</property>
 897   <property name="destroy_with_parent">False</property>
 898   <property name="decorated">True</property>
 899   <property name="skip_taskbar_hint">False</property>
 900   <property name="skip_pager_hint">False</property>
 901   <property name="type_hint">GDK_WINDOW_TYPE_HINT_NORMAL</property>
 902   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
 903   <property name="focus_on_map">True</property>
 904   <property name="urgency_hint">False</property>
 905
 906   <child>
 907     <widget class="GtkEventBox" id="MainWinEventBox">
 908       <property name="visible">True</property>
 909       <property name="visible_window">True</property>
 910       <property name="above_child">False</property>
 911
 912       <child>
 913         <widget class="GtkVBox" id="vbox8">
 914           <property name="visible">True</property>
 915           <property name="homogeneous">False</property>
 916           <property name="spacing">0</property>
 917
 918           <child>
 919             <widget class="GtkHandleBox" id="menuBarHandleBox">
 920               <property name="visible">True</property>
 921               <property name="shadow_type">GTK_SHADOW_OUT</property>
 922               <property name="handle_position">GTK_POS_LEFT</property>
 923               <property name="snap_edge">GTK_POS_TOP</property>
 924
 925               <child>
 926                 <widget class="GtkMenuBar" id="menubar1">
 927                   <property name="visible">True</property>
 928                   <property name="pack_direction">GTK_PACK_DIRECTION_LTR</property>
 929                   <property name="child_pack_direction">GTK_PACK_DIRECTION_LTR</property>
 930
 931                   <child>
 932                     <widget class="GtkMenuItem" id="fileMenu">
 933                       <property name="visible">True</property>
 934                       <property name="label" translatable="yes">_File</property>
 935                       <property name="use_underline">True</property>
 936
 937                       <child>
 938                         <widget class="GtkMenu" id="fileMenu_menu">
 939
 940                           <child>
 941                             <widget class="GtkImageMenuItem" id="newMenuItem">
 942                               <property name="visible">True</property>
 943                               <property name="label" translatable="yes">_New</property>
 944                               <property name="use_underline">True</property>
 945                               <accelerator key="n" modifiers="GDK_CONTROL_MASK" signal="activate"/>
 946
 947                               <child internal-child="image">
 948                                 <widget class="GtkImage" id="image889">
 949                                   <property name="visible">True</property>
 950                                   <property name="stock">gtk-new</property>
 951                                   <property name="icon_size">1</property>
 952                                   <property name="xalign">0.5</property>
 953                                   <property name="yalign">0.5</property>
 954                                   <property name="xpad">0</property>
 955                                   <property name="ypad">0</property>
 956                                 </widget>
 957                               </child>
 958                             </widget>
 959                           </child>
 960
 961                           <child>
 962                             <widget class="GtkImageMenuItem" id="openMenuItem">
 963                               <property name="visible">True</property>
 964                               <property name="label" translatable="yes">_Open...</property>
 965                               <property name="use_underline">True</property>
 966                               <accelerator key="o" modifiers="GDK_CONTROL_MASK" signal="activate"/>
 967
 968                               <child internal-child="image">
 969                                 <widget class="GtkImage" id="image890">
 970                                   <property name="visible">True</property>
 971                                   <property name="stock">gtk-open</property>
 972                                   <property name="icon_size">1</property>
 973                                   <property name="xalign">0.5</property>
 974                                   <property name="yalign">0.5</property>
 975                                   <property name="xpad">0</property>
 976                                   <property name="ypad">0</property>
 977                                 </widget>
 978                               </child>
 979                             </widget>
 980                           </child>
 981
 982                           <child>
 983                             <widget class="GtkImageMenuItem" id="saveMenuItem">
 984                               <property name="visible">True</property>
 985                               <property name="label" translatable="yes">_Save</property>
 986                               <property name="use_underline">True</property>
 987                               <accelerator key="s" modifiers="GDK_CONTROL_MASK" signal="activate"/>
 988
 989                               <child internal-child="image">
 990                                 <widget class="GtkImage" id="image891">
 991                                   <property name="visible">True</property>
 992                                   <property name="stock">gtk-save</property>
 993                                   <property name="icon_size">1</property>
 994                                   <property name="xalign">0.5</property>
 995                                   <property name="yalign">0.5</property>
 996                                   <property name="xpad">0</property>
 997                                   <property name="ypad">0</property>
 998                                 </widget>
 999                               </child>
1000                             </widget>
1001                           </child>
1002
1003                           <child>
1004                             <widget class="GtkImageMenuItem" id="saveAsMenuItem">
1005                               <property name="visible">True</property>
1006                               <property name="label" translatable="yes">Save _As ...</property>
1007                               <property name="use_underline">True</property>
1008                               <accelerator key="s" modifiers="GDK_CONTROL_MASK | GDK_SHIFT_MASK" signal="activate"/>
1009
1010                               <child internal-child="image">
1011                                 <widget class="GtkImage" id="image892">
1012                                   <property name="visible">True</property>
1013                                   <property name="stock">gtk-save-as</property>
1014                                   <property name="icon_size">1</property>
1015                                   <property name="xalign">0.5</property>
1016                                   <property name="yalign">0.5</property>
1017                                   <property name="xpad">0</property>
1018                                   <property name="ypad">0</property>
1019                                 </widget>
1020                               </child>
1021                             </widget>
1022                           </child>
1023
1024                           <child>
1025                             <widget class="GtkImageMenuItem" id="developmentsMenuItem">
1026                               <property name="visible">True</property>
1027                               <property name="label" translatable="yes">_Developments...</property>
1028                               <property name="use_underline">True</property>
1029                               <accelerator key="d" modifiers="GDK_CONTROL_MASK" signal="activate"/>
1030
1031                               <child internal-child="image">
1032                                 <widget class="GtkImage" id="image893">
1033                                   <property name="visible">True</property>
1034                                   <property name="stock">gtk-execute</property>
1035                                   <property name="icon_size">1</property>
1036                                   <property name="xalign">0.5</property>
1037                                   <property name="yalign">0.5</property>
1038                                   <property name="xpad">0</property>
1039                                   <property name="ypad">0</property>
1040                                 </widget>
1041                               </child>
1042                             </widget>
1043                           </child>
1044
1045                           <child>
1046                             <widget class="GtkSeparatorMenuItem" id="separator2">
1047                               <property name="visible">True</property>
1048                             </widget>
1049                           </child>
1050
1051                           <child>
1052                             <widget class="GtkImageMenuItem" id="quitMenuItem">
1053                               <property name="visible">True</property>
1054                               <property name="label" translatable="yes">_Quit</property>
1055                               <property name="use_underline">True</property>
1056                               <accelerator key="q" modifiers="GDK_CONTROL_MASK" signal="activate"/>
1057
1058                               <child internal-child="image">
1059                                 <widget class="GtkImage" id="image894">
1060                                   <property name="visible">True</property>
1061                                   <property name="stock">gtk-quit</property>
1062                                   <property name="icon_size">1</property>
1063                                   <property name="xalign">0.5</property>
1064                                   <property name="yalign">0.5</property>
1065                                   <property name="xpad">0</property>
1066                                   <property name="ypad">0</property>
1067                                 </widget>
1068                               </child>
1069                             </widget>
1070                           </child>
1071                         </widget>
1072                       </child>
1073                     </widget>
1074                   </child>
1075
1076                   <child>
1077                     <widget class="GtkMenuItem" id="editMenu">
1078                       <property name="visible">True</property>
1079                       <property name="label" translatable="yes">_Edit</property>
1080                       <property name="use_underline">True</property>
1081
1082                       <child>
1083                         <widget class="GtkMenu" id="editMenu_menu">
1084
1085                           <child>
1086                             <widget class="GtkImageMenuItem" id="undoMenuItem">
1087                               <property name="visible">True</property>
1088                               <property name="sensitive">False</property>
1089                               <property name="label" translatable="yes">_Undo</property>
1090                               <property name="use_underline">True</property>
1091                               <accelerator key="z" modifiers="GDK_CONTROL_MASK" signal="activate"/>
1092
1093                               <child internal-child="image">
1094                                 <widget class="GtkImage" id="image895">
1095                                   <property name="visible">True</property>
1096                                   <property name="stock">gtk-undo</property>
1097                                   <property name="icon_size">1</property>
1098                                   <property name="xalign">0.5</property>
1099                                   <property name="yalign">0.5</property>
1100                                   <property name="xpad">0</property>
1101                                   <property name="ypad">0</property>
1102                                 </widget>
1103                               </child>
1104                             </widget>
1105                           </child>
1106
1107                           <child>
1108                             <widget class="GtkImageMenuItem" id="redoMenuItem">
1109                               <property name="visible">True</property>
1110                               <property name="sensitive">False</property>
1111                               <property name="label" translatable="yes">_Redo</property>
1112                               <property name="use_underline">True</property>
1113                               <accelerator key="z" modifiers="GDK_CONTROL_MASK | GDK_SHIFT_MASK" signal="activate"/>
1114
1115                               <child internal-child="image">
1116                                 <widget class="GtkImage" id="image896">
1117                                   <property name="visible">True</property>
1118                                   <property name="stock">gtk-redo</property>
1119                                   <property name="icon_size">1</property>
1120                                   <property name="xalign">0.5</property>
1121                                   <property name="yalign">0.5</property>
1122                                   <property name="xpad">0</property>
1123                                   <property name="ypad">0</property>
1124                                 </widget>
1125                               </child>
1126                             </widget>
1127                           </child>
1128
1129                           <child>
1130                             <widget class="GtkSeparatorMenuItem" id="separator3">
1131                               <property name="visible">True</property>
1132                             </widget>
1133                           </child>
1134
1135                           <child>
1136                             <widget class="GtkImageMenuItem" id="cutMenuItem">
1137                               <property name="visible">True</property>
1138                               <property name="label" translatable="yes">Cu_t</property>
1139                               <property name="use_underline">True</property>
1140                               <accelerator key="x" modifiers="GDK_CONTROL_MASK" signal="activate"/>
1141
1142                               <child internal-child="image">
1143                                 <widget class="GtkImage" id="image897">
1144                                   <property name="visible">True</property>
1145                                   <property name="stock">gtk-cut</property>
1146                                   <property name="icon_size">1</property>
1147                                   <property name="xalign">0.5</property>
1148                                   <property name="yalign">0.5</property>
1149                                   <property name="xpad">0</property>
1150                                   <property name="ypad">0</property>
1151                                 </widget>
1152                               </child>
1153                             </widget>
1154                           </child>
1155
1156                           <child>
1157                             <widget class="GtkImageMenuItem" id="copyMenuItem">
1158                               <property name="visible">True</property>
1159                               <property name="label" translatable="yes">_Copy</property>
1160                               <property name="use_underline">True</property>
1161                               <accelerator key="c" modifiers="GDK_CONTROL_MASK" signal="activate"/>
1162
1163                               <child internal-child="image">
1164                                 <widget class="GtkImage" id="image898">
1165                                   <property name="visible">True</property>
1166                                   <property name="stock">gtk-copy</property>
1167                                   <property name="icon_size">1</property>
1168                                   <property name="xalign">0.5</property>
1169                                   <property name="yalign">0.5</property>
1170                                   <property name="xpad">0</property>
1171                                   <property name="ypad">0</property>
1172                                 </widget>
1173                               </child>
1174                             </widget>
1175                           </child>
1176
1177                           <child>
1178                             <widget class="GtkImageMenuItem" id="pasteMenuItem">
1179                               <property name="visible">True</property>
1180                               <property name="label" translatable="yes">_Paste</property>
1181                               <property name="use_underline">True</property>
1182                               <accelerator key="v" modifiers="GDK_CONTROL_MASK" signal="activate"/>
1183
1184                               <child internal-child="image">
1185                                 <widget class="GtkImage" id="image899">
1186                                   <property name="visible">True</property>
1187                                   <property name="stock">gtk-paste</property>
1188                                   <property name="icon_size">1</property>
1189                                   <property name="xalign">0.5</property>
1190                                   <property name="yalign">0.5</property>
1191                                   <property name="xpad">0</property>
1192                                   <property name="ypad">0</property>
1193                                 </widget>
1194                               </child>
1195                             </widget>
1196                           </child>
1197
1198                           <child>
1199                             <widget class="GtkMenuItem" id="pastePatternMenuItem">
1200                               <property name="visible">True</property>
1201                               <property name="label" translatable="yes">Paste as pattern</property>
1202                               <property name="use_underline">True</property>
1203                             </widget>
1204                           </child>
1205
1206                           <child>
1207                             <widget class="GtkImageMenuItem" id="deleteMenuItem">
1208                               <property name="visible">True</property>
1209                               <property name="label" translatable="yes">_Delete</property>
1210                               <property name="use_underline">True</property>
1211
1212                               <child internal-child="image">
1213                                 <widget class="GtkImage" id="image900">
1214                                   <property name="visible">True</property>
1215                                   <property name="stock">gtk-delete</property>
1216                                   <property name="icon_size">1</property>
1217                                   <property name="xalign">0.5</property>
1218                                   <property name="yalign">0.5</property>
1219                                   <property name="xpad">0</property>
1220                                   <property name="ypad">0</property>
1221                                 </widget>
1222                               </child>
1223                             </widget>
1224                           </child>
1225
1226                           <child>
1227                             <widget class="GtkSeparatorMenuItem" id="separator4">
1228                               <property name="visible">True</property>
1229                             </widget>
1230                           </child>
1231
1232                           <child>
1233                             <widget class="GtkMenuItem" id="selectAllMenuItem">
1234                               <property name="visible">True</property>
1235                               <property name="label" translatable="yes">Select _All</property>
1236                               <property name="use_underline">True</property>
1237                             </widget>
1238                           </child>
1239
1240                           <child>
1241                             <widget class="GtkSeparatorMenuItem" id="separator7">
1242                               <property name="visible">True</property>
1243                             </widget>
1244                           </child>
1245
1246                           <child>
1247                             <widget class="GtkImageMenuItem" id="findReplMenuItem">
1248                               <property name="visible">True</property>
1249                               <property name="label" translatable="yes">_Find &amp; Replace ...</property>
1250                               <property name="use_underline">True</property>
1251                               <accelerator key="f" modifiers="GDK_CONTROL_MASK" signal="activate"/>
1252
1253                               <child internal-child="image">
1254                                 <widget class="GtkImage" id="image901">
1255                                   <property name="visible">True</property>
1256                                   <property name="stock">gtk-find-and-replace</property>
1257                                   <property name="icon_size">1</property>
1258                                   <property name="xalign">0.5</property>
1259                                   <property name="yalign">0.5</property>
1260                                   <property name="xpad">0</property>
1261                                   <property name="ypad">0</property>
1262                                 </widget>
1263                               </child>
1264                             </widget>
1265                           </child>
1266
1267                           <child>
1268                             <widget class="GtkSeparatorMenuItem" id="separator8">
1269                               <property name="visible">True</property>
1270                             </widget>
1271                           </child>
1272
1273                           <child>
1274                             <widget class="GtkMenuItem" id="LigatureButton">
1275                               <property name="visible">True</property>
1276                               <property name="label" translatable="yes">Next ligature</property>
1277                               <property name="use_underline">True</property>
1278                               <accelerator key="l" modifiers="GDK_MOD1_MASK" signal="activate"/>
1279                             </widget>
1280                           </child>
1281
1282                           <child>
1283                             <widget class="GtkMenuItem" id="externalEditorMenuItem">
1284                               <property name="visible">True</property>
1285                               <property name="label" translatable="yes">Edit with E_xternal Editor</property>
1286                               <property name="use_underline">True</property>
1287                             </widget>
1288                           </child>
1289                         </widget>
1290                       </child>
1291                     </widget>
1292                   </child>
1293
1294                   <child>
1295                     <widget class="GtkMenuItem" id="scriptMenu">
1296                       <property name="visible">True</property>
1297                       <property name="label" translatable="yes">_Script</property>
1298                       <property name="use_underline">True</property>
1299
1300                       <child>
1301                         <widget class="GtkMenu" id="scriptMenu_menu">
1302
1303                           <child>
1304                             <widget class="GtkMenuItem" id="scriptAdvanceMenuItem">
1305                               <property name="visible">True</property>
1306                               <property name="label" translatable="yes">Execute 1 phrase</property>
1307                               <property name="use_underline">True</property>
1308                               <accelerator key="Page_Down" modifiers="GDK_CONTROL_MASK | GDK_MOD1_MASK" signal="activate"/>
1309                             </widget>
1310                           </child>
1311
1312                           <child>
1313                             <widget class="GtkMenuItem" id="scriptRetractMenuItem">
1314                               <property name="visible">True</property>
1315                               <property name="label" translatable="yes">Retract 1 phrase</property>
1316                               <property name="use_underline">True</property>
1317                               <accelerator key="Page_Up" modifiers="GDK_CONTROL_MASK | GDK_MOD1_MASK" signal="activate"/>
1318                             </widget>
1319                           </child>
1320
1321                           <child>
1322                             <widget class="GtkSeparatorMenuItem" id="separator9">
1323                               <property name="visible">True</property>
1324                             </widget>
1325                           </child>
1326
1327                           <child>
1328                             <widget class="GtkMenuItem" id="scriptBottomMenuItem">
1329                               <property name="visible">True</property>
1330                               <property name="label" translatable="yes">Execute all</property>
1331                               <property name="use_underline">True</property>
1332                               <accelerator key="End" modifiers="GDK_CONTROL_MASK | GDK_MOD1_MASK" signal="activate"/>
1333                             </widget>
1334                           </child>
1335
1336                           <child>
1337                             <widget class="GtkMenuItem" id="scriptTopMenuItem">
1338                               <property name="visible">True</property>
1339                               <property name="label" translatable="yes">Restart</property>
1340                               <property name="use_underline">True</property>
1341                               <accelerator key="Home" modifiers="GDK_CONTROL_MASK | GDK_MOD1_MASK" signal="activate"/>
1342                             </widget>
1343                           </child>
1344
1345                           <child>
1346                             <widget class="GtkSeparatorMenuItem" id="separator10">
1347                               <property name="visible">True</property>
1348                             </widget>
1349                           </child>
1350
1351                           <child>
1352                             <widget class="GtkMenuItem" id="scriptJumpMenuItem">
1353                               <property name="visible">True</property>
1354                               <property name="label" translatable="yes">Execute until cursor</property>
1355                               <property name="use_underline">True</property>
1356                               <accelerator key="period" modifiers="GDK_CONTROL_MASK | GDK_MOD1_MASK" signal="activate"/>
1357                             </widget>
1358                           </child>
1359                         </widget>
1360                       </child>
1361                     </widget>
1362                   </child>
1363
1364                   <child>
1365                     <widget class="GtkMenuItem" id="viewMenu">
1366                       <property name="visible">True</property>
1367                       <property name="label" translatable="yes">_View</property>
1368                       <property name="use_underline">True</property>
1369
1370                       <child>
1371                         <widget class="GtkMenu" id="viewMenu_menu">
1372
1373                           <child>
1374                             <widget class="GtkCheckMenuItem" id="tacticsBarMenuItem">
1375                               <property name="visible">True</property>
1376                               <property name="label" translatable="yes">Show _Tactics Bar</property>
1377                               <property name="use_underline">True</property>
1378                               <property name="active">True</property>
1379                               <accelerator key="F2" modifiers="0" signal="activate"/>
1380                             </widget>
1381                           </child>
1382
1383                           <child>
1384                             <widget class="GtkMenuItem" id="newCicBrowserMenuItem">
1385                               <property name="visible">True</property>
1386                               <property name="label" translatable="yes">New Cic _Browser</property>
1387                               <property name="use_underline">True</property>
1388                               <accelerator key="F3" modifiers="0" signal="activate"/>
1389                             </widget>
1390                           </child>
1391
1392                           <child>
1393                             <widget class="GtkSeparatorMenuItem" id="separator5">
1394                               <property name="visible">True</property>
1395                             </widget>
1396                           </child>
1397
1398                           <child>
1399                             <widget class="GtkCheckMenuItem" id="fullscreenMenuItem">
1400                               <property name="visible">True</property>
1401                               <property name="label" translatable="yes">_Fullscreen</property>
1402                               <property name="use_underline">True</property>
1403                               <property name="active">False</property>
1404                               <accelerator key="F11" modifiers="0" signal="activate"/>
1405                             </widget>
1406                           </child>
1407
1408                           <child>
1409                             <widget class="GtkSeparatorMenuItem" id="separator1">
1410                               <property name="visible">True</property>
1411                             </widget>
1412                           </child>
1413
1414                           <child>
1415                             <widget class="GtkImageMenuItem" id="increaseFontSizeMenuItem">
1416                               <property name="visible">True</property>
1417                               <property name="label" translatable="yes">Zoom _In</property>
1418                               <property name="use_underline">True</property>
1419                               <signal name="activate" handler="on_increaseFontSizeMenuItem_activate" last_modification_time="Wed, 15 Jun 2005 15:06:29 GMT"/>
1420                               <accelerator key="plus" modifiers="GDK_CONTROL_MASK" signal="activate"/>
1421
1422                               <child internal-child="image">
1423                                 <widget class="GtkImage" id="image902">
1424                                   <property name="visible">True</property>
1425                                   <property name="stock">gtk-zoom-in</property>
1426                                   <property name="icon_size">1</property>
1427                                   <property name="xalign">0.5</property>
1428                                   <property name="yalign">0.5</property>
1429                                   <property name="xpad">0</property>
1430                                   <property name="ypad">0</property>
1431                                 </widget>
1432                               </child>
1433                             </widget>
1434                           </child>
1435
1436                           <child>
1437                             <widget class="GtkImageMenuItem" id="decreaseFontSizeMenuItem">
1438                               <property name="visible">True</property>
1439                               <property name="label" translatable="yes">Zoom _Out</property>
1440                               <property name="use_underline">True</property>
1441                               <signal name="activate" handler="on_decreaseFontSizeMenuItem_activate" last_modification_time="Wed, 15 Jun 2005 15:06:29 GMT"/>
1442                               <accelerator key="minus" modifiers="GDK_CONTROL_MASK" signal="activate"/>
1443
1444                               <child internal-child="image">
1445                                 <widget class="GtkImage" id="image903">
1446                                   <property name="visible">True</property>
1447                                   <property name="stock">gtk-zoom-out</property>
1448                                   <property name="icon_size">1</property>
1449                                   <property name="xalign">0.5</property>
1450                                   <property name="yalign">0.5</property>
1451                                   <property name="xpad">0</property>
1452                                   <property name="ypad">0</property>
1453                                 </widget>
1454                               </child>
1455                             </widget>
1456                           </child>
1457
1458                           <child>
1459                             <widget class="GtkImageMenuItem" id="normalFontSizeMenuItem">
1460                               <property name="visible">True</property>
1461                               <property name="label" translatable="yes">_Normal Size</property>
1462                               <property name="use_underline">True</property>
1463                               <accelerator key="equal" modifiers="GDK_CONTROL_MASK" signal="activate"/>
1464
1465                               <child internal-child="image">
1466                                 <widget class="GtkImage" id="image904">
1467                                   <property name="visible">True</property>
1468                                   <property name="stock">gtk-zoom-100</property>
1469                                   <property name="icon_size">1</property>
1470                                   <property name="xalign">0.5</property>
1471                                   <property name="yalign">0.5</property>
1472                                   <property name="xpad">0</property>
1473                                   <property name="ypad">0</property>
1474                                 </widget>
1475                               </child>
1476                             </widget>
1477                           </child>
1478                         </widget>
1479                       </child>
1480                     </widget>
1481                   </child>
1482
1483                   <child>
1484                     <widget class="GtkMenuItem" id="debugMenu">
1485                       <property name="visible">True</property>
1486                       <property name="label" translatable="yes">_Debug</property>
1487                       <property name="use_underline">True</property>
1488
1489                       <child>
1490                         <widget class="GtkMenu" id="debugMenu_menu">
1491
1492                           <child>
1493                             <widget class="GtkSeparatorMenuItem" id="separator6">
1494                               <property name="visible">True</property>
1495                             </widget>
1496                           </child>
1497                         </widget>
1498                       </child>
1499                     </widget>
1500                   </child>
1501
1502                   <child>
1503                     <widget class="GtkMenuItem" id="helpMenu">
1504                       <property name="visible">True</property>
1505                       <property name="label" translatable="yes">_Help</property>
1506                       <property name="use_underline">True</property>
1507
1508                       <child>
1509                         <widget class="GtkMenu" id="helpMenu_menu">
1510
1511                           <child>
1512                             <widget class="GtkImageMenuItem" id="contentsMenuItem">
1513                               <property name="visible">True</property>
1514                               <property name="label" translatable="yes">_Contents</property>
1515                               <property name="use_underline">True</property>
1516                               <accelerator key="F1" modifiers="0" signal="activate"/>
1517
1518                               <child internal-child="image">
1519                                 <widget class="GtkImage" id="image905">
1520                                   <property name="visible">True</property>
1521                                   <property name="stock">gtk-help</property>
1522                                   <property name="icon_size">1</property>
1523                                   <property name="xalign">0.5</property>
1524                                   <property name="yalign">0.5</property>
1525                                   <property name="xpad">0</property>
1526                                   <property name="ypad">0</property>
1527                                 </widget>
1528                               </child>
1529                             </widget>
1530                           </child>
1531
1532                           <child>
1533                             <widget class="GtkImageMenuItem" id="aboutMenuItem">
1534                               <property name="visible">True</property>
1535                               <property name="label" translatable="yes">_About</property>
1536                               <property name="use_underline">True</property>
1537
1538                               <child internal-child="image">
1539                                 <widget class="GtkImage" id="image906">
1540                                   <property name="visible">True</property>
1541                                   <property name="stock">gtk-about</property>
1542                                   <property name="icon_size">1</property>
1543                                   <property name="xalign">0.5</property>
1544                                   <property name="yalign">0.5</property>
1545                                   <property name="xpad">0</property>
1546                                   <property name="ypad">0</property>
1547                                 </widget>
1548                               </child>
1549                             </widget>
1550                           </child>
1551                         </widget>
1552                       </child>
1553                     </widget>
1554                   </child>
1555                 </widget>
1556               </child>
1557             </widget>
1558             <packing>
1559               <property name="padding">0</property>
1560               <property name="expand">False</property>
1561               <property name="fill">False</property>
1562             </packing>
1563           </child>
1564
1565           <child>
1566             <widget class="GtkHBox" id="hbox9">
1567               <property name="visible">True</property>
1568               <property name="homogeneous">False</property>
1569               <property name="spacing">0</property>
1570
1571               <child>
1572                 <widget class="GtkHPaned" id="hpaneScriptSequent">
1573                   <property name="visible">True</property>
1574                   <property name="can_focus">True</property>
1575
1576                   <child>
1577                     <widget class="GtkHBox" id="hbox18">
1578                       <property name="visible">True</property>
1579                       <property name="homogeneous">False</property>
1580                       <property name="spacing">0</property>
1581
1582                       <child>
1583                         <widget class="GtkHandleBox" id="TacticsButtonsHandlebox">
1584                           <property name="visible">True</property>
1585                           <property name="shadow_type">GTK_SHADOW_OUT</property>
1586                           <property name="handle_position">GTK_POS_TOP</property>
1587                           <property name="snap_edge">GTK_POS_TOP</property>
1588
1589                           <child>
1590                             <widget class="GtkTable" id="ToolBarTable">
1591                               <property name="visible">True</property>
1592                               <property name="n_rows">17</property>
1593                               <property name="n_columns">2</property>
1594                               <property name="homogeneous">False</property>
1595                               <property name="row_spacing">4</property>
1596                               <property name="column_spacing">0</property>
1597
1598                               <child>
1599                                 <widget class="GtkButton" id="applyButton">
1600                                   <property name="visible">True</property>
1601                                   <property name="tooltip" translatable="yes">Apply</property>
1602                                   <property name="can_focus">True</property>
1603                                   <property name="label" translatable="yes">apply</property>
1604                                   <property name="use_underline">True</property>
1605                                   <property name="relief">GTK_RELIEF_NORMAL</property>
1606                                   <property name="focus_on_click">True</property>
1607                                 </widget>
1608                                 <packing>
1609                                   <property name="left_attach">1</property>
1610                                   <property name="right_attach">2</property>
1611                                   <property name="top_attach">0</property>
1612                                   <property name="bottom_attach">1</property>
1613                                   <property name="x_options">fill</property>
1614                                   <property name="y_options"></property>
1615                                 </packing>
1616                               </child>
1617
1618                               <child>
1619                                 <widget class="GtkButton" id="introsButton">
1620                                   <property name="visible">True</property>
1621                                   <property name="tooltip" translatable="yes">Intros</property>
1622                                   <property name="can_focus">True</property>
1623                                   <property name="label" translatable="yes">intro</property>
1624                                   <property name="use_underline">True</property>
1625                                   <property name="relief">GTK_RELIEF_NORMAL</property>
1626                                   <property name="focus_on_click">True</property>
1627                                 </widget>
1628                                 <packing>
1629                                   <property name="left_attach">0</property>
1630                                   <property name="right_attach">1</property>
1631                                   <property name="top_attach">0</property>
1632                                   <property name="bottom_attach">1</property>
1633                                   <property name="x_options">fill</property>
1634                                   <property name="y_options"></property>
1635                                 </packing>
1636                               </child>
1637
1638                               <child>
1639                                 <widget class="GtkButton" id="exactButton">
1640                                   <property name="visible">True</property>
1641                                   <property name="tooltip" translatable="yes">Exact</property>
1642                                   <property name="can_focus">True</property>
1643                                   <property name="label" translatable="yes">exact</property>
1644                                   <property name="use_underline">True</property>
1645                                   <property name="relief">GTK_RELIEF_NORMAL</property>
1646                                   <property name="focus_on_click">True</property>
1647                                 </widget>
1648                                 <packing>
1649                                   <property name="left_attach">0</property>
1650                                   <property name="right_attach">1</property>
1651                                   <property name="top_attach">2</property>
1652                                   <property name="bottom_attach">3</property>
1653                                   <property name="x_options">fill</property>
1654                                   <property name="y_options"></property>
1655                                 </packing>
1656                               </child>
1657
1658                               <child>
1659                                 <widget class="GtkButton" id="elimButton">
1660                                   <property name="visible">True</property>
1661                                   <property name="tooltip" translatable="yes">Elim</property>
1662                                   <property name="can_focus">True</property>
1663                                   <property name="label" translatable="yes">elim</property>
1664                                   <property name="use_underline">True</property>
1665                                   <property name="relief">GTK_RELIEF_NORMAL</property>
1666                                   <property name="focus_on_click">True</property>
1667                                 </widget>
1668                                 <packing>
1669                                   <property name="left_attach">0</property>
1670                                   <property name="right_attach">1</property>
1671                                   <property name="top_attach">4</property>
1672                                   <property name="bottom_attach">5</property>
1673                                   <property name="x_options">fill</property>
1674                                   <property name="y_options"></property>
1675                                 </packing>
1676                               </child>
1677
1678                               <child>
1679                                 <widget class="GtkButton" id="reflexivityButton">
1680                                   <property name="visible">True</property>
1681                                   <property name="tooltip" translatable="yes">Reflexivity</property>
1682                                   <property name="can_focus">True</property>
1683                                   <property name="label" translatable="yes">refl</property>
1684                                   <property name="use_underline">True</property>
1685                                   <property name="relief">GTK_RELIEF_NORMAL</property>
1686                                   <property name="focus_on_click">True</property>
1687                                 </widget>
1688                                 <packing>
1689                                   <property name="left_attach">0</property>
1690                                   <property name="right_attach">1</property>
1691                                   <property name="top_attach">8</property>
1692                                   <property name="bottom_attach">9</property>
1693                                   <property name="x_options">fill</property>
1694                                   <property name="y_options"></property>
1695                                 </packing>
1696                               </child>
1697
1698                               <child>
1699                                 <widget class="GtkButton" id="symmetryButton">
1700                                   <property name="visible">True</property>
1701                                   <property name="tooltip" translatable="yes">Symmetry</property>
1702                                   <property name="can_focus">True</property>
1703                                   <property name="label" translatable="yes">sym</property>
1704                                   <property name="use_underline">True</property>
1705                                   <property name="relief">GTK_RELIEF_NORMAL</property>
1706                                   <property name="focus_on_click">True</property>
1707                                 </widget>
1708                                 <packing>
1709                                   <property name="left_attach">1</property>
1710                                   <property name="right_attach">2</property>
1711                                   <property name="top_attach">8</property>
1712                                   <property name="bottom_attach">9</property>
1713                                   <property name="x_options">fill</property>
1714                                   <property name="y_options"></property>
1715                                 </packing>
1716                               </child>
1717
1718                               <child>
1719                                 <widget class="GtkButton" id="transitivityButton">
1720                                   <property name="visible">True</property>
1721                                   <property name="tooltip" translatable="yes">Transitivity</property>
1722                                   <property name="can_focus">True</property>
1723                                   <property name="label" translatable="yes">trans</property>
1724                                   <property name="use_underline">True</property>
1725                                   <property name="relief">GTK_RELIEF_NORMAL</property>
1726                                   <property name="focus_on_click">True</property>
1727                                 </widget>
1728                                 <packing>
1729                                   <property name="left_attach">0</property>
1730                                   <property name="right_attach">1</property>
1731                                   <property name="top_attach">9</property>
1732                                   <property name="bottom_attach">10</property>
1733                                   <property name="x_options">fill</property>
1734                                   <property name="y_options"></property>
1735                                 </packing>
1736                               </child>
1737
1738                               <child>
1739                                 <widget class="GtkButton" id="simplifyButton">
1740                                   <property name="visible">True</property>
1741                                   <property name="tooltip" translatable="yes">Simplify</property>
1742                                   <property name="can_focus">True</property>
1743                                   <property name="label" translatable="yes">simpl</property>
1744                                   <property name="use_underline">True</property>
1745                                   <property name="relief">GTK_RELIEF_NORMAL</property>
1746                                   <property name="focus_on_click">True</property>
1747                                 </widget>
1748                                 <packing>
1749                                   <property name="left_attach">0</property>
1750                                   <property name="right_attach">1</property>
1751                                   <property name="top_attach">11</property>
1752                                   <property name="bottom_attach">12</property>
1753                                   <property name="x_options">fill</property>
1754                                   <property name="y_options"></property>
1755                                 </packing>
1756                               </child>
1757
1758                               <child>
1759                                 <widget class="GtkButton" id="reduceButton">
1760                                   <property name="visible">True</property>
1761                                   <property name="tooltip" translatable="yes">Reduce</property>
1762                                   <property name="can_focus">True</property>
1763                                   <property name="label" translatable="yes">red</property>
1764                                   <property name="use_underline">True</property>
1765                                   <property name="relief">GTK_RELIEF_NORMAL</property>
1766                                   <property name="focus_on_click">True</property>
1767                                 </widget>
1768                                 <packing>
1769                                   <property name="left_attach">1</property>
1770                                   <property name="right_attach">2</property>
1771                                   <property name="top_attach">11</property>
1772                                   <property name="bottom_attach">12</property>
1773                                   <property name="x_options">fill</property>
1774                                   <property name="y_options"></property>
1775                                 </packing>
1776                               </child>
1777
1778                               <child>
1779                                 <widget class="GtkButton" id="whdButton">
1780                                   <property name="visible">True</property>
1781                                   <property name="tooltip" translatable="yes">Whd</property>
1782                                   <property name="can_focus">True</property>
1783                                   <property name="label" translatable="yes">whd</property>
1784                                   <property name="use_underline">True</property>
1785                                   <property name="relief">GTK_RELIEF_NORMAL</property>
1786                                   <property name="focus_on_click">True</property>
1787                                 </widget>
1788                                 <packing>
1789                                   <property name="left_attach">0</property>
1790                                   <property name="right_attach">1</property>
1791                                   <property name="top_attach">12</property>
1792                                   <property name="bottom_attach">13</property>
1793                                   <property name="x_options">fill</property>
1794                                   <property name="y_options"></property>
1795                                 </packing>
1796                               </child>
1797
1798                               <child>
1799                                 <widget class="GtkButton" id="assumptionButton">
1800                                   <property name="visible">True</property>
1801                                   <property name="tooltip" translatable="yes">Assumption</property>
1802                                   <property name="can_focus">True</property>
1803                                   <property name="label" translatable="yes">assum</property>
1804                                   <property name="use_underline">True</property>
1805                                   <property name="relief">GTK_RELIEF_NORMAL</property>
1806                                   <property name="focus_on_click">True</property>
1807                                 </widget>
1808                                 <packing>
1809                                   <property name="left_attach">0</property>
1810                                   <property name="right_attach">1</property>
1811                                   <property name="top_attach">14</property>
1812                                   <property name="bottom_attach">15</property>
1813                                   <property name="x_options">fill</property>
1814                                   <property name="y_options"></property>
1815                                 </packing>
1816                               </child>
1817
1818                               <child>
1819                                 <widget class="GtkButton" id="autoButton">
1820                                   <property name="visible">True</property>
1821                                   <property name="tooltip" translatable="yes">Auto</property>
1822                                   <property name="can_focus">True</property>
1823                                   <property name="label" translatable="yes">auto</property>
1824                                   <property name="use_underline">True</property>
1825                                   <property name="relief">GTK_RELIEF_NORMAL</property>
1826                                   <property name="focus_on_click">True</property>
1827                                 </widget>
1828                                 <packing>
1829                                   <property name="left_attach">1</property>
1830                                   <property name="right_attach">2</property>
1831                                   <property name="top_attach">14</property>
1832                                   <property name="bottom_attach">15</property>
1833                                   <property name="x_options">fill</property>
1834                                   <property name="y_options"></property>
1835                                 </packing>
1836                               </child>
1837
1838                               <child>
1839                                 <widget class="GtkButton" id="cutButton">
1840                                   <property name="visible">True</property>
1841                                   <property name="tooltip" translatable="yes">Cut</property>
1842                                   <property name="can_focus">True</property>
1843                                   <property name="label" translatable="yes">cut</property>
1844                                   <property name="use_underline">True</property>
1845                                   <property name="relief">GTK_RELIEF_NORMAL</property>
1846                                   <property name="focus_on_click">True</property>
1847                                 </widget>
1848                                 <packing>
1849                                   <property name="left_attach">0</property>
1850                                   <property name="right_attach">1</property>
1851                                   <property name="top_attach">16</property>
1852                                   <property name="bottom_attach">17</property>
1853                                   <property name="x_options">fill</property>
1854                                   <property name="y_options"></property>
1855                                 </packing>
1856                               </child>
1857
1858                               <child>
1859                                 <widget class="GtkButton" id="replaceButton">
1860                                   <property name="visible">True</property>
1861                                   <property name="tooltip" translatable="yes">Replace</property>
1862                                   <property name="can_focus">True</property>
1863                                   <property name="label" translatable="yes">repl</property>
1864                                   <property name="use_underline">True</property>
1865                                   <property name="relief">GTK_RELIEF_NORMAL</property>
1866                                   <property name="focus_on_click">True</property>
1867                                 </widget>
1868                                 <packing>
1869                                   <property name="left_attach">1</property>
1870                                   <property name="right_attach">2</property>
1871                                   <property name="top_attach">16</property>
1872                                   <property name="bottom_attach">17</property>
1873                                   <property name="x_options">fill</property>
1874                                   <property name="y_options"></property>
1875                                 </packing>
1876                               </child>
1877
1878                               <child>
1879                                 <widget class="GtkButton" id="elimTypeButton">
1880                                   <property name="visible">True</property>
1881                                   <property name="tooltip" translatable="yes">ElimType</property>
1882                                   <property name="can_focus">True</property>
1883                                   <property name="label" translatable="yes">elimTy</property>
1884                                   <property name="use_underline">True</property>
1885                                   <property name="relief">GTK_RELIEF_NORMAL</property>
1886                                   <property name="focus_on_click">True</property>
1887                                 </widget>
1888                                 <packing>
1889                                   <property name="left_attach">1</property>
1890                                   <property name="right_attach">2</property>
1891                                   <property name="top_attach">4</property>
1892                                   <property name="bottom_attach">5</property>
1893                                   <property name="x_options">fill</property>
1894                                   <property name="y_options"></property>
1895                                 </packing>
1896                               </child>
1897
1898                               <child>
1899                                 <widget class="GtkHBox" id="hbox18">
1900                                   <property name="visible">True</property>
1901                                   <property name="homogeneous">True</property>
1902                                   <property name="spacing">0</property>
1903
1904                                   <child>
1905                                     <widget class="GtkButton" id="rightButton">
1906                                       <property name="visible">True</property>
1907                                       <property name="tooltip" translatable="yes">Right</property>
1908                                       <property name="can_focus">True</property>
1909                                       <property name="label" translatable="yes">R</property>
1910                                       <property name="use_underline">True</property>
1911                                       <property name="relief">GTK_RELIEF_NORMAL</property>
1912                                       <property name="focus_on_click">True</property>
1913                                     </widget>
1914                                     <packing>
1915                                       <property name="padding">0</property>
1916                                       <property name="expand">True</property>
1917                                       <property name="fill">True</property>
1918                                     </packing>
1919                                   </child>
1920
1921                                   <child>
1922                                     <widget class="GtkButton" id="existsButton">
1923                                       <property name="visible">True</property>
1924                                       <property name="tooltip" translatable="yes">Exists</property>
1925                                       <property name="can_focus">True</property>
1926                                       <property name="label" translatable="yes">∃</property>
1927                                       <property name="use_underline">True</property>
1928                                       <property name="relief">GTK_RELIEF_NORMAL</property>
1929                                       <property name="focus_on_click">True</property>
1930                                     </widget>
1931                                     <packing>
1932                                       <property name="padding">0</property>
1933                                       <property name="expand">True</property>
1934                                       <property name="fill">True</property>
1935                                     </packing>
1936                                   </child>
1937                                 </widget>
1938                                 <packing>
1939                                   <property name="left_attach">1</property>
1940                                   <property name="right_attach">2</property>
1941                                   <property name="top_attach">6</property>
1942                                   <property name="bottom_attach">7</property>
1943                                   <property name="x_options">fill</property>
1944                                   <property name="y_options">fill</property>
1945                                 </packing>
1946                               </child>
1947
1948                               <child>
1949                                 <widget class="GtkHBox" id="hbox17">
1950                                   <property name="visible">True</property>
1951                                   <property name="homogeneous">True</property>
1952                                   <property name="spacing">0</property>
1953
1954                                   <child>
1955                                     <widget class="GtkButton" id="splitButton">
1956                                       <property name="visible">True</property>
1957                                       <property name="tooltip" translatable="yes">Split</property>
1958                                       <property name="can_focus">True</property>
1959                                       <property name="label" translatable="yes">∧</property>
1960                                       <property name="use_underline">True</property>
1961                                       <property name="relief">GTK_RELIEF_NORMAL</property>
1962                                       <property name="focus_on_click">True</property>
1963                                     </widget>
1964                                     <packing>
1965                                       <property name="padding">0</property>
1966                                       <property name="expand">True</property>
1967                                       <property name="fill">True</property>
1968                                     </packing>
1969                                   </child>
1970
1971                                   <child>
1972                                     <widget class="GtkButton" id="leftButton">
1973                                       <property name="visible">True</property>
1974                                       <property name="tooltip" translatable="yes">Left</property>
1975                                       <property name="can_focus">True</property>
1976                                       <property name="label" translatable="yes">L</property>
1977                                       <property name="use_underline">True</property>
1978                                       <property name="relief">GTK_RELIEF_NORMAL</property>
1979                                       <property name="focus_on_click">True</property>
1980                                     </widget>
1981                                     <packing>
1982                                       <property name="padding">0</property>
1983                                       <property name="expand">True</property>
1984                                       <property name="fill">True</property>
1985                                     </packing>
1986                                   </child>
1987                                 </widget>
1988                                 <packing>
1989                                   <property name="left_attach">0</property>
1990                                   <property name="right_attach">1</property>
1991                                   <property name="top_attach">6</property>
1992                                   <property name="bottom_attach">7</property>
1993                                   <property name="x_options">fill</property>
1994                                   <property name="y_options">fill</property>
1995                                 </packing>
1996                               </child>
1997
1998                               <child>
1999                                 <widget class="GtkAlignment" id="alignment6">
2000                                   <property name="visible">True</property>
2001                                   <property name="xalign">0.5</property>
2002                                   <property name="yalign">0.5</property>
2003                                   <property name="xscale">1</property>
2004                                   <property name="yscale">1</property>
2005                                   <property name="top_padding">0</property>
2006                                   <property name="bottom_padding">0</property>
2007                                   <property name="left_padding">0</property>
2008                                   <property name="right_padding">0</property>
2009
2010                                   <child>
2011                                     <placeholder/>
2012                                   </child>
2013                                 </widget>
2014                                 <packing>
2015                                   <property name="left_attach">0</property>
2016                                   <property name="right_attach">1</property>
2017                                   <property name="top_attach">1</property>
2018                                   <property name="bottom_attach">2</property>
2019                                   <property name="x_options">fill</property>
2020                                 </packing>
2021                               </child>
2022
2023                               <child>
2024                                 <widget class="GtkAlignment" id="alignment7">
2025                                   <property name="visible">True</property>
2026                                   <property name="xalign">0.5</property>
2027                                   <property name="yalign">0.5</property>
2028                                   <property name="xscale">1</property>
2029                                   <property name="yscale">1</property>
2030                                   <property name="top_padding">0</property>
2031                                   <property name="bottom_padding">0</property>
2032                                   <property name="left_padding">0</property>
2033                                   <property name="right_padding">0</property>
2034
2035                                   <child>
2036                                     <placeholder/>
2037                                   </child>
2038                                 </widget>
2039                                 <packing>
2040                                   <property name="left_attach">0</property>
2041                                   <property name="right_attach">1</property>
2042                                   <property name="top_attach">3</property>
2043                                   <property name="bottom_attach">4</property>
2044                                   <property name="x_options">fill</property>
2045                                 </packing>
2046                               </child>
2047
2048                               <child>
2049                                 <widget class="GtkAlignment" id="alignment8">
2050                                   <property name="visible">True</property>
2051                                   <property name="xalign">0.5</property>
2052                                   <property name="yalign">0.5</property>
2053                                   <property name="xscale">1</property>
2054                                   <property name="yscale">1</property>
2055                                   <property name="top_padding">0</property>
2056                                   <property name="bottom_padding">0</property>
2057                                   <property name="left_padding">0</property>
2058                                   <property name="right_padding">0</property>
2059
2060                                   <child>
2061                                     <placeholder/>
2062                                   </child>
2063                                 </widget>
2064                                 <packing>
2065                                   <property name="left_attach">0</property>
2066                                   <property name="right_attach">1</property>
2067                                   <property name="top_attach">5</property>
2068                                   <property name="bottom_attach">6</property>
2069                                   <property name="x_options">fill</property>
2070                                 </packing>
2071                               </child>
2072
2073                               <child>
2074                                 <widget class="GtkAlignment" id="alignment9">
2075                                   <property name="visible">True</property>
2076                                   <property name="xalign">0.5</property>
2077                                   <property name="yalign">0.5</property>
2078                                   <property name="xscale">1</property>
2079                                   <property name="yscale">1</property>
2080                                   <property name="top_padding">0</property>
2081                                   <property name="bottom_padding">0</property>
2082                                   <property name="left_padding">0</property>
2083                                   <property name="right_padding">0</property>
2084
2085                                   <child>
2086                                     <placeholder/>
2087                                   </child>
2088                                 </widget>
2089                                 <packing>
2090                                   <property name="left_attach">0</property>
2091                                   <property name="right_attach">1</property>
2092                                   <property name="top_attach">7</property>
2093                                   <property name="bottom_attach">8</property>
2094                                   <property name="x_options">fill</property>
2095                                 </packing>
2096                               </child>
2097
2098                               <child>
2099                                 <widget class="GtkAlignment" id="alignment10">
2100                                   <property name="visible">True</property>
2101                                   <property name="xalign">0.5</property>
2102                                   <property name="yalign">0.5</property>
2103                                   <property name="xscale">1</property>
2104                                   <property name="yscale">1</property>
2105                                   <property name="top_padding">0</property>
2106                                   <property name="bottom_padding">0</property>
2107                                   <property name="left_padding">0</property>
2108                                   <property name="right_padding">0</property>
2109
2110                                   <child>
2111                                     <placeholder/>
2112                                   </child>
2113                                 </widget>
2114                                 <packing>
2115                                   <property name="left_attach">0</property>
2116                                   <property name="right_attach">1</property>
2117                                   <property name="top_attach">10</property>
2118                                   <property name="bottom_attach">11</property>
2119                                   <property name="x_options">fill</property>
2120                                 </packing>
2121                               </child>
2122
2123                               <child>
2124                                 <widget class="GtkAlignment" id="alignment11">
2125                                   <property name="visible">True</property>
2126                                   <property name="xalign">0.5</property>
2127                                   <property name="yalign">0.5</property>
2128                                   <property name="xscale">1</property>
2129                                   <property name="yscale">1</property>
2130                                   <property name="top_padding">0</property>
2131                                   <property name="bottom_padding">0</property>
2132                                   <property name="left_padding">0</property>
2133                                   <property name="right_padding">0</property>
2134
2135                                   <child>
2136                                     <placeholder/>
2137                                   </child>
2138                                 </widget>
2139                                 <packing>
2140                                   <property name="left_attach">0</property>
2141                                   <property name="right_attach">1</property>
2142                                   <property name="top_attach">13</property>
2143                                   <property name="bottom_attach">14</property>
2144                                   <property name="x_options">fill</property>
2145                                 </packing>
2146                               </child>
2147
2148                               <child>
2149                                 <widget class="GtkAlignment" id="alignment12">
2150                                   <property name="visible">True</property>
2151                                   <property name="xalign">0.5</property>
2152                                   <property name="yalign">0.5</property>
2153                                   <property name="xscale">1</property>
2154                                   <property name="yscale">1</property>
2155                                   <property name="top_padding">0</property>
2156                                   <property name="bottom_padding">0</property>
2157                                   <property name="left_padding">0</property>
2158                                   <property name="right_padding">0</property>
2159
2160                                   <child>
2161                                     <placeholder/>
2162                                   </child>
2163                                 </widget>
2164                                 <packing>
2165                                   <property name="left_attach">0</property>
2166                                   <property name="right_attach">1</property>
2167                                   <property name="top_attach">15</property>
2168                                   <property name="bottom_attach">16</property>
2169                                   <property name="x_options">fill</property>
2170                                 </packing>
2171                               </child>
2172                             </widget>
2173                           </child>
2174                         </widget>
2175                         <packing>
2176                           <property name="padding">0</property>
2177                           <property name="expand">False</property>
2178                           <property name="fill">True</property>
2179                         </packing>
2180                       </child>
2181
2182                       <child>
2183                         <widget class="GtkVBox" id="vboxScript">
2184                           <property name="width_request">400</property>
2185                           <property name="visible">True</property>
2186                           <property name="homogeneous">False</property>
2187                           <property name="spacing">0</property>
2188
2189                           <child>
2190                             <widget class="GtkToolbar" id="buttonsToolbar">
2191                               <property name="visible">True</property>
2192                               <property name="orientation">GTK_ORIENTATION_HORIZONTAL</property>
2193                               <property name="toolbar_style">GTK_TOOLBAR_BOTH</property>
2194                               <property name="tooltips">True</property>
2195                               <property name="show_arrow">True</property>
2196
2197                               <child>
2198                                 <widget class="GtkToolItem" id="toolitem25">
2199                                   <property name="visible">True</property>
2200                                   <property name="visible_horizontal">True</property>
2201                                   <property name="visible_vertical">True</property>
2202                                   <property name="is_important">False</property>
2203
2204                                   <child>
2205                                     <widget class="GtkButton" id="scriptTopButton">
2206                                       <property name="visible">True</property>
2207                                       <property name="tooltip" translatable="yes">Restart</property>
2208                                       <property name="can_focus">True</property>
2209                                       <property name="relief">GTK_RELIEF_NONE</property>
2210                                       <property name="focus_on_click">True</property>
2211
2212                                       <child>
2213                                         <widget class="GtkImage" id="image253">
2214                                           <property name="visible">True</property>
2215                                           <property name="stock">gtk-goto-top</property>
2216                                           <property name="icon_size">4</property>
2217                                           <property name="xalign">0.5</property>
2218                                           <property name="yalign">0.5</property>
2219                                           <property name="xpad">0</property>
2220                                           <property name="ypad">0</property>
2221                                         </widget>
2222                                       </child>
2223                                     </widget>
2224                                   </child>
2225                                 </widget>
2226                                 <packing>
2227                                   <property name="expand">False</property>
2228                                   <property name="homogeneous">False</property>
2229                                 </packing>
2230                               </child>
2231
2232                               <child>
2233                                 <widget class="GtkToolItem" id="toolitem26">
2234                                   <property name="visible">True</property>
2235                                   <property name="visible_horizontal">True</property>
2236                                   <property name="visible_vertical">True</property>
2237                                   <property name="is_important">False</property>
2238
2239                                   <child>
2240                                     <widget class="GtkButton" id="scriptRetractButton">
2241                                       <property name="visible">True</property>
2242                                       <property name="tooltip" translatable="yes">Retract 1 phrase</property>
2243                                       <property name="can_focus">True</property>
2244                                       <property name="relief">GTK_RELIEF_NONE</property>
2245                                       <property name="focus_on_click">True</property>
2246
2247                                       <child>
2248                                         <widget class="GtkImage" id="image254">
2249                                           <property name="visible">True</property>
2250                                           <property name="stock">gtk-go-up</property>
2251                                           <property name="icon_size">4</property>
2252                                           <property name="xalign">0.5</property>
2253                                           <property name="yalign">0.5</property>
2254                                           <property name="xpad">0</property>
2255                                           <property name="ypad">0</property>
2256                                         </widget>
2257                                       </child>
2258                                     </widget>
2259                                   </child>
2260                                 </widget>
2261                                 <packing>
2262                                   <property name="expand">False</property>
2263                                   <property name="homogeneous">False</property>
2264                                 </packing>
2265                               </child>
2266
2267                               <child>
2268                                 <widget class="GtkToolItem" id="toolitem27">
2269                                   <property name="visible">True</property>
2270                                   <property name="visible_horizontal">True</property>
2271                                   <property name="visible_vertical">True</property>
2272                                   <property name="is_important">False</property>
2273
2274                                   <child>
2275                                     <widget class="GtkButton" id="scriptJumpButton">
2276                                       <property name="visible">True</property>
2277                                       <property name="tooltip" translatable="yes">Execute until point</property>
2278                                       <property name="can_focus">True</property>
2279                                       <property name="relief">GTK_RELIEF_NONE</property>
2280                                       <property name="focus_on_click">True</property>
2281
2282                                       <child>
2283                                         <widget class="GtkImage" id="image255">
2284                                           <property name="visible">True</property>
2285                                           <property name="stock">gtk-jump-to</property>
2286                                           <property name="icon_size">4</property>
2287                                           <property name="xalign">0.5</property>
2288                                           <property name="yalign">0.5</property>
2289                                           <property name="xpad">0</property>
2290                                           <property name="ypad">0</property>
2291                                         </widget>
2292                                       </child>
2293                                     </widget>
2294                                   </child>
2295                                 </widget>
2296                                 <packing>
2297                                   <property name="expand">False</property>
2298                                   <property name="homogeneous">False</property>
2299                                 </packing>
2300                               </child>
2301
2302                               <child>
2303                                 <widget class="GtkToolItem" id="toolitem28">
2304                                   <property name="visible">True</property>
2305                                   <property name="visible_horizontal">True</property>
2306                                   <property name="visible_vertical">True</property>
2307                                   <property name="is_important">False</property>
2308
2309                                   <child>
2310                                     <widget class="GtkButton" id="scriptAdvanceButton">
2311                                       <property name="visible">True</property>
2312                                       <property name="tooltip" translatable="yes">Execute 1 phrase</property>
2313                                       <property name="can_focus">True</property>
2314                                       <property name="relief">GTK_RELIEF_NONE</property>
2315                                       <property name="focus_on_click">True</property>
2316
2317                                       <child>
2318                                         <widget class="GtkImage" id="image256">
2319                                           <property name="visible">True</property>
2320                                           <property name="stock">gtk-go-down</property>
2321                                           <property name="icon_size">4</property>
2322                                           <property name="xalign">0.5</property>
2323                                           <property name="yalign">0.5</property>
2324                                           <property name="xpad">0</property>
2325                                           <property name="ypad">0</property>
2326                                         </widget>
2327                                       </child>
2328                                     </widget>
2329                                   </child>
2330                                 </widget>
2331                                 <packing>
2332                                   <property name="expand">False</property>
2333                                   <property name="homogeneous">False</property>
2334                                 </packing>
2335                               </child>
2336
2337                               <child>
2338                                 <widget class="GtkToolItem" id="toolitem29">
2339                                   <property name="visible">True</property>
2340                                   <property name="visible_horizontal">True</property>
2341                                   <property name="visible_vertical">True</property>
2342                                   <property name="is_important">False</property>
2343
2344                                   <child>
2345                                     <widget class="GtkButton" id="scriptBottomButton">
2346                                       <property name="visible">True</property>
2347                                       <property name="tooltip" translatable="yes">Execute all</property>
2348                                       <property name="can_focus">True</property>
2349                                       <property name="relief">GTK_RELIEF_NONE</property>
2350                                       <property name="focus_on_click">True</property>
2351
2352                                       <child>
2353                                         <widget class="GtkImage" id="image257">
2354                                           <property name="visible">True</property>
2355                                           <property name="stock">gtk-goto-bottom</property>
2356                                           <property name="icon_size">4</property>
2357                                           <property name="xalign">0.5</property>
2358                                           <property name="yalign">0.5</property>
2359                                           <property name="xpad">0</property>
2360                                           <property name="ypad">0</property>
2361                                         </widget>
2362                                       </child>
2363                                     </widget>
2364                                   </child>
2365                                 </widget>
2366                                 <packing>
2367                                   <property name="expand">False</property>
2368                                   <property name="homogeneous">False</property>
2369                                 </packing>
2370                               </child>
2371                             </widget>
2372                             <packing>
2373                               <property name="padding">0</property>
2374                               <property name="expand">False</property>
2375                               <property name="fill">False</property>
2376                             </packing>
2377                           </child>
2378
2379                           <child>
2380                             <widget class="GtkNotebook" id="scriptNotebook">
2381                               <property name="visible">True</property>
2382                               <property name="can_focus">True</property>
2383                               <property name="show_tabs">True</property>
2384                               <property name="show_border">True</property>
2385                               <property name="tab_pos">GTK_POS_BOTTOM</property>
2386                               <property name="scrollable">False</property>
2387                               <property name="enable_popup">False</property>
2388
2389                               <child>
2390                                 <widget class="GtkScrolledWindow" id="ScriptScrolledWin">
2391                                   <property name="visible">True</property>
2392                                   <property name="can_focus">True</property>
2393                                   <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
2394                                   <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
2395                                   <property name="shadow_type">GTK_SHADOW_NONE</property>
2396                                   <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
2397
2398                                   <child>
2399                                     <placeholder/>
2400                                   </child>
2401                                 </widget>
2402                                 <packing>
2403                                   <property name="tab_expand">False</property>
2404                                   <property name="tab_fill">True</property>
2405                                 </packing>
2406                               </child>
2407
2408                               <child>
2409                                 <widget class="GtkLabel" id="scriptLabel">
2410                                   <property name="visible">True</property>
2411                                   <property name="label" translatable="yes">script</property>
2412                                   <property name="use_underline">False</property>
2413                                   <property name="use_markup">False</property>
2414                                   <property name="justify">GTK_JUSTIFY_LEFT</property>
2415                                   <property name="wrap">False</property>
2416                                   <property name="selectable">False</property>
2417                                   <property name="xalign">0.5</property>
2418                                   <property name="yalign">0.5</property>
2419                                   <property name="xpad">0</property>
2420                                   <property name="ypad">0</property>
2421                                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2422                                   <property name="width_chars">-1</property>
2423                                   <property name="single_line_mode">False</property>
2424                                   <property name="angle">0</property>
2425                                 </widget>
2426                                 <packing>
2427                                   <property name="type">tab</property>
2428                                 </packing>
2429                               </child>
2430
2431                               <child>
2432                                 <widget class="GtkScrolledWindow" id="scrolledwindow8">
2433                                   <property name="visible">True</property>
2434                                   <property name="can_focus">True</property>
2435                                   <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
2436                                   <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
2437                                   <property name="shadow_type">GTK_SHADOW_NONE</property>
2438                                   <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
2439
2440                                   <child>
2441                                     <widget class="GtkViewport" id="viewport1">
2442                                       <property name="visible">True</property>
2443                                       <property name="shadow_type">GTK_SHADOW_IN</property>
2444
2445                                       <child>
2446                                         <widget class="GtkLabel" id="label25">
2447                                           <property name="visible">True</property>
2448                                           <property name="label" translatable="yes">Not implemented.</property>
2449                                           <property name="use_underline">False</property>
2450                                           <property name="use_markup">False</property>
2451                                           <property name="justify">GTK_JUSTIFY_LEFT</property>
2452                                           <property name="wrap">False</property>
2453                                           <property name="selectable">False</property>
2454                                           <property name="xalign">0.5</property>
2455                                           <property name="yalign">0.5</property>
2456                                           <property name="xpad">0</property>
2457                                           <property name="ypad">0</property>
2458                                           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2459                                           <property name="width_chars">-1</property>
2460                                           <property name="single_line_mode">False</property>
2461                                           <property name="angle">0</property>
2462                                         </widget>
2463                                       </child>
2464                                     </widget>
2465                                   </child>
2466                                 </widget>
2467                                 <packing>
2468                                   <property name="tab_expand">False</property>
2469                                   <property name="tab_fill">True</property>
2470                                 </packing>
2471                               </child>
2472
2473                               <child>
2474                                 <widget class="GtkLabel" id="label13">
2475                                   <property name="visible">True</property>
2476                                   <property name="label" translatable="yes">outline</property>
2477                                   <property name="use_underline">False</property>
2478                                   <property name="use_markup">False</property>
2479                                   <property name="justify">GTK_JUSTIFY_LEFT</property>
2480                                   <property name="wrap">False</property>
2481                                   <property name="selectable">False</property>
2482                                   <property name="xalign">0.5</property>
2483                                   <property name="yalign">0.5</property>
2484                                   <property name="xpad">0</property>
2485                                   <property name="ypad">0</property>
2486                                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2487                                   <property name="width_chars">-1</property>
2488                                   <property name="single_line_mode">False</property>
2489                                   <property name="angle">0</property>
2490                                 </widget>
2491                                 <packing>
2492                                   <property name="type">tab</property>
2493                                 </packing>
2494                               </child>
2495                             </widget>
2496                             <packing>
2497                               <property name="padding">0</property>
2498                               <property name="expand">True</property>
2499                               <property name="fill">True</property>
2500                             </packing>
2501                           </child>
2502                         </widget>
2503                         <packing>
2504                           <property name="padding">0</property>
2505                           <property name="expand">True</property>
2506                           <property name="fill">True</property>
2507                         </packing>
2508                       </child>
2509                     </widget>
2510                     <packing>
2511                       <property name="shrink">True</property>
2512                       <property name="resize">False</property>
2513                     </packing>
2514                   </child>
2515
2516                   <child>
2517                     <widget class="GtkVPaned" id="vpaned1">
2518                       <property name="width_request">250</property>
2519                       <property name="height_request">500</property>
2520                       <property name="visible">True</property>
2521                       <property name="can_focus">True</property>
2522                       <property name="position">380</property>
2523
2524                       <child>
2525                         <widget class="GtkNotebook" id="sequentsNotebook">
2526                           <property name="visible">True</property>
2527                           <property name="can_focus">True</property>
2528                           <property name="show_tabs">True</property>
2529                           <property name="show_border">True</property>
2530                           <property name="tab_pos">GTK_POS_TOP</property>
2531                           <property name="scrollable">False</property>
2532                           <property name="enable_popup">False</property>
2533                         </widget>
2534                         <packing>
2535                           <property name="shrink">True</property>
2536                           <property name="resize">False</property>
2537                         </packing>
2538                       </child>
2539
2540                       <child>
2541                         <widget class="GtkHBox" id="hbox9">
2542                           <property name="visible">True</property>
2543                           <property name="homogeneous">False</property>
2544                           <property name="spacing">0</property>
2545
2546                           <child>
2547                             <widget class="GtkScrolledWindow" id="logScrolledWin">
2548                               <property name="visible">True</property>
2549                               <property name="can_focus">True</property>
2550                               <property name="hscrollbar_policy">GTK_POLICY_NEVER</property>
2551                               <property name="vscrollbar_policy">GTK_POLICY_ALWAYS</property>
2552                               <property name="shadow_type">GTK_SHADOW_IN</property>
2553                               <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
2554
2555                               <child>
2556                                 <widget class="GtkTextView" id="logTextView">
2557                                   <property name="visible">True</property>
2558                                   <property name="can_focus">True</property>
2559                                   <property name="editable">False</property>
2560                                   <property name="overwrite">False</property>
2561                                   <property name="accepts_tab">True</property>
2562                                   <property name="justification">GTK_JUSTIFY_LEFT</property>
2563                                   <property name="wrap_mode">GTK_WRAP_CHAR</property>
2564                                   <property name="cursor_visible">False</property>
2565                                   <property name="pixels_above_lines">0</property>
2566                                   <property name="pixels_below_lines">0</property>
2567                                   <property name="pixels_inside_wrap">0</property>
2568                                   <property name="left_margin">0</property>
2569                                   <property name="right_margin">0</property>
2570                                   <property name="indent">0</property>
2571                                   <property name="text" translatable="yes"></property>
2572                                 </widget>
2573                               </child>
2574                             </widget>
2575                             <packing>
2576                               <property name="padding">0</property>
2577                               <property name="expand">True</property>
2578                               <property name="fill">True</property>
2579                             </packing>
2580                           </child>
2581                         </widget>
2582                         <packing>
2583                           <property name="shrink">True</property>
2584                           <property name="resize">True</property>
2585                         </packing>
2586                       </child>
2587                     </widget>
2588                     <packing>
2589                       <property name="shrink">True</property>
2590                       <property name="resize">True</property>
2591                     </packing>
2592                   </child>
2593                 </widget>
2594                 <packing>
2595                   <property name="padding">0</property>
2596                   <property name="expand">True</property>
2597                   <property name="fill">True</property>
2598                 </packing>
2599               </child>
2600             </widget>
2601             <packing>
2602               <property name="padding">0</property>
2603               <property name="expand">True</property>
2604               <property name="fill">True</property>
2605             </packing>
2606           </child>
2607
2608           <child>
2609             <widget class="GtkHBox" id="hbox10">
2610               <property name="visible">True</property>
2611               <property name="homogeneous">False</property>
2612               <property name="spacing">0</property>
2613
2614               <child>
2615                 <widget class="GtkStatusbar" id="StatusBar">
2616                   <property name="visible">True</property>
2617                   <property name="has_resize_grip">False</property>
2618                 </widget>
2619                 <packing>
2620                   <property name="padding">0</property>
2621                   <property name="expand">True</property>
2622                   <property name="fill">True</property>
2623                 </packing>
2624               </child>
2625
2626               <child>
2627                 <widget class="GtkNotebook" id="HintNotebook">
2628                   <property name="visible">True</property>
2629                   <property name="show_tabs">False</property>
2630                   <property name="show_border">True</property>
2631                   <property name="tab_pos">GTK_POS_TOP</property>
2632                   <property name="scrollable">False</property>
2633                   <property name="enable_popup">False</property>
2634
2635                   <child>
2636                     <widget class="GtkImage" id="HintLowImage">
2637                       <property name="visible">True</property>
2638                       <property name="xalign">0.5</property>
2639                       <property name="yalign">0.5</property>
2640                       <property name="xpad">0</property>
2641                       <property name="ypad">0</property>
2642                     </widget>
2643                     <packing>
2644                       <property name="tab_expand">False</property>
2645                       <property name="tab_fill">True</property>
2646                     </packing>
2647                   </child>
2648
2649                   <child>
2650                     <widget class="GtkLabel" id="label14">
2651                       <property name="visible">True</property>
2652                       <property name="label" translatable="yes">label14</property>
2653                       <property name="use_underline">False</property>
2654                       <property name="use_markup">False</property>
2655                       <property name="justify">GTK_JUSTIFY_LEFT</property>
2656                       <property name="wrap">False</property>
2657                       <property name="selectable">False</property>
2658                       <property name="xalign">0.5</property>
2659                       <property name="yalign">0.5</property>
2660                       <property name="xpad">0</property>
2661                       <property name="ypad">0</property>
2662                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2663                       <property name="width_chars">-1</property>
2664                       <property name="single_line_mode">False</property>
2665                       <property name="angle">0</property>
2666                     </widget>
2667                     <packing>
2668                       <property name="type">tab</property>
2669                     </packing>
2670                   </child>
2671
2672                   <child>
2673                     <widget class="GtkImage" id="HintMediumImage">
2674                       <property name="visible">True</property>
2675                       <property name="xalign">0.5</property>
2676                       <property name="yalign">0.5</property>
2677                       <property name="xpad">0</property>
2678                       <property name="ypad">0</property>
2679                     </widget>
2680                     <packing>
2681                       <property name="tab_expand">False</property>
2682                       <property name="tab_fill">True</property>
2683                     </packing>
2684                   </child>
2685
2686                   <child>
2687                     <widget class="GtkLabel" id="label15">
2688                       <property name="visible">True</property>
2689                       <property name="label" translatable="yes">label15</property>
2690                       <property name="use_underline">False</property>
2691                       <property name="use_markup">False</property>
2692                       <property name="justify">GTK_JUSTIFY_LEFT</property>
2693                       <property name="wrap">False</property>
2694                       <property name="selectable">False</property>
2695                       <property name="xalign">0.5</property>
2696                       <property name="yalign">0.5</property>
2697                       <property name="xpad">0</property>
2698                       <property name="ypad">0</property>
2699                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2700                       <property name="width_chars">-1</property>
2701                       <property name="single_line_mode">False</property>
2702                       <property name="angle">0</property>
2703                     </widget>
2704                     <packing>
2705                       <property name="type">tab</property>
2706                     </packing>
2707                   </child>
2708
2709                   <child>
2710                     <widget class="GtkImage" id="HintHighImage">
2711                       <property name="visible">True</property>
2712                       <property name="xalign">0.5</property>
2713                       <property name="yalign">0.5</property>
2714                       <property name="xpad">0</property>
2715                       <property name="ypad">0</property>
2716                     </widget>
2717                     <packing>
2718                       <property name="tab_expand">False</property>
2719                       <property name="tab_fill">True</property>
2720                     </packing>
2721                   </child>
2722
2723                   <child>
2724                     <widget class="GtkLabel" id="label16">
2725                       <property name="visible">True</property>
2726                       <property name="label" translatable="yes">label16</property>
2727                       <property name="use_underline">False</property>
2728                       <property name="use_markup">False</property>
2729                       <property name="justify">GTK_JUSTIFY_LEFT</property>
2730                       <property name="wrap">False</property>
2731                       <property name="selectable">False</property>
2732                       <property name="xalign">0.5</property>
2733                       <property name="yalign">0.5</property>
2734                       <property name="xpad">0</property>
2735                       <property name="ypad">0</property>
2736                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2737                       <property name="width_chars">-1</property>
2738                       <property name="single_line_mode">False</property>
2739                       <property name="angle">0</property>
2740                     </widget>
2741                     <packing>
2742                       <property name="type">tab</property>
2743                     </packing>
2744                   </child>
2745                 </widget>
2746                 <packing>
2747                   <property name="padding">0</property>
2748                   <property name="expand">False</property>
2749                   <property name="fill">True</property>
2750                 </packing>
2751               </child>
2752             </widget>
2753             <packing>
2754               <property name="padding">0</property>
2755               <property name="expand">False</property>
2756               <property name="fill">False</property>
2757             </packing>
2758           </child>
2759         </widget>
2760       </child>
2761     </widget>
2762   </child>
2763 </widget>
2764
2765 <widget class="GtkDialog" id="TextDialog">
2766   <property name="title" translatable="yes">DUMMY</property>
2767   <property name="type">GTK_WINDOW_TOPLEVEL</property>
2768   <property name="window_position">GTK_WIN_POS_NONE</property>
2769   <property name="modal">False</property>
2770   <property name="resizable">True</property>
2771   <property name="destroy_with_parent">False</property>
2772   <property name="decorated">True</property>
2773   <property name="skip_taskbar_hint">False</property>
2774   <property name="skip_pager_hint">False</property>
2775   <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
2776   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
2777   <property name="focus_on_map">True</property>
2778   <property name="urgency_hint">False</property>
2779   <property name="has_separator">True</property>
2780
2781   <child internal-child="vbox">
2782     <widget class="GtkVBox" id="vbox5">
2783       <property name="visible">True</property>
2784       <property name="homogeneous">False</property>
2785       <property name="spacing">0</property>
2786
2787       <child internal-child="action_area">
2788         <widget class="GtkHButtonBox" id="hbuttonbox1">
2789           <property name="visible">True</property>
2790           <property name="layout_style">GTK_BUTTONBOX_END</property>
2791
2792           <child>
2793             <widget class="GtkButton" id="TextDialogCancelButton">
2794               <property name="visible">True</property>
2795               <property name="can_default">True</property>
2796               <property name="can_focus">True</property>
2797               <property name="label">gtk-cancel</property>
2798               <property name="use_stock">True</property>
2799               <property name="relief">GTK_RELIEF_NORMAL</property>
2800               <property name="focus_on_click">True</property>
2801               <property name="response_id">-6</property>
2802             </widget>
2803           </child>
2804
2805           <child>
2806             <widget class="GtkButton" id="TextDialogOkButton">
2807               <property name="visible">True</property>
2808               <property name="can_default">True</property>
2809               <property name="can_focus">True</property>
2810               <property name="label">gtk-ok</property>
2811               <property name="use_stock">True</property>
2812               <property name="relief">GTK_RELIEF_NORMAL</property>
2813               <property name="focus_on_click">True</property>
2814               <property name="response_id">-5</property>
2815             </widget>
2816           </child>
2817         </widget>
2818         <packing>
2819           <property name="padding">0</property>
2820           <property name="expand">False</property>
2821           <property name="fill">True</property>
2822           <property name="pack_type">GTK_PACK_END</property>
2823         </packing>
2824       </child>
2825
2826       <child>
2827         <widget class="GtkLabel" id="TextDialogLabel">
2828           <property name="visible">True</property>
2829           <property name="label" translatable="yes">DUMMY</property>
2830           <property name="use_underline">False</property>
2831           <property name="use_markup">False</property>
2832           <property name="justify">GTK_JUSTIFY_LEFT</property>
2833           <property name="wrap">False</property>
2834           <property name="selectable">False</property>
2835           <property name="xalign">0.5</property>
2836           <property name="yalign">0.5</property>
2837           <property name="xpad">0</property>
2838           <property name="ypad">0</property>
2839           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2840           <property name="width_chars">-1</property>
2841           <property name="single_line_mode">False</property>
2842           <property name="angle">0</property>
2843         </widget>
2844         <packing>
2845           <property name="padding">0</property>
2846           <property name="expand">False</property>
2847           <property name="fill">False</property>
2848         </packing>
2849       </child>
2850
2851       <child>
2852         <widget class="GtkScrolledWindow" id="scrolledwindow2">
2853           <property name="visible">True</property>
2854           <property name="can_focus">True</property>
2855           <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
2856           <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
2857           <property name="shadow_type">GTK_SHADOW_IN</property>
2858           <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
2859
2860           <child>
2861             <widget class="GtkTextView" id="TextDialogTextView">
2862               <property name="visible">True</property>
2863               <property name="can_focus">True</property>
2864               <property name="editable">True</property>
2865               <property name="overwrite">False</property>
2866               <property name="accepts_tab">True</property>
2867               <property name="justification">GTK_JUSTIFY_LEFT</property>
2868               <property name="wrap_mode">GTK_WRAP_NONE</property>
2869               <property name="cursor_visible">True</property>
2870               <property name="pixels_above_lines">0</property>
2871               <property name="pixels_below_lines">0</property>
2872               <property name="pixels_inside_wrap">0</property>
2873               <property name="left_margin">0</property>
2874               <property name="right_margin">0</property>
2875               <property name="indent">0</property>
2876               <property name="text" translatable="yes"></property>
2877             </widget>
2878           </child>
2879         </widget>
2880         <packing>
2881           <property name="padding">0</property>
2882           <property name="expand">True</property>
2883           <property name="fill">True</property>
2884         </packing>
2885       </child>
2886     </widget>
2887   </child>
2888 </widget>
2889
2890 <widget class="GtkDialog" id="UriChoiceDialog">
2891   <property name="height_request">280</property>
2892   <property name="title" translatable="yes">Uri choice</property>
2893   <property name="type">GTK_WINDOW_TOPLEVEL</property>
2894   <property name="window_position">GTK_WIN_POS_CENTER</property>
2895   <property name="modal">True</property>
2896   <property name="resizable">True</property>
2897   <property name="destroy_with_parent">False</property>
2898   <property name="decorated">True</property>
2899   <property name="skip_taskbar_hint">False</property>
2900   <property name="skip_pager_hint">False</property>
2901   <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
2902   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
2903   <property name="focus_on_map">True</property>
2904   <property name="urgency_hint">False</property>
2905   <property name="has_separator">True</property>
2906
2907   <child internal-child="vbox">
2908     <widget class="GtkVBox" id="dialog-vbox3">
2909       <property name="visible">True</property>
2910       <property name="homogeneous">False</property>
2911       <property name="spacing">4</property>
2912
2913       <child internal-child="action_area">
2914         <widget class="GtkHButtonBox" id="dialog-action_area3">
2915           <property name="visible">True</property>
2916           <property name="layout_style">GTK_BUTTONBOX_END</property>
2917
2918           <child>
2919             <widget class="GtkButton" id="UriChoiceAbortButton">
2920               <property name="visible">True</property>
2921               <property name="can_default">True</property>
2922               <property name="can_focus">True</property>
2923               <property name="label">gtk-cancel</property>
2924               <property name="use_stock">True</property>
2925               <property name="relief">GTK_RELIEF_NORMAL</property>
2926               <property name="focus_on_click">True</property>
2927               <property name="response_id">-6</property>
2928             </widget>
2929           </child>
2930
2931           <child>
2932             <widget class="GtkButton" id="UriChoiceSelectedButton">
2933               <property name="visible">True</property>
2934               <property name="can_default">True</property>
2935               <property name="can_focus">True</property>
2936               <property name="relief">GTK_RELIEF_NORMAL</property>
2937               <property name="focus_on_click">True</property>
2938               <property name="response_id">0</property>
2939
2940               <child>
2941                 <widget class="GtkAlignment" id="alignment2">
2942                   <property name="visible">True</property>
2943                   <property name="xalign">0.5</property>
2944                   <property name="yalign">0.5</property>
2945                   <property name="xscale">0</property>
2946                   <property name="yscale">0</property>
2947                   <property name="top_padding">0</property>
2948                   <property name="bottom_padding">0</property>
2949                   <property name="left_padding">0</property>
2950                   <property name="right_padding">0</property>
2951
2952                   <child>
2953                     <widget class="GtkHBox" id="hbox3">
2954                       <property name="visible">True</property>
2955                       <property name="homogeneous">False</property>
2956                       <property name="spacing">2</property>
2957
2958                       <child>
2959                         <widget class="GtkImage" id="image19">
2960                           <property name="visible">True</property>
2961                           <property name="stock">gtk-index</property>
2962                           <property name="icon_size">4</property>
2963                           <property name="xalign">0.5</property>
2964                           <property name="yalign">0.5</property>
2965                           <property name="xpad">0</property>
2966                           <property name="ypad">0</property>
2967                         </widget>
2968                         <packing>
2969                           <property name="padding">0</property>
2970                           <property name="expand">False</property>
2971                           <property name="fill">False</property>
2972                         </packing>
2973                       </child>
2974
2975                       <child>
2976                         <widget class="GtkLabel" id="label3">
2977                           <property name="visible">True</property>
2978                           <property name="label" translatable="yes">Try _Selected</property>
2979                           <property name="use_underline">True</property>
2980                           <property name="use_markup">False</property>
2981                           <property name="justify">GTK_JUSTIFY_LEFT</property>
2982                           <property name="wrap">False</property>
2983                           <property name="selectable">False</property>
2984                           <property name="xalign">0.5</property>
2985                           <property name="yalign">0.5</property>
2986                           <property name="xpad">0</property>
2987                           <property name="ypad">0</property>
2988                           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2989                           <property name="width_chars">-1</property>
2990                           <property name="single_line_mode">False</property>
2991                           <property name="angle">0</property>
2992                         </widget>
2993                         <packing>
2994                           <property name="padding">0</property>
2995                           <property name="expand">False</property>
2996                           <property name="fill">False</property>
2997                         </packing>
2998                       </child>
2999                     </widget>
3000                   </child>
3001                 </widget>
3002               </child>
3003             </widget>
3004           </child>
3005
3006           <child>
3007             <widget class="GtkButton" id="UriChoiceConstantsButton">
3008               <property name="visible">True</property>
3009               <property name="sensitive">False</property>
3010               <property name="can_default">True</property>
3011               <property name="can_focus">True</property>
3012               <property name="label" translatable="yes">Try Constants</property>
3013               <property name="use_underline">True</property>
3014               <property name="relief">GTK_RELIEF_NORMAL</property>
3015               <property name="focus_on_click">True</property>
3016               <property name="response_id">0</property>
3017             </widget>
3018           </child>
3019
3020           <child>
3021             <widget class="GtkButton" id="copyButton">
3022               <property name="can_default">True</property>
3023               <property name="can_focus">True</property>
3024               <property name="label">gtk-copy</property>
3025               <property name="use_stock">True</property>
3026               <property name="relief">GTK_RELIEF_NORMAL</property>
3027               <property name="focus_on_click">True</property>
3028               <property name="response_id">0</property>
3029             </widget>
3030           </child>
3031
3032           <child>
3033             <widget class="GtkButton" id="uriChoiceAutoButton">
3034               <property name="visible">True</property>
3035               <property name="can_default">True</property>
3036               <property name="can_focus">True</property>
3037               <property name="relief">GTK_RELIEF_NORMAL</property>
3038               <property name="focus_on_click">True</property>
3039               <property name="response_id">0</property>
3040
3041               <child>
3042                 <widget class="GtkAlignment" id="alignment5">
3043                   <property name="visible">True</property>
3044                   <property name="xalign">0.5</property>
3045                   <property name="yalign">0.5</property>
3046                   <property name="xscale">0</property>
3047                   <property name="yscale">0</property>
3048                   <property name="top_padding">0</property>
3049                   <property name="bottom_padding">0</property>
3050                   <property name="left_padding">0</property>
3051                   <property name="right_padding">0</property>
3052
3053                   <child>
3054                     <widget class="GtkHBox" id="hbox16">
3055                       <property name="visible">True</property>
3056                       <property name="homogeneous">False</property>
3057                       <property name="spacing">2</property>
3058
3059                       <child>
3060                         <widget class="GtkImage" id="image302">
3061                           <property name="visible">True</property>
3062                           <property name="stock">gtk-ok</property>
3063                           <property name="icon_size">4</property>
3064                           <property name="xalign">0.5</property>
3065                           <property name="yalign">0.5</property>
3066                           <property name="xpad">0</property>
3067                           <property name="ypad">0</property>
3068                         </widget>
3069                         <packing>
3070                           <property name="padding">0</property>
3071                           <property name="expand">False</property>
3072                           <property name="fill">False</property>
3073                         </packing>
3074                       </child>
3075
3076                       <child>
3077                         <widget class="GtkLabel" id="okLabel">
3078                           <property name="visible">True</property>
3079                           <property name="label" translatable="yes">bla bla bla</property>
3080                           <property name="use_underline">True</property>
3081                           <property name="use_markup">False</property>
3082                           <property name="justify">GTK_JUSTIFY_LEFT</property>
3083                           <property name="wrap">False</property>
3084                           <property name="selectable">False</property>
3085                           <property name="xalign">0.5</property>
3086                           <property name="yalign">0.5</property>
3087                           <property name="xpad">0</property>
3088                           <property name="ypad">0</property>
3089                           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
3090                           <property name="width_chars">-1</property>
3091                           <property name="single_line_mode">False</property>
3092                           <property name="angle">0</property>
3093                         </widget>
3094                         <packing>
3095                           <property name="padding">0</property>
3096                           <property name="expand">False</property>
3097                           <property name="fill">False</property>
3098                         </packing>
3099                       </child>
3100                     </widget>
3101                   </child>
3102                 </widget>
3103               </child>
3104             </widget>
3105           </child>
3106
3107           <child>
3108             <widget class="GtkButton" id="uriChoiceForwardButton">
3109               <property name="visible">True</property>
3110               <property name="can_default">True</property>
3111               <property name="can_focus">True</property>
3112               <property name="label">gtk-go-forward</property>
3113               <property name="use_stock">True</property>
3114               <property name="relief">GTK_RELIEF_NORMAL</property>
3115               <property name="focus_on_click">True</property>
3116               <property name="response_id">0</property>
3117             </widget>
3118           </child>
3119         </widget>
3120         <packing>
3121           <property name="padding">0</property>
3122           <property name="expand">False</property>
3123           <property name="fill">True</property>
3124           <property name="pack_type">GTK_PACK_END</property>
3125         </packing>
3126       </child>
3127
3128       <child>
3129         <widget class="GtkVBox" id="vbox2">
3130           <property name="visible">True</property>
3131           <property name="homogeneous">False</property>
3132           <property name="spacing">3</property>
3133
3134           <child>
3135             <widget class="GtkLabel" id="UriChoiceLabel">
3136               <property name="visible">True</property>
3137               <property name="label" translatable="yes">some informative message here ...</property>
3138               <property name="use_underline">False</property>
3139               <property name="use_markup">False</property>
3140               <property name="justify">GTK_JUSTIFY_LEFT</property>
3141               <property name="wrap">False</property>
3142               <property name="selectable">False</property>
3143               <property name="xalign">0.5</property>
3144               <property name="yalign">0.5</property>
3145               <property name="xpad">0</property>
3146               <property name="ypad">0</property>
3147               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
3148               <property name="width_chars">-1</property>
3149               <property name="single_line_mode">False</property>
3150               <property name="angle">0</property>
3151             </widget>
3152             <packing>
3153               <property name="padding">0</property>
3154               <property name="expand">False</property>
3155               <property name="fill">False</property>
3156             </packing>
3157           </child>
3158
3159           <child>
3160             <widget class="GtkScrolledWindow" id="scrolledwindow1">
3161               <property name="width_request">400</property>
3162               <property name="visible">True</property>
3163               <property name="can_focus">True</property>
3164               <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
3165               <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
3166               <property name="shadow_type">GTK_SHADOW_NONE</property>
3167               <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
3168
3169               <child>
3170                 <widget class="GtkTreeView" id="UriChoiceTreeView">
3171                   <property name="visible">True</property>
3172                   <property name="can_focus">True</property>
3173                   <property name="headers_visible">False</property>
3174                   <property name="rules_hint">False</property>
3175                   <property name="reorderable">False</property>
3176                   <property name="enable_search">True</property>
3177                   <property name="fixed_height_mode">False</property>
3178                   <property name="hover_selection">False</property>
3179                   <property name="hover_expand">False</property>
3180                 </widget>
3181               </child>
3182             </widget>
3183             <packing>
3184               <property name="padding">0</property>
3185               <property name="expand">True</property>
3186               <property name="fill">True</property>
3187             </packing>
3188           </child>
3189
3190           <child>
3191             <widget class="GtkHBox" id="uriEntryHBox">
3192               <property name="visible">True</property>
3193               <property name="homogeneous">False</property>
3194               <property name="spacing">0</property>
3195
3196               <child>
3197                 <widget class="GtkLabel" id="label2">
3198                   <property name="visible">True</property>
3199                   <property name="label" translatable="yes">URI: </property>
3200                   <property name="use_underline">False</property>
3201                   <property name="use_markup">False</property>
3202                   <property name="justify">GTK_JUSTIFY_LEFT</property>
3203                   <property name="wrap">False</property>
3204                   <property name="selectable">False</property>
3205                   <property name="xalign">0.5</property>
3206                   <property name="yalign">0.5</property>
3207                   <property name="xpad">0</property>
3208                   <property name="ypad">0</property>
3209                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
3210                   <property name="width_chars">-1</property>
3211                   <property name="single_line_mode">False</property>
3212                   <property name="angle">0</property>
3213                 </widget>
3214                 <packing>
3215                   <property name="padding">0</property>
3216                   <property name="expand">False</property>
3217                   <property name="fill">False</property>
3218                 </packing>
3219               </child>
3220
3221               <child>
3222                 <widget class="GtkEntry" id="entry1">
3223                   <property name="visible">True</property>
3224                   <property name="can_focus">True</property>
3225                   <property name="editable">True</property>
3226                   <property name="visibility">True</property>
3227                   <property name="max_length">0</property>
3228                   <property name="text" translatable="yes"></property>
3229                   <property name="has_frame">True</property>
3230                   <property name="invisible_char">*</property>
3231                   <property name="activates_default">False</property>
3232                 </widget>
3233                 <packing>
3234                   <property name="padding">0</property>
3235                   <property name="expand">True</property>
3236                   <property name="fill">True</property>
3237                 </packing>
3238               </child>
3239             </widget>
3240             <packing>
3241               <property name="padding">0</property>
3242               <property name="expand">False</property>
3243               <property name="fill">True</property>
3244             </packing>
3245           </child>
3246         </widget>
3247         <packing>
3248           <property name="padding">0</property>
3249           <property name="expand">True</property>
3250           <property name="fill">True</property>
3251         </packing>
3252       </child>
3253     </widget>
3254   </child>
3255 </widget>
3256
3257 <widget class="GtkWindow" id="FindReplWin">
3258   <property name="border_width">5</property>
3259   <property name="title" translatable="yes">Find &amp; Replace</property>
3260   <property name="type">GTK_WINDOW_TOPLEVEL</property>
3261   <property name="window_position">GTK_WIN_POS_MOUSE</property>
3262   <property name="modal">False</property>
3263   <property name="resizable">False</property>
3264   <property name="destroy_with_parent">False</property>
3265   <property name="decorated">True</property>
3266   <property name="skip_taskbar_hint">False</property>
3267   <property name="skip_pager_hint">False</property>
3268   <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
3269   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
3270   <property name="focus_on_map">True</property>
3271   <property name="urgency_hint">False</property>
3272
3273   <child>
3274     <widget class="GtkTable" id="table1">
3275       <property name="visible">True</property>
3276       <property name="n_rows">3</property>
3277       <property name="n_columns">2</property>
3278       <property name="homogeneous">False</property>
3279       <property name="row_spacing">5</property>
3280       <property name="column_spacing">0</property>
3281
3282       <child>
3283         <widget class="GtkLabel" id="label17">
3284           <property name="visible">True</property>
3285           <property name="label" translatable="yes">Find:</property>
3286           <property name="use_underline">False</property>
3287           <property name="use_markup">False</property>
3288           <property name="justify">GTK_JUSTIFY_LEFT</property>
3289           <property name="wrap">False</property>
3290           <property name="selectable">False</property>
3291           <property name="xalign">0</property>
3292           <property name="yalign">0.5</property>
3293           <property name="xpad">0</property>
3294           <property name="ypad">0</property>
3295           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
3296           <property name="width_chars">-1</property>
3297           <property name="single_line_mode">False</property>
3298           <property name="angle">0</property>
3299         </widget>
3300         <packing>
3301           <property name="left_attach">0</property>
3302           <property name="right_attach">1</property>
3303           <property name="top_attach">0</property>
3304           <property name="bottom_attach">1</property>
3305           <property name="x_options">fill</property>
3306           <property name="y_options"></property>
3307         </packing>
3308       </child>
3309
3310       <child>
3311         <widget class="GtkLabel" id="label18">
3312           <property name="visible">True</property>
3313           <property name="label" translatable="yes">Replace with: </property>
3314           <property name="use_underline">False</property>
3315           <property name="use_markup">False</property>
3316           <property name="justify">GTK_JUSTIFY_LEFT</property>
3317           <property name="wrap">False</property>
3318           <property name="selectable">False</property>
3319           <property name="xalign">0</property>
3320           <property name="yalign">0.5</property>
3321           <property name="xpad">0</property>
3322           <property name="ypad">0</property>
3323           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
3324           <property name="width_chars">-1</property>
3325           <property name="single_line_mode">False</property>
3326           <property name="angle">0</property>
3327         </widget>
3328         <packing>
3329           <property name="left_attach">0</property>
3330           <property name="right_attach">1</property>
3331           <property name="top_attach">1</property>
3332           <property name="bottom_attach">2</property>
3333           <property name="x_options">fill</property>
3334           <property name="y_options"></property>
3335         </packing>
3336       </child>
3337
3338       <child>
3339         <widget class="GtkEntry" id="findEntry">
3340           <property name="visible">True</property>
3341           <property name="can_default">True</property>
3342           <property name="has_default">True</property>
3343           <property name="can_focus">True</property>
3344           <property name="has_focus">True</property>
3345           <property name="editable">True</property>
3346           <property name="visibility">True</property>
3347           <property name="max_length">0</property>
3348           <property name="text" translatable="yes"></property>
3349           <property name="has_frame">True</property>
3350           <property name="invisible_char">*</property>
3351           <property name="activates_default">False</property>
3352         </widget>
3353         <packing>
3354           <property name="left_attach">1</property>
3355           <property name="right_attach">2</property>
3356           <property name="top_attach">0</property>
3357           <property name="bottom_attach">1</property>
3358           <property name="y_options"></property>
3359         </packing>
3360       </child>
3361
3362       <child>
3363         <widget class="GtkEntry" id="replaceEntry">
3364           <property name="visible">True</property>
3365           <property name="can_focus">True</property>
3366           <property name="editable">True</property>
3367           <property name="visibility">True</property>
3368           <property name="max_length">0</property>
3369           <property name="text" translatable="yes"></property>
3370           <property name="has_frame">True</property>
3371           <property name="invisible_char">*</property>
3372           <property name="activates_default">False</property>
3373         </widget>
3374         <packing>
3375           <property name="left_attach">1</property>
3376           <property name="right_attach">2</property>
3377           <property name="top_attach">1</property>
3378           <property name="bottom_attach">2</property>
3379           <property name="y_options"></property>
3380         </packing>
3381       </child>
3382
3383       <child>
3384         <widget class="GtkHBox" id="hbox19">
3385           <property name="visible">True</property>
3386           <property name="homogeneous">False</property>
3387           <property name="spacing">5</property>
3388
3389           <child>
3390             <widget class="GtkVBox" id="vbox9">
3391               <property name="visible">True</property>
3392               <property name="homogeneous">False</property>
3393               <property name="spacing">0</property>
3394
3395               <child>
3396                 <placeholder/>
3397               </child>
3398
3399               <child>
3400                 <placeholder/>
3401               </child>
3402             </widget>
3403             <packing>
3404               <property name="padding">0</property>
3405               <property name="expand">True</property>
3406               <property name="fill">True</property>
3407             </packing>
3408           </child>
3409
3410           <child>
3411             <widget class="GtkButton" id="findButton">
3412               <property name="visible">True</property>
3413               <property name="can_focus">True</property>
3414               <property name="label">gtk-find</property>
3415               <property name="use_stock">True</property>
3416               <property name="relief">GTK_RELIEF_NORMAL</property>
3417               <property name="focus_on_click">True</property>
3418             </widget>
3419             <packing>
3420               <property name="padding">0</property>
3421               <property name="expand">False</property>
3422               <property name="fill">False</property>
3423             </packing>
3424           </child>
3425
3426           <child>
3427             <widget class="GtkButton" id="findReplButton">
3428               <property name="visible">True</property>
3429               <property name="can_focus">True</property>
3430               <property name="relief">GTK_RELIEF_NORMAL</property>
3431               <property name="focus_on_click">True</property>
3432
3433               <child>
3434                 <widget class="GtkAlignment" id="alignment13">
3435                   <property name="visible">True</property>
3436                   <property name="xalign">0.5</property>
3437                   <property name="yalign">0.5</property>
3438                   <property name="xscale">0</property>
3439                   <property name="yscale">0</property>
3440                   <property name="top_padding">0</property>
3441                   <property name="bottom_padding">0</property>
3442                   <property name="left_padding">0</property>
3443                   <property name="right_padding">0</property>
3444
3445                   <child>
3446                     <widget class="GtkHBox" id="hbox20">
3447                       <property name="visible">True</property>
3448                       <property name="homogeneous">False</property>
3449                       <property name="spacing">2</property>
3450
3451                       <child>
3452                         <widget class="GtkImage" id="image357">
3453                           <property name="visible">True</property>
3454                           <property name="stock">gtk-find-and-replace</property>
3455                           <property name="icon_size">4</property>
3456                           <property name="xalign">0.5</property>
3457                           <property name="yalign">0.5</property>
3458                           <property name="xpad">0</property>
3459                           <property name="ypad">0</property>
3460                         </widget>
3461                         <packing>
3462                           <property name="padding">0</property>
3463                           <property name="expand">False</property>
3464                           <property name="fill">False</property>
3465                         </packing>
3466                       </child>
3467
3468                       <child>
3469                         <widget class="GtkLabel" id="label19">
3470                           <property name="visible">True</property>
3471                           <property name="label">_Replace</property>
3472                           <property name="use_underline">True</property>
3473                           <property name="use_markup">False</property>
3474                           <property name="justify">GTK_JUSTIFY_LEFT</property>
3475                           <property name="wrap">False</property>
3476                           <property name="selectable">False</property>
3477                           <property name="xalign">0.5</property>
3478                           <property name="yalign">0.5</property>
3479                           <property name="xpad">0</property>
3480                           <property name="ypad">0</property>
3481                           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
3482                           <property name="width_chars">-1</property>
3483                           <property name="single_line_mode">False</property>
3484                           <property name="angle">0</property>
3485                         </widget>
3486                         <packing>
3487                           <property name="padding">0</property>
3488                           <property name="expand">False</property>
3489                           <property name="fill">False</property>
3490                         </packing>
3491                       </child>
3492                     </widget>
3493                   </child>
3494                 </widget>
3495               </child>
3496             </widget>
3497             <packing>
3498               <property name="padding">0</property>
3499               <property name="expand">False</property>
3500               <property name="fill">False</property>
3501             </packing>
3502           </child>
3503
3504           <child>
3505             <widget class="GtkButton" id="cancelButton">
3506               <property name="visible">True</property>
3507               <property name="can_focus">True</property>
3508               <property name="label">gtk-cancel</property>
3509               <property name="use_stock">True</property>
3510               <property name="relief">GTK_RELIEF_NORMAL</property>
3511               <property name="focus_on_click">True</property>
3512             </widget>
3513             <packing>
3514               <property name="padding">0</property>
3515               <property name="expand">False</property>
3516               <property name="fill">False</property>
3517             </packing>
3518           </child>
3519         </widget>
3520         <packing>
3521           <property name="left_attach">0</property>
3522           <property name="right_attach">2</property>
3523           <property name="top_attach">2</property>
3524           <property name="bottom_attach">3</property>
3525           <property name="y_padding">5</property>
3526         </packing>
3527       </child>
3528     </widget>
3529   </child>
3530 </widget>
3531
3532 <widget class="GtkWindow" id="NewDevelWin">
3533   <property name="title" translatable="yes">Create development</property>
3534   <property name="type">GTK_WINDOW_TOPLEVEL</property>
3535   <property name="window_position">GTK_WIN_POS_CENTER_ALWAYS</property>
3536   <property name="modal">True</property>
3537   <property name="resizable">False</property>
3538   <property name="destroy_with_parent">False</property>
3539   <property name="decorated">True</property>
3540   <property name="skip_taskbar_hint">False</property>
3541   <property name="skip_pager_hint">False</property>
3542   <property name="type_hint">GDK_WINDOW_TYPE_HINT_UTILITY</property>
3543   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
3544   <property name="focus_on_map">True</property>
3545   <property name="urgency_hint">False</property>
3546
3547   <child>
3548     <widget class="GtkVBox" id="vbox10">
3549       <property name="visible">True</property>
3550       <property name="homogeneous">False</property>
3551       <property name="spacing">0</property>
3552
3553       <child>
3554         <widget class="GtkTable" id="table2">
3555           <property name="border_width">3</property>
3556           <property name="visible">True</property>
3557           <property name="n_rows">2</property>
3558           <property name="n_columns">3</property>
3559           <property name="homogeneous">False</property>
3560           <property name="row_spacing">5</property>
3561           <property name="column_spacing">5</property>
3562
3563           <child>
3564             <widget class="GtkLabel" id="label20">
3565               <property name="visible">True</property>
3566               <property name="label" translatable="yes">Name</property>
3567               <property name="use_underline">False</property>
3568               <property name="use_markup">False</property>
3569               <property name="justify">GTK_JUSTIFY_LEFT</property>
3570               <property name="wrap">False</property>
3571               <property name="selectable">False</property>
3572               <property name="xalign">0</property>
3573               <property name="yalign">0.5</property>
3574               <property name="xpad">0</property>
3575               <property name="ypad">0</property>
3576               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
3577               <property name="width_chars">-1</property>
3578               <property name="single_line_mode">False</property>
3579               <property name="angle">0</property>
3580             </widget>
3581             <packing>
3582               <property name="left_attach">0</property>
3583               <property name="right_attach">1</property>
3584               <property name="top_attach">0</property>
3585               <property name="bottom_attach">1</property>
3586               <property name="x_options">fill</property>
3587               <property name="y_options"></property>
3588             </packing>
3589           </child>
3590
3591           <child>
3592             <widget class="GtkLabel" id="label21">
3593               <property name="visible">True</property>
3594               <property name="label" translatable="yes">Root directory</property>
3595               <property name="use_underline">False</property>
3596               <property name="use_markup">False</property>
3597               <property name="justify">GTK_JUSTIFY_LEFT</property>
3598               <property name="wrap">False</property>
3599               <property name="selectable">False</property>
3600               <property name="xalign">0</property>
3601               <property name="yalign">0.5</property>
3602               <property name="xpad">0</property>
3603               <property name="ypad">0</property>
3604               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
3605               <property name="width_chars">-1</property>
3606               <property name="single_line_mode">False</property>
3607               <property name="angle">0</property>
3608             </widget>
3609             <packing>
3610               <property name="left_attach">0</property>
3611               <property name="right_attach">1</property>
3612               <property name="top_attach">1</property>
3613               <property name="bottom_attach">2</property>
3614               <property name="x_options">fill</property>
3615               <property name="y_options"></property>
3616             </packing>
3617           </child>
3618
3619           <child>
3620             <widget class="GtkEntry" id="nameEntry">
3621               <property name="visible">True</property>
3622               <property name="can_focus">True</property>
3623               <property name="editable">True</property>
3624               <property name="visibility">True</property>
3625               <property name="max_length">0</property>
3626               <property name="text" translatable="yes"></property>
3627               <property name="has_frame">True</property>
3628               <property name="invisible_char">*</property>
3629               <property name="activates_default">False</property>
3630             </widget>
3631             <packing>
3632               <property name="left_attach">1</property>
3633               <property name="right_attach">2</property>
3634               <property name="top_attach">0</property>
3635               <property name="bottom_attach">1</property>
3636               <property name="y_options"></property>
3637             </packing>
3638           </child>
3639
3640           <child>
3641             <widget class="GtkEntry" id="rootEntry">
3642               <property name="visible">True</property>
3643               <property name="can_focus">True</property>
3644               <property name="editable">True</property>
3645               <property name="visibility">True</property>
3646               <property name="max_length">0</property>
3647               <property name="text" translatable="yes"></property>
3648               <property name="has_frame">True</property>
3649               <property name="invisible_char">*</property>
3650               <property name="activates_default">False</property>
3651             </widget>
3652             <packing>
3653               <property name="left_attach">1</property>
3654               <property name="right_attach">2</property>
3655               <property name="top_attach">1</property>
3656               <property name="bottom_attach">2</property>
3657               <property name="y_options"></property>
3658             </packing>
3659           </child>
3660
3661           <child>
3662             <widget class="GtkButton" id="chooseRootButton">
3663               <property name="visible">True</property>
3664               <property name="can_focus">True</property>
3665               <property name="label" translatable="yes">...</property>
3666               <property name="use_underline">True</property>
3667               <property name="relief">GTK_RELIEF_NORMAL</property>
3668               <property name="focus_on_click">True</property>
3669             </widget>
3670             <packing>
3671               <property name="left_attach">2</property>
3672               <property name="right_attach">3</property>
3673               <property name="top_attach">1</property>
3674               <property name="bottom_attach">2</property>
3675               <property name="x_options">fill</property>
3676               <property name="y_options"></property>
3677             </packing>
3678           </child>
3679         </widget>
3680         <packing>
3681           <property name="padding">0</property>
3682           <property name="expand">False</property>
3683           <property name="fill">True</property>
3684         </packing>
3685       </child>
3686
3687       <child>
3688         <widget class="GtkHSeparator" id="hseparator1">
3689           <property name="visible">True</property>
3690         </widget>
3691         <packing>
3692           <property name="padding">2</property>
3693           <property name="expand">False</property>
3694           <property name="fill">True</property>
3695         </packing>
3696       </child>
3697
3698       <child>
3699         <widget class="GtkHBox" id="hbox21">
3700           <property name="border_width">3</property>
3701           <property name="visible">True</property>
3702           <property name="homogeneous">False</property>
3703           <property name="spacing">5</property>
3704
3705           <child>
3706             <widget class="GtkVBox" id="vbox11">
3707               <property name="visible">True</property>
3708               <property name="homogeneous">False</property>
3709               <property name="spacing">0</property>
3710
3711               <child>
3712                 <placeholder/>
3713               </child>
3714
3715               <child>
3716                 <placeholder/>
3717               </child>
3718             </widget>
3719             <packing>
3720               <property name="padding">0</property>
3721               <property name="expand">True</property>
3722               <property name="fill">True</property>
3723             </packing>
3724           </child>
3725
3726           <child>
3727             <widget class="GtkButton" id="addButton">
3728               <property name="visible">True</property>
3729               <property name="can_focus">True</property>
3730               <property name="label">gtk-add</property>
3731               <property name="use_stock">True</property>
3732               <property name="relief">GTK_RELIEF_NORMAL</property>
3733               <property name="focus_on_click">True</property>
3734             </widget>
3735             <packing>
3736               <property name="padding">0</property>
3737               <property name="expand">False</property>
3738               <property name="fill">False</property>
3739             </packing>
3740           </child>
3741
3742           <child>
3743             <widget class="GtkButton" id="cancelButton">
3744               <property name="visible">True</property>
3745               <property name="can_focus">True</property>
3746               <property name="label">gtk-cancel</property>
3747               <property name="use_stock">True</property>
3748               <property name="relief">GTK_RELIEF_NORMAL</property>
3749               <property name="focus_on_click">True</property>
3750             </widget>
3751             <packing>
3752               <property name="padding">0</property>
3753               <property name="expand">False</property>
3754               <property name="fill">False</property>
3755             </packing>
3756           </child>
3757         </widget>
3758         <packing>
3759           <property name="padding">0</property>
3760           <property name="expand">False</property>
3761           <property name="fill">True</property>
3762         </packing>
3763       </child>
3764     </widget>
3765   </child>
3766 </widget>
3767
3768 <widget class="GtkWindow" id="DevelListWin">
3769   <property name="title" translatable="yes">Developments</property>
3770   <property name="type">GTK_WINDOW_TOPLEVEL</property>
3771   <property name="window_position">GTK_WIN_POS_CENTER</property>
3772   <property name="modal">False</property>
3773   <property name="resizable">True</property>
3774   <property name="destroy_with_parent">False</property>
3775   <property name="decorated">True</property>
3776   <property name="skip_taskbar_hint">False</property>
3777   <property name="skip_pager_hint">False</property>
3778   <property name="type_hint">GDK_WINDOW_TYPE_HINT_NORMAL</property>
3779   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
3780   <property name="focus_on_map">True</property>
3781   <property name="urgency_hint">False</property>
3782
3783   <child>
3784     <widget class="GtkVBox" id="vbox12">
3785       <property name="visible">True</property>
3786       <property name="homogeneous">False</property>
3787       <property name="spacing">0</property>
3788
3789       <child>
3790         <widget class="GtkScrolledWindow" id="scrolledwindow10">
3791           <property name="visible">True</property>
3792           <property name="can_focus">True</property>
3793           <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
3794           <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
3795           <property name="shadow_type">GTK_SHADOW_IN</property>
3796           <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
3797
3798           <child>
3799             <widget class="GtkTreeView" id="developmentsTreeview">
3800               <property name="visible">True</property>
3801               <property name="can_focus">True</property>
3802               <property name="headers_visible">False</property>
3803               <property name="rules_hint">False</property>
3804               <property name="reorderable">False</property>
3805               <property name="enable_search">True</property>
3806               <property name="fixed_height_mode">False</property>
3807               <property name="hover_selection">False</property>
3808               <property name="hover_expand">False</property>
3809             </widget>
3810           </child>
3811         </widget>
3812         <packing>
3813           <property name="padding">0</property>
3814           <property name="expand">True</property>
3815           <property name="fill">True</property>
3816         </packing>
3817       </child>
3818
3819       <child>
3820         <widget class="GtkHSeparator" id="hseparator2">
3821           <property name="visible">True</property>
3822         </widget>
3823         <packing>
3824           <property name="padding">2</property>
3825           <property name="expand">False</property>
3826           <property name="fill">True</property>
3827         </packing>
3828       </child>
3829
3830       <child>
3831         <widget class="GtkHBox" id="buttonsHbox">
3832           <property name="border_width">3</property>
3833           <property name="visible">True</property>
3834           <property name="homogeneous">False</property>
3835           <property name="spacing">4</property>
3836
3837           <child>
3838             <widget class="GtkVBox" id="vbox13">
3839               <property name="visible">True</property>
3840               <property name="homogeneous">False</property>
3841               <property name="spacing">0</property>
3842
3843               <child>
3844                 <placeholder/>
3845               </child>
3846
3847               <child>
3848                 <placeholder/>
3849               </child>
3850             </widget>
3851             <packing>
3852               <property name="padding">0</property>
3853               <property name="expand">True</property>
3854               <property name="fill">True</property>
3855             </packing>
3856           </child>
3857
3858           <child>
3859             <widget class="GtkButton" id="newButton">
3860               <property name="visible">True</property>
3861               <property name="can_focus">True</property>
3862               <property name="label">gtk-new</property>
3863               <property name="use_stock">True</property>
3864               <property name="relief">GTK_RELIEF_NORMAL</property>
3865               <property name="focus_on_click">True</property>
3866             </widget>
3867             <packing>
3868               <property name="padding">0</property>
3869               <property name="expand">False</property>
3870               <property name="fill">False</property>
3871             </packing>
3872           </child>
3873
3874           <child>
3875             <widget class="GtkButton" id="deleteButton">
3876               <property name="visible">True</property>
3877               <property name="can_focus">True</property>
3878               <property name="label">gtk-delete</property>
3879               <property name="use_stock">True</property>
3880               <property name="relief">GTK_RELIEF_NORMAL</property>
3881               <property name="focus_on_click">True</property>
3882             </widget>
3883             <packing>
3884               <property name="padding">0</property>
3885               <property name="expand">False</property>
3886               <property name="fill">False</property>
3887             </packing>
3888           </child>
3889
3890           <child>
3891             <widget class="GtkButton" id="buildButton">
3892               <property name="visible">True</property>
3893               <property name="can_focus">True</property>
3894               <property name="relief">GTK_RELIEF_NORMAL</property>
3895               <property name="focus_on_click">True</property>
3896
3897               <child>
3898                 <widget class="GtkAlignment" id="alignment14">
3899                   <property name="visible">True</property>
3900                   <property name="xalign">0.5</property>
3901                   <property name="yalign">0.5</property>
3902                   <property name="xscale">0</property>
3903                   <property name="yscale">0</property>
3904                   <property name="top_padding">0</property>
3905                   <property name="bottom_padding">0</property>
3906                   <property name="left_padding">0</property>
3907                   <property name="right_padding">0</property>
3908
3909                   <child>
3910                     <widget class="GtkHBox" id="hbox23">
3911                       <property name="visible">True</property>
3912                       <property name="homogeneous">False</property>
3913                       <property name="spacing">2</property>
3914
3915                       <child>
3916                         <widget class="GtkImage" id="image358">
3917                           <property name="visible">True</property>
3918                           <property name="stock">gtk-execute</property>
3919                           <property name="icon_size">4</property>
3920                           <property name="xalign">0.5</property>
3921                           <property name="yalign">0.5</property>
3922                           <property name="xpad">0</property>
3923                           <property name="ypad">0</property>
3924                         </widget>
3925                         <packing>
3926                           <property name="padding">0</property>
3927                           <property name="expand">False</property>
3928                           <property name="fill">False</property>
3929                         </packing>
3930                       </child>
3931
3932                       <child>
3933                         <widget class="GtkLabel" id="label22">
3934                           <property name="visible">True</property>
3935                           <property name="label" translatable="yes">_Build</property>
3936                           <property name="use_underline">True</property>
3937                           <property name="use_markup">False</property>
3938                           <property name="justify">GTK_JUSTIFY_LEFT</property>
3939                           <property name="wrap">False</property>
3940                           <property name="selectable">False</property>
3941                           <property name="xalign">0.5</property>
3942                           <property name="yalign">0.5</property>
3943                           <property name="xpad">0</property>
3944                           <property name="ypad">0</property>
3945                           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
3946                           <property name="width_chars">-1</property>
3947                           <property name="single_line_mode">False</property>
3948                           <property name="angle">0</property>
3949                         </widget>
3950                         <packing>
3951                           <property name="padding">0</property>
3952                           <property name="expand">False</property>
3953                           <property name="fill">False</property>
3954                         </packing>
3955                       </child>
3956                     </widget>
3957                   </child>
3958                 </widget>
3959               </child>
3960             </widget>
3961             <packing>
3962               <property name="padding">0</property>
3963               <property name="expand">False</property>
3964               <property name="fill">False</property>
3965             </packing>
3966           </child>
3967
3968           <child>
3969             <widget class="GtkButton" id="cleanButton">
3970               <property name="visible">True</property>
3971               <property name="can_focus">True</property>
3972               <property name="relief">GTK_RELIEF_NORMAL</property>
3973               <property name="focus_on_click">True</property>
3974
3975               <child>
3976                 <widget class="GtkAlignment" id="alignment15">
3977                   <property name="visible">True</property>
3978                   <property name="xalign">0.5</property>
3979                   <property name="yalign">0.5</property>
3980                   <property name="xscale">0</property>
3981                   <property name="yscale">0</property>
3982                   <property name="top_padding">0</property>
3983                   <property name="bottom_padding">0</property>
3984                   <property name="left_padding">0</property>
3985                   <property name="right_padding">0</property>
3986
3987                   <child>
3988                     <widget class="GtkHBox" id="hbox24">
3989                       <property name="visible">True</property>
3990                       <property name="homogeneous">False</property>
3991                       <property name="spacing">2</property>
3992
3993                       <child>
3994                         <widget class="GtkImage" id="image359">
3995                           <property name="visible">True</property>
3996                           <property name="stock">gtk-clear</property>
3997                           <property name="icon_size">4</property>
3998                           <property name="xalign">0.5</property>
3999                           <property name="yalign">0.5</property>
4000                           <property name="xpad">0</property>
4001                           <property name="ypad">0</property>
4002                         </widget>
4003                         <packing>
4004                           <property name="padding">0</property>
4005                           <property name="expand">False</property>
4006                           <property name="fill">False</property>
4007                         </packing>
4008                       </child>
4009
4010                       <child>
4011                         <widget class="GtkLabel" id="label23">
4012                           <property name="visible">True</property>
4013                           <property name="label" translatable="yes">C_lean</property>
4014                           <property name="use_underline">True</property>
4015                           <property name="use_markup">False</property>
4016                           <property name="justify">GTK_JUSTIFY_LEFT</property>
4017                           <property name="wrap">False</property>
4018                           <property name="selectable">False</property>
4019                           <property name="xalign">0.5</property>
4020                           <property name="yalign">0.5</property>
4021                           <property name="xpad">0</property>
4022                           <property name="ypad">0</property>
4023                           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
4024                           <property name="width_chars">-1</property>
4025                           <property name="single_line_mode">False</property>
4026                           <property name="angle">0</property>
4027                         </widget>
4028                         <packing>
4029                           <property name="padding">0</property>
4030                           <property name="expand">False</property>
4031                           <property name="fill">False</property>
4032                         </packing>
4033                       </child>
4034                     </widget>
4035                   </child>
4036                 </widget>
4037               </child>
4038             </widget>
4039             <packing>
4040               <property name="padding">0</property>
4041               <property name="expand">False</property>
4042               <property name="fill">False</property>
4043             </packing>
4044           </child>
4045
4046           <child>
4047             <widget class="GtkButton" id="publishButton">
4048               <property name="visible">True</property>
4049               <property name="can_focus">True</property>
4050               <property name="relief">GTK_RELIEF_NORMAL</property>
4051               <property name="focus_on_click">True</property>
4052
4053               <child>
4054                 <widget class="GtkAlignment" id="alignment16">
4055                   <property name="visible">True</property>
4056                   <property name="xalign">0.5</property>
4057                   <property name="yalign">0.5</property>
4058                   <property name="xscale">0</property>
4059                   <property name="yscale">0</property>
4060                   <property name="top_padding">0</property>
4061                   <property name="bottom_padding">0</property>
4062                   <property name="left_padding">0</property>
4063                   <property name="right_padding">0</property>
4064
4065                   <child>
4066                     <widget class="GtkHBox" id="hbox25">
4067                       <property name="visible">True</property>
4068                       <property name="homogeneous">False</property>
4069                       <property name="spacing">2</property>
4070
4071                       <child>
4072                         <widget class="GtkImage" id="image907">
4073                           <property name="visible">True</property>
4074                           <property name="stock">gtk-convert</property>
4075                           <property name="icon_size">4</property>
4076                           <property name="xalign">0.5</property>
4077                           <property name="yalign">0.5</property>
4078                           <property name="xpad">0</property>
4079                           <property name="ypad">0</property>
4080                         </widget>
4081                         <packing>
4082                           <property name="padding">0</property>
4083                           <property name="expand">False</property>
4084                           <property name="fill">False</property>
4085                         </packing>
4086                       </child>
4087
4088                       <child>
4089                         <widget class="GtkLabel" id="label24">
4090                           <property name="visible">True</property>
4091                           <property name="label" translatable="yes">Publish</property>
4092                           <property name="use_underline">True</property>
4093                           <property name="use_markup">False</property>
4094                           <property name="justify">GTK_JUSTIFY_LEFT</property>
4095                           <property name="wrap">False</property>
4096                           <property name="selectable">False</property>
4097                           <property name="xalign">0.5</property>
4098                           <property name="yalign">0.5</property>
4099                           <property name="xpad">0</property>
4100                           <property name="ypad">0</property>
4101                           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
4102                           <property name="width_chars">-1</property>
4103                           <property name="single_line_mode">False</property>
4104                           <property name="angle">0</property>
4105                         </widget>
4106                         <packing>
4107                           <property name="padding">0</property>
4108                           <property name="expand">False</property>
4109                           <property name="fill">False</property>
4110                         </packing>
4111                       </child>
4112                     </widget>
4113                   </child>
4114                 </widget>
4115               </child>
4116             </widget>
4117             <packing>
4118               <property name="padding">0</property>
4119               <property name="expand">False</property>
4120               <property name="fill">False</property>
4121             </packing>
4122           </child>
4123
4124           <child>
4125             <widget class="GtkButton" id="closeButton">
4126               <property name="visible">True</property>
4127               <property name="can_focus">True</property>
4128               <property name="label">gtk-close</property>
4129               <property name="use_stock">True</property>
4130               <property name="relief">GTK_RELIEF_NORMAL</property>
4131               <property name="focus_on_click">True</property>
4132             </widget>
4133             <packing>
4134               <property name="padding">0</property>
4135               <property name="expand">False</property>
4136               <property name="fill">False</property>
4137             </packing>
4138           </child>
4139         </widget>
4140         <packing>
4141           <property name="padding">0</property>
4142           <property name="expand">False</property>
4143           <property name="fill">True</property>
4144         </packing>
4145       </child>
4146     </widget>
4147   </child>
4148 </widget>
4149
4150 </glade-interface>