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