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