matita/matita/matita.glade

   1 <?xml version="1.0"?>
   2 <glade-interface>
   3   <!-- interface-requires gtk+ 2.16 -->
   4   <!-- interface-naming-policy toplevel-contextual -->
   5   <widget class="GtkWindow" id="BrowserWin">
   6     <property name="width_request">500</property>
   7     <property name="height_request">480</property>
   8     <property name="visible">True</property>
   9     <property name="title" translatable="yes">Cic browser</property>
  10     <property name="window_position">center-on-parent</property>
  11     <property name="default_width">500</property>
  12     <property name="default_height">480</property>
  13     <property name="destroy_with_parent">True</property>
  14     <child>
  15       <widget class="GtkEventBox" id="BrowserWinEventBox">
  16         <property name="visible">True</property>
  17         <child>
  18           <widget class="GtkVBox" id="BrowserVBox">
  19             <property name="visible">True</property>
  20             <property name="orientation">vertical</property>
  21             <child>
  22               <widget class="GtkMenuBar" id="menubar2">
  23                 <property name="visible">True</property>
  24                 <child>
  25                   <widget class="GtkMenuItem" id="BrowserFileMenu">
  26                     <property name="visible">True</property>
  27                     <property name="label" translatable="yes">_File</property>
  28                     <property name="use_underline">True</property>
  29                     <child>
  30                       <widget class="GtkMenu" id="BrowserFileMenu_menu">
  31                         <child>
  32                           <widget class="GtkImageMenuItem" id="BrowserNewMenuItem">
  33                             <property name="label">gtk-new</property>
  34                             <property name="visible">True</property>
  35                             <property name="use_underline">True</property>
  36                             <property name="use_stock">True</property>
  37                           </widget>
  38                         </child>
  39                         <child>
  40                           <widget class="GtkMenuItem" id="BrowserUrlMenuItem">
  41                             <property name="visible">True</property>
  42                             <property name="label" translatable="yes">Open _Location ...</property>
  43                             <property name="use_underline">True</property>
  44                             <accelerator key="L" signal="activate" modifiers="GDK_CONTROL_MASK"/>
  45                           </widget>
  46                         </child>
  47                         <child>
  48                           <widget class="GtkSeparatorMenuItem" id="separatormenuitem1">
  49                             <property name="visible">True</property>
  50                           </widget>
  51                         </child>
  52                         <child>
  53                           <widget class="GtkImageMenuItem" id="BrowserCloseMenuItem">
  54                             <property name="label">gtk-close</property>
  55                             <property name="visible">True</property>
  56                             <property name="use_underline">True</property>
  57                             <property name="use_stock">True</property>
  58                           </widget>
  59                         </child>
  60                       </widget>
  61                     </child>
  62                   </widget>
  63                 </child>
  64                 <child>
  65                   <widget class="GtkMenuItem" id="BrowserEditMenu">
  66                     <property name="visible">True</property>
  67                     <property name="label" translatable="yes">_Edit</property>
  68                     <property name="use_underline">True</property>
  69                     <child>
  70                       <widget class="GtkMenu" id="BrowserEditMenu_menu">
  71                         <child>
  72                           <widget class="GtkImageMenuItem" id="BrowserCopyMenuItem">
  73                             <property name="label">gtk-copy</property>
  74                             <property name="visible">True</property>
  75                             <property name="use_underline">True</property>
  76                             <property name="use_stock">True</property>
  77                           </widget>
  78                         </child>
  79                       </widget>
  80                     </child>
  81                   </widget>
  82                 </child>
  83               </widget>
  84               <packing>
  85                 <property name="expand">False</property>
  86                 <property name="fill">False</property>
  87                 <property name="position">0</property>
  88               </packing>
  89             </child>
  90             <child>
  91               <widget class="GtkFrame" id="frame2">
  92                 <property name="visible">True</property>
  93                 <property name="label_xalign">0</property>
  94                 <property name="label_yalign">0</property>
  95                 <property name="shadow_type">none</property>
  96                 <child>
  97                   <widget class="GtkHBox" id="BrowserHBox">
  98                     <property name="visible">True</property>
  99                     <child>
 100                       <widget class="GtkButton" id="BrowserNewButton">
 101                         <property name="visible">True</property>
 102                         <property name="can_focus">True</property>
 103                         <property name="receives_default">False</property>
 104                         <property name="relief">none</property>
 105                         <child>
 106                           <widget class="GtkImage" id="image303">
 107                             <property name="visible">True</property>
 108                             <property name="stock">gtk-new</property>
 109                           </widget>
 110                         </child>
 111                       </widget>
 112                       <packing>
 113                         <property name="expand">False</property>
 114                         <property name="fill">False</property>
 115                         <property name="position">0</property>
 116                       </packing>
 117                     </child>
 118                     <child>
 119                       <widget class="GtkButton" id="BrowserBackButton">
 120                         <property name="visible">True</property>
 121                         <property name="can_focus">True</property>
 122                         <property name="receives_default">False</property>
 123                         <property name="relief">none</property>
 124                         <child>
 125                           <widget class="GtkImage" id="image304">
 126                             <property name="visible">True</property>
 127                             <property name="stock">gtk-go-back</property>
 128                           </widget>
 129                         </child>
 130                       </widget>
 131                       <packing>
 132                         <property name="expand">False</property>
 133                         <property name="fill">False</property>
 134                         <property name="position">1</property>
 135                       </packing>
 136                     </child>
 137                     <child>
 138                       <widget class="GtkButton" id="BrowserForwardButton">
 139                         <property name="visible">True</property>
 140                         <property name="can_focus">True</property>
 141                         <property name="receives_default">False</property>
 142                         <property name="relief">none</property>
 143                         <child>
 144                           <widget class="GtkImage" id="image305">
 145                             <property name="visible">True</property>
 146                             <property name="stock">gtk-go-forward</property>
 147                           </widget>
 148                         </child>
 149                       </widget>
 150                       <packing>
 151                         <property name="expand">False</property>
 152                         <property name="fill">False</property>
 153                         <property name="position">2</property>
 154                       </packing>
 155                     </child>
 156                     <child>
 157                       <widget class="GtkButton" id="BrowserRefreshButton">
 158                         <property name="visible">True</property>
 159                         <property name="can_focus">True</property>
 160                         <property name="can_default">True</property>
 161                         <property name="receives_default">False</property>
 162                         <property name="tooltip" translatable="yes">refresh</property>
 163                         <property name="relief">none</property>
 164                         <child>
 165                           <widget class="GtkImage" id="image229">
 166                             <property name="visible">True</property>
 167                             <property name="stock">gtk-refresh</property>
 168                           </widget>
 169                         </child>
 170                       </widget>
 171                       <packing>
 172                         <property name="expand">False</property>
 173                         <property name="fill">False</property>
 174                         <property name="position">3</property>
 175                       </packing>
 176                     </child>
 177                     <child>
 178                       <widget class="GtkButton" id="BrowserHomeButton">
 179                         <property name="visible">True</property>
 180                         <property name="can_focus">True</property>
 181                         <property name="can_default">True</property>
 182                         <property name="receives_default">False</property>
 183                         <property name="tooltip" translatable="yes">home</property>
 184                         <property name="relief">none</property>
 185                         <child>
 186                           <widget class="GtkImage" id="image190">
 187                             <property name="visible">True</property>
 188                             <property name="stock">gtk-home</property>
 189                           </widget>
 190                         </child>
 191                       </widget>
 192                       <packing>
 193                         <property name="expand">False</property>
 194                         <property name="fill">False</property>
 195                         <property name="position">4</property>
 196                       </packing>
 197                     </child>
 198                     <child>
 199                       <widget class="GtkImage" id="image301">
 200                         <property name="visible">True</property>
 201                         <property name="stock">gtk-jump-to</property>
 202                         <property name="icon-size">2</property>
 203                       </widget>
 204                       <packing>
 205                         <property name="expand">False</property>
 206                         <property name="fill">False</property>
 207                         <property name="padding">3</property>
 208                         <property name="position">5</property>
 209                       </packing>
 210                     </child>
 211                     <child>
 212                       <widget class="GtkHBox" id="UriHBox">
 213                         <property name="visible">True</property>
 214                         <child>
 215                           <placeholder/>
 216                         </child>
 217                       </widget>
 218                       <packing>
 219                         <property name="position">6</property>
 220                       </packing>
 221                     </child>
 222                   </widget>
 223                 </child>
 224               </widget>
 225               <packing>
 226                 <property name="expand">False</property>
 227                 <property name="position">1</property>
 228               </packing>
 229             </child>
 230             <child>
 231               <widget class="GtkNotebook" id="mathOrListNotebook">
 232                 <property name="visible">True</property>
 233                 <property name="can_focus">True</property>
 234                 <child>
 235                   <widget class="GtkScrolledWindow" id="ScrolledBrowser">
 236                     <property name="visible">True</property>
 237                     <property name="can_focus">True</property>
 238                     <property name="hscrollbar_policy">automatic</property>
 239                     <property name="vscrollbar_policy">automatic</property>
 240                     <child>
 241                       <placeholder/>
 242                     </child>
 243                   </widget>
 244                 </child>
 245                 <child>
 246                   <widget class="GtkLabel" id="mathLabel">
 247                     <property name="visible">True</property>
 248                     <property name="label" translatable="yes">MathView</property>
 249                   </widget>
 250                   <packing>
 251                     <property name="tab_fill">False</property>
 252                     <property name="type">tab</property>
 253                   </packing>
 254                 </child>
 255                 <child>
 256                   <widget class="GtkScrolledWindow" id="scrolledwindow9">
 257                     <property name="visible">True</property>
 258                     <property name="can_focus">True</property>
 259                     <property name="hscrollbar_policy">automatic</property>
 260                     <property name="vscrollbar_policy">automatic</property>
 261                     <property name="shadow_type">in</property>
 262                     <child>
 263                       <widget class="GtkTreeView" id="whelpResultTreeview">
 264                         <property name="visible">True</property>
 265                         <property name="can_focus">True</property>
 266                         <property name="headers_visible">False</property>
 267                       </widget>
 268                     </child>
 269                   </widget>
 270                   <packing>
 271                     <property name="position">1</property>
 272                   </packing>
 273                 </child>
 274                 <child>
 275                   <widget class="GtkLabel" id="WhelpResult">
 276                     <property name="visible">True</property>
 277                     <property name="label" translatable="yes">WhelpResult</property>
 278                   </widget>
 279                   <packing>
 280                     <property name="position">1</property>
 281                     <property name="tab_fill">False</property>
 282                     <property name="type">tab</property>
 283                   </packing>
 284                 </child>
 285                 <child>
 286                   <widget class="GtkScrolledWindow" id="scrolledwindow11">
 287                     <property name="visible">True</property>
 288                     <property name="can_focus">True</property>
 289                     <property name="hscrollbar_policy">automatic</property>
 290                     <property name="vscrollbar_policy">automatic</property>
 291                     <child>
 292                       <widget class="GtkViewport" id="viewport2">
 293                         <property name="visible">True</property>
 294                         <property name="shadow_type">none</property>
 295                         <child>
 296                           <widget class="GtkImage" id="BrowserImage">
 297                             <property name="visible">True</property>
 298                             <property name="stock">gtk-missing-image</property>
 299                           </widget>
 300                         </child>
 301                       </widget>
 302                     </child>
 303                   </widget>
 304                   <packing>
 305                     <property name="position">2</property>
 306                   </packing>
 307                 </child>
 308                 <child>
 309                   <widget class="GtkLabel" id="EasterEggLabel">
 310                     <property name="visible">True</property>
 311                     <property name="label" translatable="yes">WhelpEasterEgg</property>
 312                   </widget>
 313                   <packing>
 314                     <property name="position">2</property>
 315                     <property name="tab_fill">False</property>
 316                     <property name="type">tab</property>
 317                   </packing>
 318                 </child>
 319                 <child>
 320                   <widget class="GtkScrolledWindow" id="GraphScrolledWin">
 321                     <property name="visible">True</property>
 322                     <property name="can_focus">True</property>
 323                     <property name="hscrollbar_policy">automatic</property>
 324                     <property name="vscrollbar_policy">automatic</property>
 325                     <child>
 326                       <placeholder/>
 327                     </child>
 328                   </widget>
 329                   <packing>
 330                     <property name="position">3</property>
 331                   </packing>
 332                 </child>
 333                 <child>
 334                   <widget class="GtkLabel" id="label26">
 335                     <property name="visible">True</property>
 336                     <property name="label" translatable="yes">Graph</property>
 337                   </widget>
 338                   <packing>
 339                     <property name="position">3</property>
 340                     <property name="tab_fill">False</property>
 341                     <property name="type">tab</property>
 342                   </packing>
 343                 </child>
 344                 <child>
 345                   <widget class="GtkVBox" id="vbox20">
 346                     <property name="visible">True</property>
 347                     <property name="orientation">vertical</property>
 348                     <child>
 349                       <widget class="GtkScrolledWindow" id="scrolledwinContent">
 350                         <property name="visible">True</property>
 351                         <property name="can_focus">True</property>
 352                         <property name="border_width">3</property>
 353                         <property name="hscrollbar_policy">automatic</property>
 354                         <property name="vscrollbar_policy">automatic</property>
 355                         <property name="shadow_type">in</property>
 356                         <child>
 357                           <placeholder/>
 358                         </child>
 359                       </widget>
 360                       <packing>
 361                         <property name="position">0</property>
 362                       </packing>
 363                     </child>
 364                     <child>
 365                       <widget class="GtkHBox" id="hbox35">
 366                         <property name="visible">True</property>
 367                         <property name="border_width">4</property>
 368                         <property name="spacing">4</property>
 369                         <child>
 370                           <widget class="GtkVBox" id="vbox22">
 371                             <property name="visible">True</property>
 372                             <property name="orientation">vertical</property>
 373                             <child>
 374                               <placeholder/>
 375                             </child>
 376                             <child>
 377                               <placeholder/>
 378                             </child>
 379                           </widget>
 380                           <packing>
 381                             <property name="position">0</property>
 382                           </packing>
 383                         </child>
 384                         <child>
 385                           <widget class="GtkEntry" id="entrySearch">
 386                             <property name="visible">True</property>
 387                             <property name="can_focus">True</property>
 388                             <property name="has_focus">True</property>
 389                           </widget>
 390                           <packing>
 391                             <property name="position">1</property>
 392                           </packing>
 393                         </child>
 394                         <child>
 395                           <widget class="GtkButton" id="buttonSearch">
 396                             <property name="visible">True</property>
 397                             <property name="can_focus">True</property>
 398                             <property name="receives_default">False</property>
 399                             <child>
 400                               <widget class="GtkAlignment" id="alignment21">
 401                                 <property name="visible">True</property>
 402                                 <property name="xscale">0</property>
 403                                 <property name="yscale">0</property>
 404                                 <child>
 405                                   <widget class="GtkHBox" id="hbox36">
 406                                     <property name="visible">True</property>
 407                                     <property name="spacing">2</property>
 408                                     <child>
 409                                       <widget class="GtkImage" id="image1068">
 410                                         <property name="visible">True</property>
 411                                         <property name="stock">gtk-find</property>
 412                                       </widget>
 413                                       <packing>
 414                                         <property name="expand">False</property>
 415                                         <property name="fill">False</property>
 416                                         <property name="position">0</property>
 417                                       </packing>
 418                                     </child>
 419                                     <child>
 420                                       <widget class="GtkLabel" id="label32">
 421                                         <property name="visible">True</property>
 422                                         <property name="label" translatable="yes">Search</property>
 423                                         <property name="use_underline">True</property>
 424                                       </widget>
 425                                       <packing>
 426                                         <property name="expand">False</property>
 427                                         <property name="fill">False</property>
 428                                         <property name="position">1</property>
 429                                       </packing>
 430                                     </child>
 431                                   </widget>
 432                                 </child>
 433                               </widget>
 434                             </child>
 435                           </widget>
 436                           <packing>
 437                             <property name="expand">False</property>
 438                             <property name="fill">False</property>
 439                             <property name="position">2</property>
 440                           </packing>
 441                         </child>
 442                       </widget>
 443                       <packing>
 444                         <property name="expand">False</property>
 445                         <property name="position">1</property>
 446                       </packing>
 447                     </child>
 448                   </widget>
 449                   <packing>
 450                     <property name="position">4</property>
 451                   </packing>
 452                 </child>
 453                 <child>
 454                   <widget class="GtkLabel" id="SearchText">
 455                     <property name="visible">True</property>
 456                     <property name="label" translatable="yes">SearchText</property>
 457                   </widget>
 458                   <packing>
 459                     <property name="position">4</property>
 460                     <property name="tab_fill">False</property>
 461                     <property name="type">tab</property>
 462                   </packing>
 463                 </child>
 464               </widget>
 465               <packing>
 466                 <property name="position">3</property>
 467               </packing>
 468             </child>
 469           </widget>
 470         </child>
 471       </widget>
 472     </child>
 473   </widget>
 474   <widget class="GtkDialog" id="ConfirmationDialog">
 475     <property name="title" translatable="yes">DUMMY</property>
 476     <property name="resizable">False</property>
 477     <property name="modal">True</property>
 478     <property name="window_position">center</property>
 479     <property name="type_hint">dialog</property>
 480     <child internal-child="vbox">
 481       <widget class="GtkVBox" id="dialog-vbox1">
 482         <property name="visible">True</property>
 483         <property name="orientation">vertical</property>
 484         <child>
 485           <widget class="GtkLabel" id="ConfirmationDialogLabel">
 486             <property name="visible">True</property>
 487             <property name="label" translatable="yes">DUMMY</property>
 488             <property name="justify">center</property>
 489           </widget>
 490           <packing>
 491             <property name="expand">False</property>
 492             <property name="fill">False</property>
 493             <property name="position">2</property>
 494           </packing>
 495         </child>
 496         <child internal-child="action_area">
 497           <widget class="GtkHButtonBox" id="dialog-action_area1">
 498             <property name="visible">True</property>
 499             <property name="layout_style">end</property>
 500             <child>
 501               <widget class="GtkButton" id="ConfirmationDialogCancelButton">
 502                 <property name="label">gtk-cancel</property>
 503                 <property name="response_id">-6</property>
 504                 <property name="visible">True</property>
 505                 <property name="can_focus">True</property>
 506                 <property name="can_default">True</property>
 507                 <property name="receives_default">False</property>
 508                 <property name="use_stock">True</property>
 509               </widget>
 510               <packing>
 511                 <property name="expand">False</property>
 512                 <property name="fill">False</property>
 513                 <property name="position">0</property>
 514               </packing>
 515             </child>
 516             <child>
 517               <widget class="GtkButton" id="ConfirmationDialogOkButton">
 518                 <property name="label">gtk-ok</property>
 519                 <property name="response_id">-5</property>
 520                 <property name="visible">True</property>
 521                 <property name="can_focus">True</property>
 522                 <property name="can_default">True</property>
 523                 <property name="receives_default">False</property>
 524                 <property name="use_stock">True</property>
 525               </widget>
 526               <packing>
 527                 <property name="expand">False</property>
 528                 <property name="fill">False</property>
 529                 <property name="position">1</property>
 530               </packing>
 531             </child>
 532           </widget>
 533           <packing>
 534             <property name="expand">False</property>
 535             <property name="pack_type">end</property>
 536             <property name="position">0</property>
 537           </packing>
 538         </child>
 539       </widget>
 540     </child>
 541   </widget>
 542   <widget class="GtkDialog" id="EmptyDialog">
 543     <property name="visible">True</property>
 544     <property name="title" translatable="yes">DUMMY</property>
 545     <property name="type_hint">dialog</property>
 546     <child internal-child="vbox">
 547       <widget class="GtkVBox" id="EmptyDialogVBox">
 548         <property name="visible">True</property>
 549         <property name="orientation">vertical</property>
 550         <child>
 551           <widget class="GtkLabel" id="EmptyDialogLabel">
 552             <property name="visible">True</property>
 553             <property name="label" translatable="yes">DUMMY</property>
 554           </widget>
 555           <packing>
 556             <property name="expand">False</property>
 557             <property name="fill">False</property>
 558             <property name="position">2</property>
 559           </packing>
 560         </child>
 561         <child>
 562           <placeholder/>
 563         </child>
 564         <child internal-child="action_area">
 565           <widget class="GtkHButtonBox" id="dialog-action_area5">
 566             <property name="visible">True</property>
 567             <property name="layout_style">end</property>
 568             <child>
 569               <widget class="GtkButton" id="EmptyDialogCancelButton">
 570                 <property name="label">gtk-cancel</property>
 571                 <property name="response_id">-6</property>
 572                 <property name="visible">True</property>
 573                 <property name="can_focus">True</property>
 574                 <property name="can_default">True</property>
 575                 <property name="receives_default">False</property>
 576                 <property name="use_stock">True</property>
 577               </widget>
 578               <packing>
 579                 <property name="expand">False</property>
 580                 <property name="fill">False</property>
 581                 <property name="position">0</property>
 582               </packing>
 583             </child>
 584             <child>
 585               <widget class="GtkButton" id="EmptyDialogOkButton">
 586                 <property name="label">gtk-ok</property>
 587                 <property name="response_id">-5</property>
 588                 <property name="visible">True</property>
 589                 <property name="can_focus">True</property>
 590                 <property name="can_default">True</property>
 591                 <property name="receives_default">False</property>
 592                 <property name="use_stock">True</property>
 593               </widget>
 594               <packing>
 595                 <property name="expand">False</property>
 596                 <property name="fill">False</property>
 597                 <property name="position">1</property>
 598               </packing>
 599             </child>
 600           </widget>
 601           <packing>
 602             <property name="expand">False</property>
 603             <property name="pack_type">end</property>
 604             <property name="position">0</property>
 605           </packing>
 606         </child>
 607       </widget>
 608     </child>
 609   </widget>
 610   <widget class="GtkFileSelection" id="FileSelectionWin">
 611     <property name="border_width">10</property>
 612     <property name="title" translatable="yes">Select File</property>
 613     <property name="modal">True</property>
 614     <property name="window_position">center</property>
 615     <property name="type_hint">dialog</property>
 616     <child internal-child="cancel_button">
 617       <widget class="GtkButton" id="fileSelCancelButton">
 618         <property name="visible">True</property>
 619         <property name="can_focus">True</property>
 620         <property name="can_default">True</property>
 621         <property name="receives_default">False</property>
 622       </widget>
 623     </child>
 624     <child internal-child="ok_button">
 625       <widget class="GtkButton" id="fileSelOkButton">
 626         <property name="visible">True</property>
 627         <property name="can_focus">True</property>
 628         <property name="can_default">True</property>
 629         <property name="receives_default">False</property>
 630       </widget>
 631     </child>
 632   </widget>
 633   <widget class="GtkWindow" id="MainWin">
 634     <property name="title" translatable="yes">Matita</property>
 635     <child>
 636       <widget class="GtkEventBox" id="MainWinEventBox">
 637         <property name="visible">True</property>
 638         <child>
 639           <widget class="GtkVBox" id="vbox8">
 640             <property name="visible">True</property>
 641             <property name="orientation">vertical</property>
 642             <child>
 643               <widget class="GtkHandleBox" id="menuBarHandleBox">
 644                 <property name="visible">True</property>
 645                 <child>
 646                   <widget class="GtkMenuBar" id="menubar1">
 647                     <property name="visible">True</property>
 648                     <child>
 649                       <widget class="GtkMenuItem" id="fileMenu">
 650                         <property name="visible">True</property>
 651                         <property name="label" translatable="yes">_File</property>
 652                         <property name="use_underline">True</property>
 653                         <child>
 654                           <widget class="GtkMenu" id="fileMenu_menu">
 655                             <child>
 656                               <widget class="GtkImageMenuItem" id="newMenuItem">
 657                                 <property name="label">gtk-new</property>
 658                                 <property name="visible">True</property>
 659                                 <property name="use_underline">True</property>
 660                                 <property name="use_stock">True</property>
 661                                 <accelerator key="n" signal="activate" modifiers="GDK_CONTROL_MASK"/>
 662                               </widget>
 663                             </child>
 664                             <child>
 665                               <widget class="GtkImageMenuItem" id="openMenuItem">
 666                                 <property name="label">gtk-open</property>
 667                                 <property name="visible">True</property>
 668                                 <property name="use_underline">True</property>
 669                                 <property name="use_stock">True</property>
 670                                 <accelerator key="o" signal="activate" modifiers="GDK_CONTROL_MASK"/>
 671                               </widget>
 672                             </child>
 673                             <child>
 674                               <widget class="GtkImageMenuItem" id="saveMenuItem">
 675                                 <property name="label">gtk-save</property>
 676                                 <property name="visible">True</property>
 677                                 <property name="use_underline">True</property>
 678                                 <property name="use_stock">True</property>
 679                                 <accelerator key="s" signal="activate" modifiers="GDK_CONTROL_MASK"/>
 680                               </widget>
 681                             </child>
 682                             <child>
 683                               <widget class="GtkImageMenuItem" id="saveAsMenuItem">
 684                                 <property name="label">gtk-save-as</property>
 685                                 <property name="visible">True</property>
 686                                 <property name="use_underline">True</property>
 687                                 <property name="use_stock">True</property>
 688                                 <accelerator key="s" signal="activate" modifiers="GDK_SHIFT_MASK | GDK_CONTROL_MASK"/>
 689                               </widget>
 690                             </child>
 691                             <child>
 692                               <widget class="GtkSeparatorMenuItem" id="separator2">
 693                                 <property name="visible">True</property>
 694                               </widget>
 695                             </child>
 696                             <child>
 697                               <widget class="GtkImageMenuItem" id="closeMenuItem">
 698                                 <property name="label">gtk-close</property>
 699                                 <property name="visible">True</property>
 700                                 <property name="use_underline">True</property>
 701                                 <property name="use_stock">True</property>
 702                                 <accelerator key="q" signal="activate" modifiers="GDK_CONTROL_MASK"/>
 703                               </widget>
 704                             </child>
 705                             <child>
 706                               <widget class="GtkImageMenuItem" id="quitMenuItem">
 707                                 <property name="label">gtk-quit</property>
 708                                 <property name="visible">True</property>
 709                                 <property name="use_underline">True</property>
 710                                 <property name="use_stock">True</property>
 711                                 <accelerator key="q" signal="activate" modifiers="GDK_CONTROL_MASK"/>
 712                               </widget>
 713                             </child>
 714                           </widget>
 715                         </child>
 716                       </widget>
 717                     </child>
 718                     <child>
 719                       <widget class="GtkMenuItem" id="editMenu">
 720                         <property name="visible">True</property>
 721                         <property name="label" translatable="yes">_Edit</property>
 722                         <property name="use_underline">True</property>
 723                         <child>
 724                           <widget class="GtkMenu" id="editMenu_menu">
 725                             <child>
 726                               <widget class="GtkImageMenuItem" id="undoMenuItem">
 727                                 <property name="label">gtk-undo</property>
 728                                 <property name="visible">True</property>
 729                                 <property name="sensitive">False</property>
 730                                 <property name="use_underline">True</property>
 731                                 <property name="use_stock">True</property>
 732                                 <accelerator key="z" signal="activate" modifiers="GDK_CONTROL_MASK"/>
 733                               </widget>
 734                             </child>
 735                             <child>
 736                               <widget class="GtkImageMenuItem" id="redoMenuItem">
 737                                 <property name="label">gtk-redo</property>
 738                                 <property name="visible">True</property>
 739                                 <property name="sensitive">False</property>
 740                                 <property name="use_underline">True</property>
 741                                 <property name="use_stock">True</property>
 742                                 <accelerator key="z" signal="activate" modifiers="GDK_SHIFT_MASK | GDK_CONTROL_MASK"/>
 743                               </widget>
 744                             </child>
 745                             <child>
 746                               <widget class="GtkSeparatorMenuItem" id="separator3">
 747                                 <property name="visible">True</property>
 748                               </widget>
 749                             </child>
 750                             <child>
 751                               <widget class="GtkImageMenuItem" id="cutMenuItem">
 752                                 <property name="label">gtk-cut</property>
 753                                 <property name="visible">True</property>
 754                                 <property name="use_underline">True</property>
 755                                 <property name="use_stock">True</property>
 756                                 <accelerator key="x" signal="activate" modifiers="GDK_CONTROL_MASK"/>
 757                               </widget>
 758                             </child>
 759                             <child>
 760                               <widget class="GtkImageMenuItem" id="copyMenuItem">
 761                                 <property name="label">gtk-copy</property>
 762                                 <property name="visible">True</property>
 763                                 <property name="use_underline">True</property>
 764                                 <property name="use_stock">True</property>
 765                                 <accelerator key="c" signal="activate" modifiers="GDK_CONTROL_MASK"/>
 766                               </widget>
 767                             </child>
 768                             <child>
 769                               <widget class="GtkImageMenuItem" id="pasteMenuItem">
 770                                 <property name="label">gtk-paste</property>
 771                                 <property name="visible">True</property>
 772                                 <property name="use_underline">True</property>
 773                                 <property name="use_stock">True</property>
 774                                 <accelerator key="v" signal="activate" modifiers="GDK_CONTROL_MASK"/>
 775                               </widget>
 776                             </child>
 777                             <child>
 778                               <widget class="GtkMenuItem" id="pastePatternMenuItem">
 779                                 <property name="visible">True</property>
 780                                 <property name="label" translatable="yes">Paste as pattern</property>
 781                                 <property name="use_underline">True</property>
 782                               </widget>
 783                             </child>
 784                             <child>
 785                               <widget class="GtkCheckMenuItem" id="unicodeAsTexMenuItem">
 786                                 <property name="visible">True</property>
 787                                 <property name="label" translatable="yes">Paste Unicode as TeX</property>
 788                                 <property name="use_underline">True</property>
 789                               </widget>
 790                             </child>
 791                             <child>
 792                               <widget class="GtkCheckMenuItem" id="menuitemAutoAltL">
 793                                 <property name="visible">True</property>
 794                                 <property name="tooltip" translatable="yes">Automatically expands TeX macros to their corresponding UTF-8 symbol</property>
 795                                 <property name="label" translatable="yes">Auto-expand TeX Macros</property>
 796                                 <property name="use_underline">True</property>
 797                                 <property name="active">True</property>
 798                               </widget>
 799                             </child>
 800                             <child>
 801                               <widget class="GtkImageMenuItem" id="deleteMenuItem">
 802                                 <property name="label">gtk-delete</property>
 803                                 <property name="visible">True</property>
 804                                 <property name="use_underline">True</property>
 805                                 <property name="use_stock">True</property>
 806                               </widget>
 807                             </child>
 808                             <child>
 809                               <widget class="GtkSeparatorMenuItem" id="separator4">
 810                                 <property name="visible">True</property>
 811                               </widget>
 812                             </child>
 813                             <child>
 814                               <widget class="GtkMenuItem" id="selectAllMenuItem">
 815                                 <property name="visible">True</property>
 816                                 <property name="label" translatable="yes">Select _All</property>
 817                                 <property name="use_underline">True</property>
 818                               </widget>
 819                             </child>
 820                             <child>
 821                               <widget class="GtkSeparatorMenuItem" id="separator7">
 822                                 <property name="visible">True</property>
 823                               </widget>
 824                             </child>
 825                             <child>
 826                               <widget class="GtkImageMenuItem" id="findReplMenuItem">
 827                                 <property name="label">gtk-find-and-replace</property>
 828                                 <property name="visible">True</property>
 829                                 <property name="use_underline">True</property>
 830                                 <property name="use_stock">True</property>
 831                                 <accelerator key="f" signal="activate" modifiers="GDK_CONTROL_MASK"/>
 832                               </widget>
 833                             </child>
 834                             <child>
 835                               <widget class="GtkSeparatorMenuItem" id="separator8">
 836                                 <property name="visible">True</property>
 837                               </widget>
 838                             </child>
 839                             <child>
 840                               <widget class="GtkMenuItem" id="LigatureButton">
 841                                 <property name="visible">True</property>
 842                                 <property name="label" translatable="yes">Next ligature</property>
 843                                 <property name="use_underline">True</property>
 844                                 <accelerator key="l" signal="activate" modifiers="GDK_MOD1_MASK"/>
 845                               </widget>
 846                             </child>
 847                             <child>
 848                               <widget class="GtkMenuItem" id="externalEditorMenuItem">
 849                                 <property name="visible">True</property>
 850                                 <property name="label" translatable="yes">Edit with e_xternal editor</property>
 851                                 <property name="use_underline">True</property>
 852                               </widget>
 853                             </child>
 854                           </widget>
 855                         </child>
 856                       </widget>
 857                     </child>
 858                     <child>
 859                       <widget class="GtkMenuItem" id="scriptMenu">
 860                         <property name="visible">True</property>
 861                         <property name="label" translatable="yes">_Script</property>
 862                         <property name="use_underline">True</property>
 863                         <child>
 864                           <widget class="GtkMenu" id="scriptMenu_menu">
 865                             <child>
 866                               <widget class="GtkImageMenuItem" id="scriptAdvanceMenuItem">
 867                                 <property name="label">gtk-go-down</property>
 868                                 <property name="visible">True</property>
 869                                 <property name="use_underline">True</property>
 870                                 <property name="use_stock">True</property>
 871                                 <accelerator key="Page_Down" signal="activate" modifiers="GDK_CONTROL_MASK | GDK_MOD1_MASK"/>
 872                               </widget>
 873                             </child>
 874                             <child>
 875                               <widget class="GtkImageMenuItem" id="scriptRetractMenuItem">
 876                                 <property name="label">gtk-go-up</property>
 877                                 <property name="visible">True</property>
 878                                 <property name="use_underline">True</property>
 879                                 <property name="use_stock">True</property>
 880                                 <accelerator key="Page_Up" signal="activate" modifiers="GDK_CONTROL_MASK | GDK_MOD1_MASK"/>
 881                               </widget>
 882                             </child>
 883                             <child>
 884                               <widget class="GtkSeparatorMenuItem" id="separator9">
 885                                 <property name="visible">True</property>
 886                               </widget>
 887                             </child>
 888                             <child>
 889                               <widget class="GtkImageMenuItem" id="scriptBottomMenuItem">
 890                                 <property name="label">gtk-goto-bottom</property>
 891                                 <property name="visible">True</property>
 892                                 <property name="use_underline">True</property>
 893                                 <property name="use_stock">True</property>
 894                                 <accelerator key="End" signal="activate" modifiers="GDK_CONTROL_MASK | GDK_MOD1_MASK"/>
 895                               </widget>
 896                             </child>
 897                             <child>
 898                               <widget class="GtkImageMenuItem" id="scriptTopMenuItem">
 899                                 <property name="label">gtk-goto-top</property>
 900                                 <property name="visible">True</property>
 901                                 <property name="use_underline">True</property>
 902                                 <property name="use_stock">True</property>
 903                                 <accelerator key="Home" signal="activate" modifiers="GDK_CONTROL_MASK | GDK_MOD1_MASK"/>
 904                               </widget>
 905                             </child>
 906                             <child>
 907                               <widget class="GtkSeparatorMenuItem" id="separator10">
 908                                 <property name="visible">True</property>
 909                               </widget>
 910                             </child>
 911                             <child>
 912                               <widget class="GtkImageMenuItem" id="scriptJumpMenuItem">
 913                                 <property name="label">gtk-jump-to</property>
 914                                 <property name="visible">True</property>
 915                                 <property name="use_underline">True</property>
 916                                 <property name="use_stock">True</property>
 917                                 <accelerator key="period" signal="activate" modifiers="GDK_CONTROL_MASK | GDK_MOD1_MASK"/>
 918                               </widget>
 919                             </child>
 920                           </widget>
 921                         </child>
 922                       </widget>
 923                     </child>
 924                     <child>
 925                       <widget class="GtkMenuItem" id="viewMenu">
 926                         <property name="visible">True</property>
 927                         <property name="label" translatable="yes">_View</property>
 928                         <property name="use_underline">True</property>
 929                         <child>
 930                           <widget class="GtkMenu" id="viewMenu_menu">
 931                             <child>
 932                               <widget class="GtkMenuItem" id="newCicBrowserMenuItem">
 933                                 <property name="visible">True</property>
 934                                 <property name="label" translatable="yes">New CIC _browser</property>
 935                                 <property name="use_underline">True</property>
 936                                 <accelerator key="F3" signal="activate"/>
 937                               </widget>
 938                             </child>
 939                             <child>
 940                               <widget class="GtkSeparatorMenuItem" id="separator5">
 941                                 <property name="visible">True</property>
 942                               </widget>
 943                             </child>
 944                             <child>
 945                               <widget class="GtkCheckMenuItem" id="fullscreenMenuItem">
 946                                 <property name="visible">True</property>
 947                                 <property name="label" translatable="yes">_Fullscreen</property>
 948                                 <property name="use_underline">True</property>
 949                                 <accelerator key="F11" signal="activate"/>
 950                               </widget>
 951                             </child>
 952                             <child>
 953                               <widget class="GtkCheckMenuItem" id="menuitemPalette">
 954                                 <property name="visible">True</property>
 955                                 <property name="tooltip" translatable="yes">Shows a palette with natural deduction rules</property>
 956                                 <property name="label" translatable="yes">Natural deduction palette</property>
 957                                 <property name="use_underline">True</property>
 958                                 <accelerator key="F2" signal="activate"/>
 959                               </widget>
 960                             </child>
 961                             <child>
 962                               <widget class="GtkSeparatorMenuItem" id="separator1">
 963                                 <property name="visible">True</property>
 964                               </widget>
 965                             </child>
 966                             <child>
 967                               <widget class="GtkImageMenuItem" id="increaseFontSizeMenuItem">
 968                                 <property name="label">gtk-zoom-in</property>
 969                                 <property name="visible">True</property>
 970                                 <property name="use_underline">True</property>
 971                                 <property name="use_stock">True</property>
 972                                 <accelerator key="plus" signal="activate" modifiers="GDK_CONTROL_MASK"/>
 973                               </widget>
 974                             </child>
 975                             <child>
 976                               <widget class="GtkImageMenuItem" id="decreaseFontSizeMenuItem">
 977                                 <property name="label">gtk-zoom-out</property>
 978                                 <property name="visible">True</property>
 979                                 <property name="use_underline">True</property>
 980                                 <property name="use_stock">True</property>
 981                                 <accelerator key="minus" signal="activate" modifiers="GDK_CONTROL_MASK"/>
 982                               </widget>
 983                             </child>
 984                             <child>
 985                               <widget class="GtkImageMenuItem" id="normalFontSizeMenuItem">
 986                                 <property name="label">gtk-zoom-100</property>
 987                                 <property name="visible">True</property>
 988                                 <property name="use_underline">True</property>
 989                                 <property name="use_stock">True</property>
 990                                 <accelerator key="equal" signal="activate" modifiers="GDK_CONTROL_MASK"/>
 991                               </widget>
 992                             </child>
 993                             <child>
 994                               <widget class="GtkSeparatorMenuItem" id="separator12">
 995                                 <property name="visible">True</property>
 996                               </widget>
 997                             </child>
 998                             <child>
 999                               <widget class="GtkCheckMenuItem" id="ppNotationMenuItem">
1000                                 <property name="visible">True</property>
1001                                 <property name="label" translatable="yes">Pretty print notation</property>
1002                                 <property name="use_underline">True</property>
1003                                 <property name="active">True</property>
1004                               </widget>
1005                             </child>
1006                             <child>
1007                               <widget class="GtkCheckMenuItem" id="hideCoercionsMenuItem">
1008                                 <property name="visible">True</property>
1009                                 <property name="label" translatable="yes">Hide coercions</property>
1010                                 <property name="use_underline">True</property>
1011                                 <property name="active">True</property>
1012                               </widget>
1013                             </child>
1014                             <child>
1015                               <widget class="GtkSeparatorMenuItem" id="separator13">
1016                                 <property name="visible">True</property>
1017                               </widget>
1018                             </child>
1019                             <child>
1020                               <widget class="GtkMenuItem" id="showCoercionsGraphMenuItem">
1021                                 <property name="visible">True</property>
1022                                 <property name="tooltip" translatable="yes">Displays the graph of coercions</property>
1023                                 <property name="label" translatable="yes">Coercions Graph</property>
1024                                 <property name="use_underline">True</property>
1025                               </widget>
1026                             </child>
1027                             <child>
1028                               <widget class="GtkMenuItem" id="showHintsDbMenuItem">
1029                                 <property name="visible">True</property>
1030                                 <property name="tooltip" translatable="yes">Displays the database of hints</property>
1031                                 <property name="label" translatable="yes">Hints database</property>
1032                                 <property name="use_underline">True</property>
1033                               </widget>
1034                             </child>
1035                             <child>
1036                               <widget class="GtkMenuItem" id="showTermGrammarMenuItem">
1037                                 <property name="visible">True</property>
1038                                 <property name="tooltip" translatable="yes">Displays the terms grammar as extended by the user</property>
1039                                 <property name="label" translatable="yes">Terms grammar</property>
1040                                 <property name="use_underline">True</property>
1041                               </widget>
1042                             </child>
1043                             <child>
1044                               <widget class="GtkMenuItem" id="showUnicodeTable">
1045                                 <property name="visible">True</property>
1046                                 <property name="tooltip" translatable="yes">Show the conversion table from TeX like sequences to UTF-8</property>
1047                                 <property name="label" translatable="yes">TeX/UTF-8 table</property>
1048                                 <property name="use_underline">True</property>
1049                               </widget>
1050                             </child>
1051                           </widget>
1052                         </child>
1053                       </widget>
1054                     </child>
1055                     <child>
1056                       <widget class="GtkMenuItem" id="debugMenu">
1057                         <property name="visible">True</property>
1058                         <property name="label" translatable="yes">_Debug</property>
1059                         <property name="use_underline">True</property>
1060                         <child>
1061                           <widget class="GtkMenu" id="debugMenu_menu">
1062                             <child>
1063                               <widget class="GtkSeparatorMenuItem" id="separator6">
1064                                 <property name="visible">True</property>
1065                               </widget>
1066                             </child>
1067                           </widget>
1068                         </child>
1069                       </widget>
1070                     </child>
1071                     <child>
1072                       <widget class="GtkMenuItem" id="helpMenu">
1073                         <property name="visible">True</property>
1074                         <property name="label" translatable="yes">_Help</property>
1075                         <property name="use_underline">True</property>
1076                         <child>
1077                           <widget class="GtkMenu" id="helpMenu_menu">
1078                             <child>
1079                               <widget class="GtkImageMenuItem" id="contentsMenuItem">
1080                                 <property name="label">gtk-help</property>
1081                                 <property name="visible">True</property>
1082                                 <property name="use_underline">True</property>
1083                                 <property name="use_stock">True</property>
1084                                 <accelerator key="F1" signal="activate"/>
1085                               </widget>
1086                             </child>
1087                             <child>
1088                               <widget class="GtkImageMenuItem" id="aboutMenuItem">
1089                                 <property name="label">gtk-about</property>
1090                                 <property name="visible">True</property>
1091                                 <property name="use_underline">True</property>
1092                                 <property name="use_stock">True</property>
1093                               </widget>
1094                             </child>
1095                           </widget>
1096                         </child>
1097                       </widget>
1098                     </child>
1099                   </widget>
1100                 </child>
1101               </widget>
1102               <packing>
1103                 <property name="expand">False</property>
1104                 <property name="fill">False</property>
1105                 <property name="position">0</property>
1106               </packing>
1107             </child>
1108             <child>
1109               <widget class="GtkHBox" id="hbox99">
1110                 <property name="visible">True</property>
1111                 <child>
1112                   <widget class="GtkHPaned" id="hpaneScriptSequent">
1113                     <property name="visible">True</property>
1114                     <property name="can_focus">True</property>
1115                     <child>
1116                       <widget class="GtkHBox" id="hbox18">
1117                         <property name="visible">True</property>
1118                         <property name="spacing">2</property>
1119                         <child>
1120                           <widget class="GtkHandleBox" id="TacticsButtonsHandlebox">
1121                             <property name="visible">True</property>
1122                             <property name="handle_position">top</property>
1123                             <child>
1124                               <widget class="GtkVBox" id="vboxTacticsPalette">
1125                                 <property name="visible">True</property>
1126                                 <property name="orientation">vertical</property>
1127                                 <child>
1128                                   <widget class="GtkExpander" id="expander1">
1129                                     <property name="visible">True</property>
1130                                     <property name="can_focus">True</property>
1131                                     <child>
1132                                       <widget class="GtkVBox" id="vbox1">
1133                                         <property name="visible">True</property>
1134                                         <property name="orientation">vertical</property>
1135                                         <child>
1136                                           <widget class="GtkButton" id="butImpl_intro">
1137                                             <property name="visible">True</property>
1138                                             <property name="can_focus">True</property>
1139                                             <property name="receives_default">True</property>
1140                                             <child>
1141                                               <widget class="GtkLabel" id="label8">
1142                                                 <property name="visible">True</property>
1143                                                 <property name="label" translatable="yes">Implication (&#x21D2;&lt;sub&gt;i&lt;/sub&gt;)</property>
1144                                                 <property name="use_markup">True</property>
1145                                               </widget>
1146                                             </child>
1147                                           </widget>
1148                                           <packing>
1149                                             <property name="position">0</property>
1150                                           </packing>
1151                                         </child>
1152                                         <child>
1153                                           <widget class="GtkButton" id="butAnd_intro">
1154                                             <property name="visible">True</property>
1155                                             <property name="can_focus">True</property>
1156                                             <property name="receives_default">True</property>
1157                                             <child>
1158                                               <widget class="GtkLabel" id="label7">
1159                                                 <property name="visible">True</property>
1160                                                 <property name="label" translatable="yes">Conjunction (&#x2227;&lt;sub&gt;i&lt;/sub&gt;)</property>
1161                                                 <property name="use_markup">True</property>
1162                                               </widget>
1163                                             </child>
1164                                           </widget>
1165                                           <packing>
1166                                             <property name="position">1</property>
1167                                           </packing>
1168                                         </child>
1169                                         <child>
1170                                           <widget class="GtkButton" id="butOr_intro_left">
1171                                             <property name="visible">True</property>
1172                                             <property name="can_focus">True</property>
1173                                             <property name="receives_default">True</property>
1174                                             <child>
1175                                               <widget class="GtkLabel" id="label9">
1176                                                 <property name="visible">True</property>
1177                                                 <property name="label" translatable="yes">Disjunction left (&#x2228;&lt;sub&gt;i-l&lt;/sub&gt;)</property>
1178                                                 <property name="use_markup">True</property>
1179                                               </widget>
1180                                             </child>
1181                                           </widget>
1182                                           <packing>
1183                                             <property name="position">2</property>
1184                                           </packing>
1185                                         </child>
1186                                         <child>
1187                                           <widget class="GtkButton" id="butOr_intro_right">
1188                                             <property name="visible">True</property>
1189                                             <property name="can_focus">True</property>
1190                                             <property name="receives_default">True</property>
1191                                             <child>
1192                                               <widget class="GtkLabel" id="label10">
1193                                                 <property name="visible">True</property>
1194                                                 <property name="label" translatable="yes">Disjunction right (&#x2228;&lt;sub&gt;i-r&lt;/sub&gt;)</property>
1195                                                 <property name="use_markup">True</property>
1196                                               </widget>
1197                                             </child>
1198                                           </widget>
1199                                           <packing>
1200                                             <property name="position">3</property>
1201                                           </packing>
1202                                         </child>
1203                                         <child>
1204                                           <widget class="GtkButton" id="butNot_intro">
1205                                             <property name="visible">True</property>
1206                                             <property name="can_focus">True</property>
1207                                             <property name="receives_default">True</property>
1208                                             <child>
1209                                               <widget class="GtkLabel" id="label11">
1210                                                 <property name="visible">True</property>
1211                                                 <property name="label" translatable="yes">Negation (&#xAC;&lt;sub&gt;i&lt;/sub&gt;)</property>
1212                                                 <property name="use_markup">True</property>
1213                                               </widget>
1214                                             </child>
1215                                           </widget>
1216                                           <packing>
1217                                             <property name="position">4</property>
1218                                           </packing>
1219                                         </child>
1220                                         <child>
1221                                           <widget class="GtkButton" id="butTop_intro">
1222                                             <property name="visible">True</property>
1223                                             <property name="can_focus">True</property>
1224                                             <property name="receives_default">True</property>
1225                                             <child>
1226                                               <widget class="GtkLabel" id="label12">
1227                                                 <property name="visible">True</property>
1228                                                 <property name="label" translatable="yes">Top (&#x22A4;&lt;sub&gt;i&lt;/sub&gt;)</property>
1229                                                 <property name="use_markup">True</property>
1230                                               </widget>
1231                                             </child>
1232                                           </widget>
1233                                           <packing>
1234                                             <property name="position">5</property>
1235                                           </packing>
1236                                         </child>
1237                                         <child>
1238                                           <widget class="GtkButton" id="butForall_intro">
1239                                             <property name="visible">True</property>
1240                                             <property name="can_focus">True</property>
1241                                             <property name="receives_default">True</property>
1242                                             <child>
1243                                               <widget class="GtkLabel" id="label20">
1244                                                 <property name="visible">True</property>
1245                                                 <property name="label" translatable="yes">Universal (&#x2200;&lt;sub&gt;i&lt;/sub&gt;)</property>
1246                                                 <property name="use_markup">True</property>
1247                                               </widget>
1248                                             </child>
1249                                           </widget>
1250                                           <packing>
1251                                             <property name="position">6</property>
1252                                           </packing>
1253                                         </child>
1254                                         <child>
1255                                           <widget class="GtkButton" id="butExists_intro">
1256                                             <property name="visible">True</property>
1257                                             <property name="can_focus">True</property>
1258                                             <property name="receives_default">True</property>
1259                                             <child>
1260                                               <widget class="GtkLabel" id="label21">
1261                                                 <property name="visible">True</property>
1262                                                 <property name="label" translatable="yes">Existential (&#x2203;&lt;sub&gt;i&lt;/sub&gt;)</property>
1263                                                 <property name="use_markup">True</property>
1264                                               </widget>
1265                                             </child>
1266                                           </widget>
1267                                           <packing>
1268                                             <property name="position">7</property>
1269                                           </packing>
1270                                         </child>
1271                                       </widget>
1272                                     </child>
1273                                     <child>
1274                                       <widget class="GtkLabel" id="label4">
1275                                         <property name="visible">True</property>
1276                                         <property name="label" translatable="yes">Introduction rules</property>
1277                                       </widget>
1278                                       <packing>
1279                                         <property name="type">label_item</property>
1280                                       </packing>
1281                                     </child>
1282                                   </widget>
1283                                   <packing>
1284                                     <property name="expand">False</property>
1285                                     <property name="position">0</property>
1286                                   </packing>
1287                                 </child>
1288                                 <child>
1289                                   <widget class="GtkExpander" id="expander2">
1290                                     <property name="visible">True</property>
1291                                     <property name="can_focus">True</property>
1292                                     <child>
1293                                       <widget class="GtkVBox" id="vbox3">
1294                                         <property name="visible">True</property>
1295                                         <property name="orientation">vertical</property>
1296                                         <child>
1297                                           <widget class="GtkButton" id="butImpl_elim">
1298                                             <property name="visible">True</property>
1299                                             <property name="can_focus">True</property>
1300                                             <property name="receives_default">True</property>
1301                                             <child>
1302                                               <widget class="GtkLabel" id="label22">
1303                                                 <property name="visible">True</property>
1304                                                 <property name="label" translatable="yes">Implication (&#x21D2;&lt;sub&gt;e&lt;/sub&gt;)</property>
1305                                                 <property name="use_markup">True</property>
1306                                               </widget>
1307                                             </child>
1308                                           </widget>
1309                                           <packing>
1310                                             <property name="position">0</property>
1311                                           </packing>
1312                                         </child>
1313                                         <child>
1314                                           <widget class="GtkButton" id="butAnd_elim_left">
1315                                             <property name="visible">True</property>
1316                                             <property name="can_focus">True</property>
1317                                             <property name="receives_default">True</property>
1318                                             <child>
1319                                               <widget class="GtkLabel" id="label23">
1320                                                 <property name="visible">True</property>
1321                                                 <property name="label" translatable="yes">Conjunction left (&#x2227;&lt;sub&gt;e-l&lt;/sub&gt;)</property>
1322                                                 <property name="use_markup">True</property>
1323                                               </widget>
1324                                             </child>
1325                                           </widget>
1326                                           <packing>
1327                                             <property name="position">1</property>
1328                                           </packing>
1329                                         </child>
1330                                         <child>
1331                                           <widget class="GtkButton" id="butAnd_elim_right">
1332                                             <property name="visible">True</property>
1333                                             <property name="can_focus">True</property>
1334                                             <property name="receives_default">True</property>
1335                                             <child>
1336                                               <widget class="GtkLabel" id="label24">
1337                                                 <property name="visible">True</property>
1338                                                 <property name="label" translatable="yes">Conjunction right (&#x2227;&lt;sub&gt;e-r&lt;/sub&gt;)</property>
1339                                                 <property name="use_markup">True</property>
1340                                               </widget>
1341                                             </child>
1342                                           </widget>
1343                                           <packing>
1344                                             <property name="position">2</property>
1345                                           </packing>
1346                                         </child>
1347                                         <child>
1348                                           <widget class="GtkButton" id="butOr_elim">
1349                                             <property name="visible">True</property>
1350                                             <property name="can_focus">True</property>
1351                                             <property name="receives_default">True</property>
1352                                             <child>
1353                                               <widget class="GtkLabel" id="label27">
1354                                                 <property name="visible">True</property>
1355                                                 <property name="label" translatable="yes">Disjunction (&#x2228;&lt;sub&gt;e&lt;/sub&gt;)</property>
1356                                                 <property name="use_markup">True</property>
1357                                               </widget>
1358                                             </child>
1359                                           </widget>
1360                                           <packing>
1361                                             <property name="position">3</property>
1362                                           </packing>
1363                                         </child>
1364                                         <child>
1365                                           <widget class="GtkButton" id="butNot_elim">
1366                                             <property name="visible">True</property>
1367                                             <property name="can_focus">True</property>
1368                                             <property name="receives_default">True</property>
1369                                             <child>
1370                                               <widget class="GtkLabel" id="label31">
1371                                                 <property name="visible">True</property>
1372                                                 <property name="label" translatable="yes">Negation (&#xAC;&lt;sub&gt;e&lt;/sub&gt;)</property>
1373                                                 <property name="use_markup">True</property>
1374                                               </widget>
1375                                             </child>
1376                                           </widget>
1377                                           <packing>
1378                                             <property name="position">4</property>
1379                                           </packing>
1380                                         </child>
1381                                         <child>
1382                                           <widget class="GtkButton" id="butBot_elim">
1383                                             <property name="visible">True</property>
1384                                             <property name="can_focus">True</property>
1385                                             <property name="receives_default">True</property>
1386                                             <child>
1387                                               <widget class="GtkLabel" id="label33">
1388                                                 <property name="visible">True</property>
1389                                                 <property name="label" translatable="yes">Bottom (&#x22A5;&lt;sub&gt;e&lt;/sub&gt;)</property>
1390                                                 <property name="use_markup">True</property>
1391                                               </widget>
1392                                             </child>
1393                                           </widget>
1394                                           <packing>
1395                                             <property name="position">5</property>
1396                                           </packing>
1397                                         </child>
1398                                         <child>
1399                                           <widget class="GtkButton" id="butForall_elim">
1400                                             <property name="visible">True</property>
1401                                             <property name="can_focus">True</property>
1402                                             <property name="receives_default">True</property>
1403                                             <child>
1404                                               <widget class="GtkLabel" id="label34">
1405                                                 <property name="visible">True</property>
1406                                                 <property name="label" translatable="yes">Universal (&#x2200;&lt;sub&gt;e&lt;/sub&gt;)</property>
1407                                                 <property name="use_markup">True</property>
1408                                               </widget>
1409                                             </child>
1410                                           </widget>
1411                                           <packing>
1412                                             <property name="position">6</property>
1413                                           </packing>
1414                                         </child>
1415                                         <child>
1416                                           <widget class="GtkButton" id="butExists_elim">
1417                                             <property name="visible">True</property>
1418                                             <property name="can_focus">True</property>
1419                                             <property name="receives_default">True</property>
1420                                             <child>
1421                                               <widget class="GtkLabel" id="label35">
1422                                                 <property name="visible">True</property>
1423                                                 <property name="label" translatable="yes">Existential (&#x2203;&lt;sub&gt;e&lt;/sub&gt;)</property>
1424                                                 <property name="use_markup">True</property>
1425                                               </widget>
1426                                             </child>
1427                                           </widget>
1428                                           <packing>
1429                                             <property name="position">7</property>
1430                                           </packing>
1431                                         </child>
1432                                       </widget>
1433                                     </child>
1434                                     <child>
1435                                       <widget class="GtkLabel" id="label5">
1436                                         <property name="visible">True</property>
1437                                         <property name="label" translatable="yes">Elimination rules</property>
1438                                       </widget>
1439                                       <packing>
1440                                         <property name="type">label_item</property>
1441                                       </packing>
1442                                     </child>
1443                                   </widget>
1444                                   <packing>
1445                                     <property name="expand">False</property>
1446                                     <property name="position">1</property>
1447                                   </packing>
1448                                 </child>
1449                                 <child>
1450                                   <widget class="GtkExpander" id="expander3">
1451                                     <property name="visible">True</property>
1452                                     <property name="can_focus">True</property>
1453                                     <child>
1454                                       <widget class="GtkVBox" id="vbox4">
1455                                         <property name="visible">True</property>
1456                                         <property name="orientation">vertical</property>
1457                                         <child>
1458                                           <widget class="GtkButton" id="butRAA">
1459                                             <property name="label" translatable="yes">Reduction to Absurdity (RAA)</property>
1460                                             <property name="visible">True</property>
1461                                             <property name="can_focus">True</property>
1462                                             <property name="receives_default">True</property>
1463                                           </widget>
1464                                           <packing>
1465                                             <property name="position">0</property>
1466                                           </packing>
1467                                         </child>
1468                                         <child>
1469                                           <widget class="GtkButton" id="butUseLemma">
1470                                             <property name="label" translatable="yes">Use lemma (lem)</property>
1471                                             <property name="visible">True</property>
1472                                             <property name="can_focus">True</property>
1473                                             <property name="receives_default">True</property>
1474                                           </widget>
1475                                           <packing>
1476                                             <property name="position">1</property>
1477                                           </packing>
1478                                         </child>
1479                                         <child>
1480                                           <widget class="GtkButton" id="butDischarge">
1481                                             <property name="label" translatable="yes">Discharge (discharge)</property>
1482                                             <property name="visible">True</property>
1483                                             <property name="can_focus">True</property>
1484                                             <property name="receives_default">True</property>
1485                                           </widget>
1486                                           <packing>
1487                                             <property name="position">2</property>
1488                                           </packing>
1489                                         </child>
1490                                       </widget>
1491                                     </child>
1492                                     <child>
1493                                       <widget class="GtkLabel" id="label6">
1494                                         <property name="visible">True</property>
1495                                         <property name="label" translatable="yes">Misc rules</property>
1496                                       </widget>
1497                                       <packing>
1498                                         <property name="type">label_item</property>
1499                                       </packing>
1500                                     </child>
1501                                   </widget>
1502                                   <packing>
1503                                     <property name="expand">False</property>
1504                                     <property name="position">2</property>
1505                                   </packing>
1506                                 </child>
1507                               </widget>
1508                             </child>
1509                           </widget>
1510                           <packing>
1511                             <property name="expand">False</property>
1512                             <property name="position">0</property>
1513                           </packing>
1514                         </child>
1515                         <child>
1516                           <widget class="GtkVBox" id="vboxScript">
1517                             <property name="width_request">400</property>
1518                             <property name="visible">True</property>
1519                             <property name="orientation">vertical</property>
1520                             <child>
1521                               <widget class="GtkHBox" id="hbox28">
1522                                 <property name="visible">True</property>
1523                                 <child>
1524                                   <widget class="GtkToolbar" id="buttonsToolbar">
1525                                     <property name="visible">True</property>
1526                                     <property name="toolbar_style">both</property>
1527                                     <child>
1528                                       <widget class="GtkToolItem" id="toolitem41">
1529                                         <property name="visible">True</property>
1530                                         <child>
1531                                           <widget class="GtkButton" id="scriptTopButton">
1532                                             <property name="visible">True</property>
1533                                             <property name="can_focus">True</property>
1534                                             <property name="receives_default">False</property>
1535                                             <property name="tooltip" translatable="yes">Restart</property>
1536                                             <property name="relief">none</property>
1537                                             <child>
1538                                               <widget class="GtkImage" id="image920">
1539                                                 <property name="visible">True</property>
1540                                                 <property name="stock">gtk-goto-top</property>
1541                                               </widget>
1542                                             </child>
1543                                           </widget>
1544                                         </child>
1545                                       </widget>
1546                                       <packing>
1547                                         <property name="expand">False</property>
1548                                       </packing>
1549                                     </child>
1550                                     <child>
1551                                       <widget class="GtkToolItem" id="toolitem42">
1552                                         <property name="visible">True</property>
1553                                         <child>
1554                                           <widget class="GtkButton" id="scriptRetractButton">
1555                                             <property name="visible">True</property>
1556                                             <property name="can_focus">True</property>
1557                                             <property name="receives_default">False</property>
1558                                             <property name="tooltip" translatable="yes">Retract 1 phrase</property>
1559                                             <property name="relief">none</property>
1560                                             <child>
1561                                               <widget class="GtkImage" id="image921">
1562                                                 <property name="visible">True</property>
1563                                                 <property name="stock">gtk-go-up</property>
1564                                               </widget>
1565                                             </child>
1566                                           </widget>
1567                                         </child>
1568                                       </widget>
1569                                       <packing>
1570                                         <property name="expand">False</property>
1571                                       </packing>
1572                                     </child>
1573                                     <child>
1574                                       <widget class="GtkToolItem" id="toolitem43">
1575                                         <property name="visible">True</property>
1576                                         <child>
1577                                           <widget class="GtkButton" id="scriptJumpButton">
1578                                             <property name="visible">True</property>
1579                                             <property name="can_focus">True</property>
1580                                             <property name="receives_default">False</property>
1581                                             <property name="tooltip" translatable="yes">Execute until point</property>
1582                                             <property name="relief">none</property>
1583                                             <child>
1584                                               <widget class="GtkImage" id="image922">
1585                                                 <property name="visible">True</property>
1586                                                 <property name="stock">gtk-jump-to</property>
1587                                               </widget>
1588                                             </child>
1589                                           </widget>
1590                                         </child>
1591                                       </widget>
1592                                       <packing>
1593                                         <property name="expand">False</property>
1594                                       </packing>
1595                                     </child>
1596                                     <child>
1597                                       <widget class="GtkToolItem" id="toolitem44">
1598                                         <property name="visible">True</property>
1599                                         <child>
1600                                           <widget class="GtkButton" id="scriptAdvanceButton">
1601                                             <property name="visible">True</property>
1602                                             <property name="can_focus">True</property>
1603                                             <property name="receives_default">False</property>
1604                                             <property name="tooltip" translatable="yes">Execute 1 phrase</property>
1605                                             <property name="relief">none</property>
1606                                             <child>
1607                                               <widget class="GtkImage" id="image923">
1608                                                 <property name="visible">True</property>
1609                                                 <property name="stock">gtk-go-down</property>
1610                                               </widget>
1611                                             </child>
1612                                           </widget>
1613                                         </child>
1614                                       </widget>
1615                                       <packing>
1616                                         <property name="expand">False</property>
1617                                       </packing>
1618                                     </child>
1619                                     <child>
1620                                       <widget class="GtkToolItem" id="toolitem45">
1621                                         <property name="visible">True</property>
1622                                         <child>
1623                                           <widget class="GtkButton" id="scriptBottomButton">
1624                                             <property name="visible">True</property>
1625                                             <property name="can_focus">True</property>
1626                                             <property name="receives_default">False</property>
1627                                             <property name="tooltip" translatable="yes">Execute all</property>
1628                                             <property name="relief">none</property>
1629                                             <child>
1630                                               <widget class="GtkImage" id="image924">
1631                                                 <property name="visible">True</property>
1632                                                 <property name="stock">gtk-goto-bottom</property>
1633                                               </widget>
1634                                             </child>
1635                                           </widget>
1636                                         </child>
1637                                       </widget>
1638                                       <packing>
1639                                         <property name="expand">False</property>
1640                                       </packing>
1641                                     </child>
1642                                   </widget>
1643                                   <packing>
1644                                     <property name="position">0</property>
1645                                   </packing>
1646                                 </child>
1647                                 <child>
1648                                   <widget class="GtkToolbar" id="toolbar2">
1649                                     <property name="visible">True</property>
1650                                     <property name="orientation">vertical</property>
1651                                     <property name="toolbar_style">both</property>
1652                                     <child>
1653                                       <widget class="GtkToolItem" id="toolitem46">
1654                                         <property name="visible">True</property>
1655                                         <child>
1656                                           <widget class="GtkButton" id="scriptAbortButton">
1657                                             <property name="visible">True</property>
1658                                             <property name="can_focus">True</property>
1659                                             <property name="receives_default">False</property>
1660                                             <property name="relief">none</property>
1661                                             <child>
1662                                               <widget class="GtkImage" id="image927">
1663                                                 <property name="visible">True</property>
1664                                                 <property name="stock">gtk-stop</property>
1665                                               </widget>
1666                                             </child>
1667                                           </widget>
1668                                         </child>
1669                                       </widget>
1670                                       <packing>
1671                                         <property name="expand">False</property>
1672                                       </packing>
1673                                     </child>
1674                                   </widget>
1675                                   <packing>
1676                                     <property name="expand">False</property>
1677                                     <property name="position">1</property>
1678                                   </packing>
1679                                 </child>
1680                               </widget>
1681                               <packing>
1682                                 <property name="expand">False</property>
1683                                 <property name="fill">False</property>
1684                                 <property name="position">0</property>
1685                               </packing>
1686                             </child>
1687                             <child>
1688                               <widget class="GtkNotebook" id="scriptNotebook">
1689                                 <property name="visible">True</property>
1690                                 <property name="can_focus">True</property>
1691                                 <property name="scrollable">True</property>
1692                                 <child>
1693                                   <placeholder/>
1694                                 </child>
1695                                 <child>
1696                                   <placeholder/>
1697                                   <packing>
1698                                     <property name="type">tab</property>
1699                                   </packing>
1700                                 </child>
1701                                 <child>
1702                                   <placeholder/>
1703                                 </child>
1704                                 <child>
1705                                   <placeholder/>
1706                                   <packing>
1707                                     <property name="type">tab</property>
1708                                   </packing>
1709                                 </child>
1710                               </widget>
1711                               <packing>
1712                                 <property name="position">1</property>
1713                               </packing>
1714                             </child>
1715                           </widget>
1716                           <packing>
1717                             <property name="position">1</property>
1718                           </packing>
1719                         </child>
1720                       </widget>
1721                       <packing>
1722                         <property name="resize">False</property>
1723                         <property name="shrink">True</property>
1724                       </packing>
1725                     </child>
1726                     <child>
1727                       <widget class="GtkVPaned" id="vpaned1">
1728                         <property name="width_request">250</property>
1729                         <property name="height_request">500</property>
1730                         <property name="visible">True</property>
1731                         <property name="can_focus">True</property>
1732                         <property name="position">380</property>
1733                         <child>
1734                           <widget class="GtkNotebook" id="sequentsNotebook">
1735                             <property name="visible">True</property>
1736                             <property name="can_focus">True</property>
1737                             <property name="scrollable">True</property>
1738                           </widget>
1739                           <packing>
1740                             <property name="resize">False</property>
1741                             <property name="shrink">True</property>
1742                           </packing>
1743                         </child>
1744                         <child>
1745                           <widget class="GtkHBox" id="hbox9">
1746                             <property name="visible">True</property>
1747                             <child>
1748                               <widget class="GtkScrolledWindow" id="logScrolledWin">
1749                                 <property name="visible">True</property>
1750                                 <property name="can_focus">True</property>
1751                                 <property name="hscrollbar_policy">never</property>
1752                                 <property name="shadow_type">in</property>
1753                                 <child>
1754                                   <widget class="GtkTextView" id="logTextView">
1755                                     <property name="visible">True</property>
1756                                     <property name="can_focus">True</property>
1757                                     <property name="editable">False</property>
1758                                     <property name="wrap_mode">char</property>
1759                                     <property name="cursor_visible">False</property>
1760                                   </widget>
1761                                 </child>
1762                               </widget>
1763                               <packing>
1764                                 <property name="position">0</property>
1765                               </packing>
1766                             </child>
1767                           </widget>
1768                           <packing>
1769                             <property name="resize">True</property>
1770                             <property name="shrink">True</property>
1771                           </packing>
1772                         </child>
1773                       </widget>
1774                       <packing>
1775                         <property name="resize">True</property>
1776                         <property name="shrink">True</property>
1777                       </packing>
1778                     </child>
1779                   </widget>
1780                   <packing>
1781                     <property name="position">0</property>
1782                   </packing>
1783                 </child>
1784               </widget>
1785               <packing>
1786                 <property name="position">1</property>
1787               </packing>
1788             </child>
1789             <child>
1790               <widget class="GtkHBox" id="hbox10">
1791                 <property name="visible">True</property>
1792                 <child>
1793                   <widget class="GtkStatusbar" id="StatusBar">
1794                     <property name="visible">True</property>
1795                     <property name="has_resize_grip">False</property>
1796                   </widget>
1797                   <packing>
1798                     <property name="position">0</property>
1799                   </packing>
1800                 </child>
1801                 <child>
1802                   <widget class="GtkNotebook" id="HintNotebook">
1803                     <property name="visible">True</property>
1804                     <property name="show_tabs">False</property>
1805                     <child>
1806                       <widget class="GtkImage" id="HintLowImage">
1807                         <property name="visible">True</property>
1808                         <property name="stock">gtk-missing-image</property>
1809                       </widget>
1810                     </child>
1811                     <child>
1812                       <widget class="GtkLabel" id="label14">
1813                         <property name="visible">True</property>
1814                         <property name="label" translatable="yes">label14</property>
1815                       </widget>
1816                       <packing>
1817                         <property name="tab_fill">False</property>
1818                         <property name="type">tab</property>
1819                       </packing>
1820                     </child>
1821                     <child>
1822                       <widget class="GtkImage" id="HintMediumImage">
1823                         <property name="visible">True</property>
1824                         <property name="stock">gtk-missing-image</property>
1825                       </widget>
1826                       <packing>
1827                         <property name="position">1</property>
1828                       </packing>
1829                     </child>
1830                     <child>
1831                       <widget class="GtkLabel" id="label15">
1832                         <property name="visible">True</property>
1833                         <property name="label" translatable="yes">label15</property>
1834                       </widget>
1835                       <packing>
1836                         <property name="position">1</property>
1837                         <property name="tab_fill">False</property>
1838                         <property name="type">tab</property>
1839                       </packing>
1840                     </child>
1841                     <child>
1842                       <widget class="GtkImage" id="HintHighImage">
1843                         <property name="visible">True</property>
1844                         <property name="stock">gtk-missing-image</property>
1845                       </widget>
1846                       <packing>
1847                         <property name="position">2</property>
1848                       </packing>
1849                     </child>
1850                     <child>
1851                       <widget class="GtkLabel" id="label16">
1852                         <property name="visible">True</property>
1853                         <property name="label" translatable="yes">label16</property>
1854                       </widget>
1855                       <packing>
1856                         <property name="position">2</property>
1857                         <property name="tab_fill">False</property>
1858                         <property name="type">tab</property>
1859                       </packing>
1860                     </child>
1861                   </widget>
1862                   <packing>
1863                     <property name="expand">False</property>
1864                     <property name="position">1</property>
1865                   </packing>
1866                 </child>
1867               </widget>
1868               <packing>
1869                 <property name="expand">False</property>
1870                 <property name="fill">False</property>
1871                 <property name="position">2</property>
1872               </packing>
1873             </child>
1874           </widget>
1875         </child>
1876       </widget>
1877     </child>
1878   </widget>
1879   <widget class="GtkDialog" id="TextDialog">
1880     <property name="title" translatable="yes">DUMMY</property>
1881     <property name="type_hint">dialog</property>
1882     <child internal-child="vbox">
1883       <widget class="GtkVBox" id="vbox5">
1884         <property name="visible">True</property>
1885         <property name="orientation">vertical</property>
1886         <child>
1887           <widget class="GtkLabel" id="TextDialogLabel">
1888             <property name="visible">True</property>
1889             <property name="label" translatable="yes">DUMMY</property>
1890           </widget>
1891           <packing>
1892             <property name="expand">False</property>
1893             <property name="fill">False</property>
1894             <property name="position">2</property>
1895           </packing>
1896         </child>
1897         <child>
1898           <widget class="GtkScrolledWindow" id="scrolledwindow2">
1899             <property name="visible">True</property>
1900             <property name="can_focus">True</property>
1901             <property name="hscrollbar_policy">automatic</property>
1902             <property name="vscrollbar_policy">automatic</property>
1903             <property name="shadow_type">in</property>
1904             <child>
1905               <widget class="GtkTextView" id="TextDialogTextView">
1906                 <property name="visible">True</property>
1907                 <property name="can_focus">True</property>
1908               </widget>
1909             </child>
1910           </widget>
1911           <packing>
1912             <property name="position">3</property>
1913           </packing>
1914         </child>
1915         <child internal-child="action_area">
1916           <widget class="GtkHButtonBox" id="hbuttonbox1">
1917             <property name="visible">True</property>
1918             <property name="layout_style">end</property>
1919             <child>
1920               <widget class="GtkButton" id="TextDialogCancelButton">
1921                 <property name="label">gtk-cancel</property>
1922                 <property name="response_id">-6</property>
1923                 <property name="visible">True</property>
1924                 <property name="can_focus">True</property>
1925                 <property name="can_default">True</property>
1926                 <property name="receives_default">False</property>
1927                 <property name="use_stock">True</property>
1928               </widget>
1929               <packing>
1930                 <property name="expand">False</property>
1931                 <property name="fill">False</property>
1932                 <property name="position">0</property>
1933               </packing>
1934             </child>
1935             <child>
1936               <widget class="GtkButton" id="TextDialogOkButton">
1937                 <property name="label">gtk-ok</property>
1938                 <property name="response_id">-5</property>
1939                 <property name="visible">True</property>
1940                 <property name="can_focus">True</property>
1941                 <property name="can_default">True</property>
1942                 <property name="receives_default">False</property>
1943                 <property name="use_stock">True</property>
1944               </widget>
1945               <packing>
1946                 <property name="expand">False</property>
1947                 <property name="fill">False</property>
1948                 <property name="position">1</property>
1949               </packing>
1950             </child>
1951           </widget>
1952           <packing>
1953             <property name="expand">False</property>
1954             <property name="pack_type">end</property>
1955             <property name="position">0</property>
1956           </packing>
1957         </child>
1958       </widget>
1959     </child>
1960   </widget>
1961   <widget class="GtkDialog" id="UriChoiceDialog">
1962     <property name="height_request">280</property>
1963     <property name="title" translatable="yes">Uri choice</property>
1964     <property name="modal">True</property>
1965     <property name="window_position">center</property>
1966     <property name="type_hint">dialog</property>
1967     <child internal-child="vbox">
1968       <widget class="GtkVBox" id="dialog-vbox3">
1969         <property name="visible">True</property>
1970         <property name="orientation">vertical</property>
1971         <property name="spacing">4</property>
1972         <child>
1973           <widget class="GtkVBox" id="vbox2">
1974             <property name="visible">True</property>
1975             <property name="orientation">vertical</property>
1976             <property name="spacing">3</property>
1977             <child>
1978               <widget class="GtkLabel" id="UriChoiceLabel">
1979                 <property name="visible">True</property>
1980                 <property name="label" translatable="yes">some informative message here ...</property>
1981               </widget>
1982               <packing>
1983                 <property name="expand">False</property>
1984                 <property name="fill">False</property>
1985                 <property name="position">0</property>
1986               </packing>
1987             </child>
1988             <child>
1989               <widget class="GtkScrolledWindow" id="scrolledwindow1">
1990                 <property name="width_request">400</property>
1991                 <property name="visible">True</property>
1992                 <property name="can_focus">True</property>
1993                 <property name="hscrollbar_policy">automatic</property>
1994                 <property name="vscrollbar_policy">automatic</property>
1995                 <child>
1996                   <widget class="GtkTreeView" id="UriChoiceTreeView">
1997                     <property name="visible">True</property>
1998                     <property name="can_focus">True</property>
1999                     <property name="headers_visible">False</property>
2000                   </widget>
2001                 </child>
2002               </widget>
2003               <packing>
2004                 <property name="position">1</property>
2005               </packing>
2006             </child>
2007             <child>
2008               <widget class="GtkHBox" id="uriEntryHBox">
2009                 <property name="visible">True</property>
2010                 <child>
2011                   <widget class="GtkLabel" id="label2">
2012                     <property name="visible">True</property>
2013                     <property name="label" translatable="yes">URI: </property>
2014                   </widget>
2015                   <packing>
2016                     <property name="expand">False</property>
2017                     <property name="fill">False</property>
2018                     <property name="position">0</property>
2019                   </packing>
2020                 </child>
2021                 <child>
2022                   <widget class="GtkEntry" id="entry1">
2023                     <property name="visible">True</property>
2024                     <property name="can_focus">True</property>
2025                   </widget>
2026                   <packing>
2027                     <property name="position">1</property>
2028                   </packing>
2029                 </child>
2030               </widget>
2031               <packing>
2032                 <property name="expand">False</property>
2033                 <property name="position">2</property>
2034               </packing>
2035             </child>
2036           </widget>
2037           <packing>
2038             <property name="position">2</property>
2039           </packing>
2040         </child>
2041         <child internal-child="action_area">
2042           <widget class="GtkHButtonBox" id="dialog-action_area3">
2043             <property name="visible">True</property>
2044             <property name="layout_style">end</property>
2045             <child>
2046               <widget class="GtkButton" id="UriChoiceAbortButton">
2047                 <property name="label">gtk-cancel</property>
2048                 <property name="response_id">-6</property>
2049                 <property name="visible">True</property>
2050                 <property name="can_focus">True</property>
2051                 <property name="can_default">True</property>
2052                 <property name="receives_default">False</property>
2053                 <property name="use_stock">True</property>
2054               </widget>
2055               <packing>
2056                 <property name="expand">False</property>
2057                 <property name="fill">False</property>
2058                 <property name="position">0</property>
2059               </packing>
2060             </child>
2061             <child>
2062               <widget class="GtkButton" id="UriChoiceSelectedButton">
2063                 <property name="visible">True</property>
2064                 <property name="can_focus">True</property>
2065                 <property name="can_default">True</property>
2066                 <property name="receives_default">False</property>
2067                 <child>
2068                   <widget class="GtkAlignment" id="alignment2">
2069                     <property name="visible">True</property>
2070                     <property name="xscale">0</property>
2071                     <property name="yscale">0</property>
2072                     <child>
2073                       <widget class="GtkHBox" id="hbox3">
2074                         <property name="visible">True</property>
2075                         <property name="spacing">2</property>
2076                         <child>
2077                           <widget class="GtkImage" id="image19">
2078                             <property name="visible">True</property>
2079                             <property name="stock">gtk-index</property>
2080                           </widget>
2081                           <packing>
2082                             <property name="expand">False</property>
2083                             <property name="fill">False</property>
2084                             <property name="position">0</property>
2085                           </packing>
2086                         </child>
2087                         <child>
2088                           <widget class="GtkLabel" id="label3">
2089                             <property name="visible">True</property>
2090                             <property name="label" translatable="yes">Try _Selected</property>
2091                             <property name="use_underline">True</property>
2092                           </widget>
2093                           <packing>
2094                             <property name="expand">False</property>
2095                             <property name="fill">False</property>
2096                             <property name="position">1</property>
2097                           </packing>
2098                         </child>
2099                       </widget>
2100                     </child>
2101                   </widget>
2102                 </child>
2103               </widget>
2104               <packing>
2105                 <property name="expand">False</property>
2106                 <property name="fill">False</property>
2107                 <property name="position">1</property>
2108               </packing>
2109             </child>
2110             <child>
2111               <widget class="GtkButton" id="UriChoiceConstantsButton">
2112                 <property name="label" translatable="yes">Try Constants</property>
2113                 <property name="visible">True</property>
2114                 <property name="sensitive">False</property>
2115                 <property name="can_focus">True</property>
2116                 <property name="can_default">True</property>
2117                 <property name="receives_default">False</property>
2118                 <property name="use_underline">True</property>
2119               </widget>
2120               <packing>
2121                 <property name="expand">False</property>
2122                 <property name="fill">False</property>
2123                 <property name="position">2</property>
2124               </packing>
2125             </child>
2126             <child>
2127               <widget class="GtkButton" id="copyButton">
2128                 <property name="label">gtk-copy</property>
2129                 <property name="can_focus">True</property>
2130                 <property name="can_default">True</property>
2131                 <property name="receives_default">False</property>
2132                 <property name="use_stock">True</property>
2133               </widget>
2134               <packing>
2135                 <property name="expand">False</property>
2136                 <property name="fill">False</property>
2137                 <property name="position">3</property>
2138               </packing>
2139             </child>
2140             <child>
2141               <widget class="GtkButton" id="uriChoiceAutoButton">
2142                 <property name="visible">True</property>
2143                 <property name="can_focus">True</property>
2144                 <property name="can_default">True</property>
2145                 <property name="receives_default">False</property>
2146                 <child>
2147                   <widget class="GtkAlignment" id="alignment5">
2148                     <property name="visible">True</property>
2149                     <property name="xscale">0</property>
2150                     <property name="yscale">0</property>
2151                     <child>
2152                       <widget class="GtkHBox" id="hbox16">
2153                         <property name="visible">True</property>
2154                         <property name="spacing">2</property>
2155                         <child>
2156                           <widget class="GtkImage" id="image302">
2157                             <property name="visible">True</property>
2158                             <property name="stock">gtk-ok</property>
2159                           </widget>
2160                           <packing>
2161                             <property name="expand">False</property>
2162                             <property name="fill">False</property>
2163                             <property name="position">0</property>
2164                           </packing>
2165                         </child>
2166                         <child>
2167                           <widget class="GtkLabel" id="okLabel">
2168                             <property name="visible">True</property>
2169                             <property name="label" translatable="yes">bla bla bla</property>
2170                             <property name="use_underline">True</property>
2171                           </widget>
2172                           <packing>
2173                             <property name="expand">False</property>
2174                             <property name="fill">False</property>
2175                             <property name="position">1</property>
2176                           </packing>
2177                         </child>
2178                       </widget>
2179                     </child>
2180                   </widget>
2181                 </child>
2182               </widget>
2183               <packing>
2184                 <property name="expand">False</property>
2185                 <property name="fill">False</property>
2186                 <property name="position">4</property>
2187               </packing>
2188             </child>
2189             <child>
2190               <widget class="GtkButton" id="uriChoiceForwardButton">
2191                 <property name="label">gtk-go-forward</property>
2192                 <property name="visible">True</property>
2193                 <property name="can_focus">True</property>
2194                 <property name="can_default">True</property>
2195                 <property name="receives_default">False</property>
2196                 <property name="use_stock">True</property>
2197               </widget>
2198               <packing>
2199                 <property name="expand">False</property>
2200                 <property name="fill">False</property>
2201                 <property name="position">5</property>
2202               </packing>
2203             </child>
2204           </widget>
2205           <packing>
2206             <property name="expand">False</property>
2207             <property name="pack_type">end</property>
2208             <property name="position">0</property>
2209           </packing>
2210         </child>
2211       </widget>
2212     </child>
2213   </widget>
2214   <widget class="GtkWindow" id="FindReplWin">
2215     <property name="border_width">5</property>
2216     <property name="title" translatable="yes">Find &amp; Replace</property>
2217     <property name="resizable">False</property>
2218     <property name="window_position">mouse</property>
2219     <property name="type_hint">dialog</property>
2220     <child>
2221       <widget class="GtkTable" id="table1">
2222         <property name="visible">True</property>
2223         <property name="n_rows">3</property>
2224         <property name="n_columns">2</property>
2225         <property name="row_spacing">5</property>
2226         <child>
2227           <widget class="GtkLabel" id="label17">
2228             <property name="visible">True</property>
2229             <property name="xalign">0</property>
2230             <property name="label" translatable="yes">Find:</property>
2231           </widget>
2232           <packing>
2233             <property name="x_options"></property>
2234             <property name="y_options"></property>
2235           </packing>
2236         </child>
2237         <child>
2238           <widget class="GtkLabel" id="label18">
2239             <property name="visible">True</property>
2240             <property name="xalign">0</property>
2241             <property name="label" translatable="yes">Replace with: </property>
2242           </widget>
2243           <packing>
2244             <property name="top_attach">1</property>
2245             <property name="bottom_attach">2</property>
2246             <property name="x_options"></property>
2247             <property name="y_options"></property>
2248           </packing>
2249         </child>
2250         <child>
2251           <widget class="GtkEntry" id="findEntry">
2252             <property name="visible">True</property>
2253             <property name="can_focus">True</property>
2254             <property name="has_focus">True</property>
2255             <property name="can_default">True</property>
2256             <property name="has_default">True</property>
2257           </widget>
2258           <packing>
2259             <property name="left_attach">1</property>
2260             <property name="right_attach">2</property>
2261             <property name="y_options"></property>
2262           </packing>
2263         </child>
2264         <child>
2265           <widget class="GtkEntry" id="replaceEntry">
2266             <property name="visible">True</property>
2267             <property name="can_focus">True</property>
2268           </widget>
2269           <packing>
2270             <property name="left_attach">1</property>
2271             <property name="right_attach">2</property>
2272             <property name="top_attach">1</property>
2273             <property name="bottom_attach">2</property>
2274             <property name="y_options"></property>
2275           </packing>
2276         </child>
2277         <child>
2278           <widget class="GtkHBox" id="hbox19">
2279             <property name="visible">True</property>
2280             <property name="spacing">5</property>
2281             <child>
2282               <widget class="GtkVBox" id="vbox9">
2283                 <property name="visible">True</property>
2284                 <property name="orientation">vertical</property>
2285                 <child>
2286                   <placeholder/>
2287                 </child>
2288                 <child>
2289                   <placeholder/>
2290                 </child>
2291               </widget>
2292               <packing>
2293                 <property name="position">0</property>
2294               </packing>
2295             </child>
2296             <child>
2297               <widget class="GtkButton" id="findButton">
2298                 <property name="label">gtk-find</property>
2299                 <property name="visible">True</property>
2300                 <property name="can_focus">True</property>
2301                 <property name="receives_default">False</property>
2302                 <property name="use_stock">True</property>
2303               </widget>
2304               <packing>
2305                 <property name="expand">False</property>
2306                 <property name="fill">False</property>
2307                 <property name="position">1</property>
2308               </packing>
2309             </child>
2310             <child>
2311               <widget class="GtkButton" id="findReplButton">
2312                 <property name="visible">True</property>
2313                 <property name="can_focus">True</property>
2314                 <property name="receives_default">False</property>
2315                 <child>
2316                   <widget class="GtkAlignment" id="alignment13">
2317                     <property name="visible">True</property>
2318                     <property name="xscale">0</property>
2319                     <property name="yscale">0</property>
2320                     <child>
2321                       <widget class="GtkHBox" id="hbox20">
2322                         <property name="visible">True</property>
2323                         <property name="spacing">2</property>
2324                         <child>
2325                           <widget class="GtkImage" id="image357">
2326                             <property name="visible">True</property>
2327                             <property name="stock">gtk-find-and-replace</property>
2328                           </widget>
2329                           <packing>
2330                             <property name="expand">False</property>
2331                             <property name="fill">False</property>
2332                             <property name="position">0</property>
2333                           </packing>
2334                         </child>
2335                         <child>
2336                           <widget class="GtkLabel" id="label19">
2337                             <property name="visible">True</property>
2338                             <property name="label">_Replace</property>
2339                             <property name="use_underline">True</property>
2340                           </widget>
2341                           <packing>
2342                             <property name="expand">False</property>
2343                             <property name="fill">False</property>
2344                             <property name="position">1</property>
2345                           </packing>
2346                         </child>
2347                       </widget>
2348                     </child>
2349                   </widget>
2350                 </child>
2351               </widget>
2352               <packing>
2353                 <property name="expand">False</property>
2354                 <property name="fill">False</property>
2355                 <property name="position">2</property>
2356               </packing>
2357             </child>
2358             <child>
2359               <widget class="GtkButton" id="cancelButton">
2360                 <property name="label">gtk-cancel</property>
2361                 <property name="visible">True</property>
2362                 <property name="can_focus">True</property>
2363                 <property name="receives_default">False</property>
2364                 <property name="use_stock">True</property>
2365               </widget>
2366               <packing>
2367                 <property name="expand">False</property>
2368                 <property name="fill">False</property>
2369                 <property name="position">3</property>
2370               </packing>
2371             </child>
2372           </widget>
2373           <packing>
2374             <property name="right_attach">2</property>
2375             <property name="top_attach">2</property>
2376             <property name="bottom_attach">3</property>
2377             <property name="y_padding">5</property>
2378           </packing>
2379         </child>
2380       </widget>
2381     </child>
2382   </widget>
2383   <widget class="GtkDialog" id="DisambiguationErrors">
2384     <property name="width_request">450</property>
2385     <property name="height_request">400</property>
2386     <property name="title" translatable="yes">title</property>
2387     <property name="modal">True</property>
2388     <property name="type_hint">dialog</property>
2389     <child internal-child="vbox">
2390       <widget class="GtkVBox" id="vbox14">
2391         <property name="visible">True</property>
2392         <property name="orientation">vertical</property>
2393         <child>
2394           <widget class="GtkVBox" id="vbox15">
2395             <property name="visible">True</property>
2396             <property name="orientation">vertical</property>
2397             <child>
2398               <widget class="GtkLabel" id="disambiguationErrorsLabel">
2399                 <property name="visible">True</property>
2400                 <property name="label" translatable="yes">some informative message here ...</property>
2401               </widget>
2402               <packing>
2403                 <property name="expand">False</property>
2404                 <property name="fill">False</property>
2405                 <property name="position">0</property>
2406               </packing>
2407             </child>
2408             <child>
2409               <widget class="GtkScrolledWindow" id="scrolledwindow12">
2410                 <property name="visible">True</property>
2411                 <property name="can_focus">True</property>
2412                 <property name="hscrollbar_policy">automatic</property>
2413                 <property name="vscrollbar_policy">automatic</property>
2414                 <property name="shadow_type">in</property>
2415                 <child>
2416                   <widget class="GtkTreeView" id="treeview">
2417                     <property name="visible">True</property>
2418                     <property name="can_focus">True</property>
2419                     <property name="headers_visible">False</property>
2420                   </widget>
2421                 </child>
2422               </widget>
2423               <packing>
2424                 <property name="position">1</property>
2425               </packing>
2426             </child>
2427           </widget>
2428           <packing>
2429             <property name="position">2</property>
2430           </packing>
2431         </child>
2432         <child internal-child="action_area">
2433           <widget class="GtkHButtonBox" id="hbuttonbox2">
2434             <property name="visible">True</property>
2435             <property name="layout_style">end</property>
2436             <child>
2437               <widget class="GtkButton" id="button6">
2438                 <property name="label">gtk-help</property>
2439                 <property name="response_id">-11</property>
2440                 <property name="visible">True</property>
2441                 <property name="can_focus">True</property>
2442                 <property name="can_default">True</property>
2443                 <property name="receives_default">False</property>
2444                 <property name="use_stock">True</property>
2445               </widget>
2446               <packing>
2447                 <property name="expand">False</property>
2448                 <property name="fill">False</property>
2449                 <property name="position">0</property>
2450               </packing>
2451             </child>
2452             <child>
2453               <widget class="GtkButton" id="disambiguationErrorsMoreErrors">
2454                 <property name="response_id">-6</property>
2455                 <property name="visible">True</property>
2456                 <property name="can_focus">True</property>
2457                 <property name="can_default">True</property>
2458                 <property name="receives_default">False</property>
2459                 <child>
2460                   <widget class="GtkAlignment" id="alignment18">
2461                     <property name="visible">True</property>
2462                     <property name="xscale">0</property>
2463                     <property name="yscale">0</property>
2464                     <child>
2465                       <widget class="GtkHBox" id="hbox29">
2466                         <property name="visible">True</property>
2467                         <property name="spacing">2</property>
2468                         <child>
2469                           <widget class="GtkImage" id="image926">
2470                             <property name="visible">True</property>
2471                             <property name="stock">gtk-zoom-in</property>
2472                           </widget>
2473                           <packing>
2474                             <property name="expand">False</property>
2475                             <property name="fill">False</property>
2476                             <property name="position">0</property>
2477                           </packing>
2478                         </child>
2479                         <child>
2480                           <widget class="GtkLabel" id="label28">
2481                             <property name="visible">True</property>
2482                             <property name="label">More</property>
2483                             <property name="use_underline">True</property>
2484                           </widget>
2485                           <packing>
2486                             <property name="expand">False</property>
2487                             <property name="fill">False</property>
2488                             <property name="position">1</property>
2489                           </packing>
2490                         </child>
2491                       </widget>
2492                     </child>
2493                   </widget>
2494                 </child>
2495               </widget>
2496               <packing>
2497                 <property name="expand">False</property>
2498                 <property name="fill">False</property>
2499                 <property name="position">1</property>
2500               </packing>
2501             </child>
2502             <child>
2503               <widget class="GtkButton" id="disambiguationErrorsCancelButton">
2504                 <property name="label">gtk-cancel</property>
2505                 <property name="response_id">-6</property>
2506                 <property name="visible">True</property>
2507                 <property name="can_focus">True</property>
2508                 <property name="can_default">True</property>
2509                 <property name="has_default">True</property>
2510                 <property name="receives_default">False</property>
2511                 <property name="use_stock">True</property>
2512               </widget>
2513               <packing>
2514                 <property name="expand">False</property>
2515                 <property name="fill">False</property>
2516                 <property name="position">2</property>
2517               </packing>
2518             </child>
2519             <child>
2520               <widget class="GtkButton" id="disambiguationErrorsOkButton">
2521                 <property name="label">gtk-ok</property>
2522                 <property name="response_id">-5</property>
2523                 <property name="visible">True</property>
2524                 <property name="can_focus">True</property>
2525                 <property name="can_default">True</property>
2526                 <property name="receives_default">False</property>
2527                 <property name="use_stock">True</property>
2528               </widget>
2529               <packing>
2530                 <property name="expand">False</property>
2531                 <property name="fill">False</property>
2532                 <property name="position">3</property>
2533               </packing>
2534             </child>
2535           </widget>
2536           <packing>
2537             <property name="expand">False</property>
2538             <property name="pack_type">end</property>
2539             <property name="position">0</property>
2540           </packing>
2541         </child>
2542       </widget>
2543     </child>
2544   </widget>
2545   <widget class="GtkWindow" id="AutoWin">
2546     <property name="width_request">600</property>
2547     <property name="height_request">400</property>
2548     <property name="visible">True</property>
2549     <property name="title" translatable="yes">Auto</property>
2550     <property name="type_hint">dialog</property>
2551     <property name="gravity">south-east</property>
2552     <child>
2553       <widget class="GtkVBox" id="vbox17">
2554         <property name="visible">True</property>
2555         <property name="orientation">vertical</property>
2556         <child>
2557           <widget class="GtkHBox" id="hbox30">
2558             <property name="visible">True</property>
2559             <property name="spacing">2</property>
2560             <child>
2561               <widget class="GtkScrolledWindow" id="scrolledwindowAREA">
2562                 <property name="visible">True</property>
2563                 <property name="can_focus">True</property>
2564                 <property name="vscrollbar_policy">automatic</property>
2565                 <property name="shadow_type">in</property>
2566                 <child>
2567                   <widget class="GtkViewport" id="viewportAREA">
2568                     <property name="visible">True</property>
2569                     <child>
2570                       <widget class="GtkTable" id="table">
2571                         <property name="visible">True</property>
2572                         <property name="n_rows">3</property>
2573                         <property name="n_columns">3</property>
2574                         <child>
2575                           <placeholder/>
2576                         </child>
2577                         <child>
2578                           <placeholder/>
2579                         </child>
2580                         <child>
2581                           <placeholder/>
2582                         </child>
2583                         <child>
2584                           <placeholder/>
2585                         </child>
2586                         <child>
2587                           <placeholder/>
2588                         </child>
2589                         <child>
2590                           <placeholder/>
2591                         </child>
2592                         <child>
2593                           <placeholder/>
2594                         </child>
2595                         <child>
2596                           <placeholder/>
2597                         </child>
2598                         <child>
2599                           <placeholder/>
2600                         </child>
2601                       </widget>
2602                     </child>
2603                   </widget>
2604                 </child>
2605               </widget>
2606               <packing>
2607                 <property name="position">0</property>
2608               </packing>
2609             </child>
2610             <child>
2611               <widget class="GtkVBox" id="vbox18">
2612                 <property name="visible">True</property>
2613                 <property name="orientation">vertical</property>
2614                 <child>
2615                   <widget class="GtkButton" id="buttonUP">
2616                     <property name="visible">True</property>
2617                     <property name="can_focus">True</property>
2618                     <property name="receives_default">False</property>
2619                     <child>
2620                       <widget class="GtkAlignment" id="alignment19">
2621                         <property name="visible">True</property>
2622                         <property name="xscale">0</property>
2623                         <property name="yscale">0</property>
2624                         <child>
2625                           <widget class="GtkHBox" id="hbox31">
2626                             <property name="visible">True</property>
2627                             <property name="spacing">2</property>
2628                             <child>
2629                               <widget class="GtkImage" id="image1066">
2630                                 <property name="visible">True</property>
2631                                 <property name="stock">gtk-go-up</property>
2632                               </widget>
2633                               <packing>
2634                                 <property name="expand">False</property>
2635                                 <property name="fill">False</property>
2636                                 <property name="position">0</property>
2637                               </packing>
2638                             </child>
2639                             <child>
2640                               <widget class="GtkLabel" id="label30">
2641                                 <property name="visible">True</property>
2642                                 <property name="use_underline">True</property>
2643                               </widget>
2644                               <packing>
2645                                 <property name="expand">False</property>
2646                                 <property name="fill">False</property>
2647                                 <property name="position">1</property>
2648                               </packing>
2649                             </child>
2650                           </widget>
2651                         </child>
2652                       </widget>
2653                     </child>
2654                   </widget>
2655                   <packing>
2656                     <property name="position">0</property>
2657                   </packing>
2658                 </child>
2659                 <child>
2660                   <widget class="GtkButton" id="buttonDOWN">
2661                     <property name="visible">True</property>
2662                     <property name="can_focus">True</property>
2663                     <property name="receives_default">False</property>
2664                     <child>
2665                       <widget class="GtkImage" id="image1065">
2666                         <property name="visible">True</property>
2667                         <property name="stock">gtk-go-down</property>
2668                       </widget>
2669                     </child>
2670                   </widget>
2671                   <packing>
2672                     <property name="position">1</property>
2673                   </packing>
2674                 </child>
2675               </widget>
2676               <packing>
2677                 <property name="expand">False</property>
2678                 <property name="fill">False</property>
2679                 <property name="position">1</property>
2680               </packing>
2681             </child>
2682           </widget>
2683           <packing>
2684             <property name="position">0</property>
2685           </packing>
2686         </child>
2687         <child>
2688           <widget class="GtkHSeparator" id="hseparator3">
2689             <property name="visible">True</property>
2690           </widget>
2691           <packing>
2692             <property name="expand">False</property>
2693             <property name="padding">3</property>
2694             <property name="position">1</property>
2695           </packing>
2696         </child>
2697         <child>
2698           <widget class="GtkHBox" id="hbox32">
2699             <property name="visible">True</property>
2700             <child>
2701               <widget class="GtkLabel" id="labelLAST">
2702                 <property name="visible">True</property>
2703                 <property name="xalign">0</property>
2704                 <property name="label" translatable="yes">Last:</property>
2705               </widget>
2706               <packing>
2707                 <property name="position">0</property>
2708               </packing>
2709             </child>
2710             <child>
2711               <widget class="GtkHButtonBox" id="hbuttonbox3">
2712                 <property name="visible">True</property>
2713                 <property name="border_width">4</property>
2714                 <property name="spacing">4</property>
2715                 <property name="layout_style">end</property>
2716                 <child>
2717                   <widget class="GtkButton" id="buttonPAUSE">
2718                     <property name="label">gtk-media-pause</property>
2719                     <property name="visible">True</property>
2720                     <property name="can_focus">True</property>
2721                     <property name="can_default">True</property>
2722                     <property name="receives_default">False</property>
2723                     <property name="use_stock">True</property>
2724                   </widget>
2725                   <packing>
2726                     <property name="expand">False</property>
2727                     <property name="fill">False</property>
2728                     <property name="position">0</property>
2729                   </packing>
2730                 </child>
2731                 <child>
2732                   <widget class="GtkButton" id="buttonPLAY">
2733                     <property name="label">gtk-media-play</property>
2734                     <property name="visible">True</property>
2735                     <property name="can_focus">True</property>
2736                     <property name="can_default">True</property>
2737                     <property name="receives_default">False</property>
2738                     <property name="use_stock">True</property>
2739                   </widget>
2740                   <packing>
2741                     <property name="expand">False</property>
2742                     <property name="fill">False</property>
2743                     <property name="position">1</property>
2744                   </packing>
2745                 </child>
2746                 <child>
2747                   <widget class="GtkButton" id="buttonNEXT">
2748                     <property name="label">gtk-media-next</property>
2749                     <property name="visible">True</property>
2750                     <property name="can_focus">True</property>
2751                     <property name="can_default">True</property>
2752                     <property name="receives_default">False</property>
2753                     <property name="use_stock">True</property>
2754                   </widget>
2755                   <packing>
2756                     <property name="expand">False</property>
2757                     <property name="fill">False</property>
2758                     <property name="position">2</property>
2759                   </packing>
2760                 </child>
2761                 <child>
2762                   <widget class="GtkButton" id="buttonCLOSE">
2763                     <property name="label">gtk-close</property>
2764                     <property name="visible">True</property>
2765                     <property name="can_focus">True</property>
2766                     <property name="can_default">True</property>
2767                     <property name="receives_default">False</property>
2768                     <property name="use_stock">True</property>
2769                   </widget>
2770                   <packing>
2771                     <property name="expand">False</property>
2772                     <property name="fill">False</property>
2773                     <property name="position">3</property>
2774                   </packing>
2775                 </child>
2776               </widget>
2777               <packing>
2778                 <property name="position">1</property>
2779               </packing>
2780             </child>
2781           </widget>
2782           <packing>
2783             <property name="expand">False</property>
2784             <property name="position">2</property>
2785           </packing>
2786         </child>
2787       </widget>
2788     </child>
2789   </widget>
2790 </glade-interface>