matita/matita.glade

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