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