matita/matita/matita.glade

   1 <?xml version="1.0"?>
   2 <glade-interface>
   3   <!-- interface-requires gtk+ 2.6 -->
   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="quitMenuItem">
 698                                 <property name="label">gtk-quit</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                           </widget>
 706                         </child>
 707                       </widget>
 708                     </child>
 709                     <child>
 710                       <widget class="GtkMenuItem" id="editMenu">
 711                         <property name="visible">True</property>
 712                         <property name="label" translatable="yes">_Edit</property>
 713                         <property name="use_underline">True</property>
 714                         <child>
 715                           <widget class="GtkMenu" id="editMenu_menu">
 716                             <child>
 717                               <widget class="GtkImageMenuItem" id="undoMenuItem">
 718                                 <property name="label">gtk-undo</property>
 719                                 <property name="visible">True</property>
 720                                 <property name="sensitive">False</property>
 721                                 <property name="use_underline">True</property>
 722                                 <property name="use_stock">True</property>
 723                                 <accelerator key="z" signal="activate" modifiers="GDK_CONTROL_MASK"/>
 724                               </widget>
 725                             </child>
 726                             <child>
 727                               <widget class="GtkImageMenuItem" id="redoMenuItem">
 728                                 <property name="label">gtk-redo</property>
 729                                 <property name="visible">True</property>
 730                                 <property name="sensitive">False</property>
 731                                 <property name="use_underline">True</property>
 732                                 <property name="use_stock">True</property>
 733                                 <accelerator key="z" signal="activate" modifiers="GDK_SHIFT_MASK | GDK_CONTROL_MASK"/>
 734                               </widget>
 735                             </child>
 736                             <child>
 737                               <widget class="GtkSeparatorMenuItem" id="separator3">
 738                                 <property name="visible">True</property>
 739                               </widget>
 740                             </child>
 741                             <child>
 742                               <widget class="GtkImageMenuItem" id="cutMenuItem">
 743                                 <property name="label">gtk-cut</property>
 744                                 <property name="visible">True</property>
 745                                 <property name="use_underline">True</property>
 746                                 <property name="use_stock">True</property>
 747                                 <accelerator key="x" signal="activate" modifiers="GDK_CONTROL_MASK"/>
 748                               </widget>
 749                             </child>
 750                             <child>
 751                               <widget class="GtkImageMenuItem" id="copyMenuItem">
 752                                 <property name="label">gtk-copy</property>
 753                                 <property name="visible">True</property>
 754                                 <property name="use_underline">True</property>
 755                                 <property name="use_stock">True</property>
 756                                 <accelerator key="c" signal="activate" modifiers="GDK_CONTROL_MASK"/>
 757                               </widget>
 758                             </child>
 759                             <child>
 760                               <widget class="GtkImageMenuItem" id="pasteMenuItem">
 761                                 <property name="label">gtk-paste</property>
 762                                 <property name="visible">True</property>
 763                                 <property name="use_underline">True</property>
 764                                 <property name="use_stock">True</property>
 765                                 <accelerator key="v" signal="activate" modifiers="GDK_CONTROL_MASK"/>
 766                               </widget>
 767                             </child>
 768                             <child>
 769                               <widget class="GtkMenuItem" id="pastePatternMenuItem">
 770                                 <property name="visible">True</property>
 771                                 <property name="label" translatable="yes">Paste as pattern</property>
 772                                 <property name="use_underline">True</property>
 773                               </widget>
 774                             </child>
 775                             <child>
 776                               <widget class="GtkCheckMenuItem" id="unicodeAsTexMenuItem">
 777                                 <property name="visible">True</property>
 778                                 <property name="label" translatable="yes">Paste Unicode as TeX</property>
 779                                 <property name="use_underline">True</property>
 780                               </widget>
 781                             </child>
 782                             <child>
 783                               <widget class="GtkCheckMenuItem" id="menuitemAutoAltL">
 784                                 <property name="visible">True</property>
 785                                 <property name="tooltip" translatable="yes">Automatically expands TeX macros to their corresponding UTF-8 symbol</property>
 786                                 <property name="label" translatable="yes">Auto-expand TeX Macros</property>
 787                                 <property name="use_underline">True</property>
 788                                 <property name="active">True</property>
 789                               </widget>
 790                             </child>
 791                             <child>
 792                               <widget class="GtkImageMenuItem" id="deleteMenuItem">
 793                                 <property name="label">gtk-delete</property>
 794                                 <property name="visible">True</property>
 795                                 <property name="use_underline">True</property>
 796                                 <property name="use_stock">True</property>
 797                               </widget>
 798                             </child>
 799                             <child>
 800                               <widget class="GtkSeparatorMenuItem" id="separator4">
 801                                 <property name="visible">True</property>
 802                               </widget>
 803                             </child>
 804                             <child>
 805                               <widget class="GtkMenuItem" id="selectAllMenuItem">
 806                                 <property name="visible">True</property>
 807                                 <property name="label" translatable="yes">Select _All</property>
 808                                 <property name="use_underline">True</property>
 809                               </widget>
 810                             </child>
 811                             <child>
 812                               <widget class="GtkSeparatorMenuItem" id="separator7">
 813                                 <property name="visible">True</property>
 814                               </widget>
 815                             </child>
 816                             <child>
 817                               <widget class="GtkImageMenuItem" id="findReplMenuItem">
 818                                 <property name="label">gtk-find-and-replace</property>
 819                                 <property name="visible">True</property>
 820                                 <property name="use_underline">True</property>
 821                                 <property name="use_stock">True</property>
 822                                 <accelerator key="f" signal="activate" modifiers="GDK_CONTROL_MASK"/>
 823                               </widget>
 824                             </child>
 825                             <child>
 826                               <widget class="GtkSeparatorMenuItem" id="separator8">
 827                                 <property name="visible">True</property>
 828                               </widget>
 829                             </child>
 830                             <child>
 831                               <widget class="GtkMenuItem" id="LigatureButton">
 832                                 <property name="visible">True</property>
 833                                 <property name="label" translatable="yes">Next ligature</property>
 834                                 <property name="use_underline">True</property>
 835                                 <accelerator key="l" signal="activate" modifiers="GDK_MOD1_MASK"/>
 836                               </widget>
 837                             </child>
 838                             <child>
 839                               <widget class="GtkMenuItem" id="externalEditorMenuItem">
 840                                 <property name="visible">True</property>
 841                                 <property name="label" translatable="yes">Edit with e_xternal editor</property>
 842                                 <property name="use_underline">True</property>
 843                               </widget>
 844                             </child>
 845                           </widget>
 846                         </child>
 847                       </widget>
 848                     </child>
 849                     <child>
 850                       <widget class="GtkMenuItem" id="scriptMenu">
 851                         <property name="visible">True</property>
 852                         <property name="label" translatable="yes">_Script</property>
 853                         <property name="use_underline">True</property>
 854                         <child>
 855                           <widget class="GtkMenu" id="scriptMenu_menu">
 856                             <child>
 857                               <widget class="GtkImageMenuItem" id="scriptAdvanceMenuItem">
 858                                 <property name="label">gtk-go-down</property>
 859                                 <property name="visible">True</property>
 860                                 <property name="use_underline">True</property>
 861                                 <property name="use_stock">True</property>
 862                                 <accelerator key="Page_Down" signal="activate" modifiers="GDK_CONTROL_MASK | GDK_MOD1_MASK"/>
 863                               </widget>
 864                             </child>
 865                             <child>
 866                               <widget class="GtkImageMenuItem" id="scriptRetractMenuItem">
 867                                 <property name="label">gtk-go-up</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_Up" signal="activate" modifiers="GDK_CONTROL_MASK | GDK_MOD1_MASK"/>
 872                               </widget>
 873                             </child>
 874                             <child>
 875                               <widget class="GtkSeparatorMenuItem" id="separator9">
 876                                 <property name="visible">True</property>
 877                               </widget>
 878                             </child>
 879                             <child>
 880                               <widget class="GtkImageMenuItem" id="scriptBottomMenuItem">
 881                                 <property name="label">gtk-goto-bottom</property>
 882                                 <property name="visible">True</property>
 883                                 <property name="use_underline">True</property>
 884                                 <property name="use_stock">True</property>
 885                                 <accelerator key="End" signal="activate" modifiers="GDK_CONTROL_MASK | GDK_MOD1_MASK"/>
 886                               </widget>
 887                             </child>
 888                             <child>
 889                               <widget class="GtkImageMenuItem" id="scriptTopMenuItem">
 890                                 <property name="label">gtk-goto-top</property>
 891                                 <property name="visible">True</property>
 892                                 <property name="use_underline">True</property>
 893                                 <property name="use_stock">True</property>
 894                                 <accelerator key="Home" signal="activate" modifiers="GDK_CONTROL_MASK | GDK_MOD1_MASK"/>
 895                               </widget>
 896                             </child>
 897                             <child>
 898                               <widget class="GtkSeparatorMenuItem" id="separator10">
 899                                 <property name="visible">True</property>
 900                               </widget>
 901                             </child>
 902                             <child>
 903                               <widget class="GtkImageMenuItem" id="scriptJumpMenuItem">
 904                                 <property name="label">gtk-jump-to</property>
 905                                 <property name="visible">True</property>
 906                                 <property name="use_underline">True</property>
 907                                 <property name="use_stock">True</property>
 908                                 <accelerator key="period" signal="activate" modifiers="GDK_CONTROL_MASK | GDK_MOD1_MASK"/>
 909                               </widget>
 910                             </child>
 911                           </widget>
 912                         </child>
 913                       </widget>
 914                     </child>
 915                     <child>
 916                       <widget class="GtkMenuItem" id="viewMenu">
 917                         <property name="visible">True</property>
 918                         <property name="label" translatable="yes">_View</property>
 919                         <property name="use_underline">True</property>
 920                         <child>
 921                           <widget class="GtkMenu" id="viewMenu_menu">
 922                             <child>
 923                               <widget class="GtkMenuItem" id="newCicBrowserMenuItem">
 924                                 <property name="visible">True</property>
 925                                 <property name="label" translatable="yes">New CIC _browser</property>
 926                                 <property name="use_underline">True</property>
 927                                 <accelerator key="F3" signal="activate"/>
 928                               </widget>
 929                             </child>
 930                             <child>
 931                               <widget class="GtkSeparatorMenuItem" id="separator5">
 932                                 <property name="visible">True</property>
 933                               </widget>
 934                             </child>
 935                             <child>
 936                               <widget class="GtkCheckMenuItem" id="fullscreenMenuItem">
 937                                 <property name="visible">True</property>
 938                                 <property name="label" translatable="yes">_Fullscreen</property>
 939                                 <property name="use_underline">True</property>
 940                                 <accelerator key="F11" signal="activate"/>
 941                               </widget>
 942                             </child>
 943                             <child>
 944                               <widget class="GtkCheckMenuItem" id="menuitemPalette">
 945                                 <property name="visible">True</property>
 946                                 <property name="tooltip" translatable="yes">Shows a palette with natural deduction rules</property>
 947                                 <property name="label" translatable="yes">Natural deduction palette</property>
 948                                 <property name="use_underline">True</property>
 949                                 <accelerator key="F2" signal="activate"/>
 950                               </widget>
 951                             </child>
 952                             <child>
 953                               <widget class="GtkSeparatorMenuItem" id="separator1">
 954                                 <property name="visible">True</property>
 955                               </widget>
 956                             </child>
 957                             <child>
 958                               <widget class="GtkImageMenuItem" id="increaseFontSizeMenuItem">
 959                                 <property name="label">gtk-zoom-in</property>
 960                                 <property name="visible">True</property>
 961                                 <property name="use_underline">True</property>
 962                                 <property name="use_stock">True</property>
 963                                 <accelerator key="plus" signal="activate" modifiers="GDK_CONTROL_MASK"/>
 964                               </widget>
 965                             </child>
 966                             <child>
 967                               <widget class="GtkImageMenuItem" id="decreaseFontSizeMenuItem">
 968                                 <property name="label">gtk-zoom-out</property>
 969                                 <property name="visible">True</property>
 970                                 <property name="use_underline">True</property>
 971                                 <property name="use_stock">True</property>
 972                                 <accelerator key="minus" signal="activate" modifiers="GDK_CONTROL_MASK"/>
 973                               </widget>
 974                             </child>
 975                             <child>
 976                               <widget class="GtkImageMenuItem" id="normalFontSizeMenuItem">
 977                                 <property name="label">gtk-zoom-100</property>
 978                                 <property name="visible">True</property>
 979                                 <property name="use_underline">True</property>
 980                                 <property name="use_stock">True</property>
 981                                 <accelerator key="equal" signal="activate" modifiers="GDK_CONTROL_MASK"/>
 982                               </widget>
 983                             </child>
 984                             <child>
 985                               <widget class="GtkSeparatorMenuItem" id="separator12">
 986                                 <property name="visible">True</property>
 987                               </widget>
 988                             </child>
 989                             <child>
 990                               <widget class="GtkCheckMenuItem" id="ppNotationMenuItem">
 991                                 <property name="visible">True</property>
 992                                 <property name="label" translatable="yes">Pretty print notation</property>
 993                                 <property name="use_underline">True</property>
 994                                 <property name="active">True</property>
 995                               </widget>
 996                             </child>
 997                             <child>
 998                               <widget class="GtkCheckMenuItem" id="hideCoercionsMenuItem">
 999                                 <property name="visible">True</property>
1000                                 <property name="label" translatable="yes">Hide coercions</property>
1001                                 <property name="use_underline">True</property>
1002                                 <property name="active">True</property>
1003                               </widget>
1004                             </child>
1005                             <child>
1006                               <widget class="GtkSeparatorMenuItem" id="separator13">
1007                                 <property name="visible">True</property>
1008                               </widget>
1009                             </child>
1010                             <child>
1011                               <widget class="GtkMenuItem" id="showCoercionsGraphMenuItem">
1012                                 <property name="visible">True</property>
1013                                 <property name="tooltip" translatable="yes">Displays the graph of coercions</property>
1014                                 <property name="label" translatable="yes">Coercions Graph</property>
1015                                 <property name="use_underline">True</property>
1016                               </widget>
1017                             </child>
1018                             <child>
1019                               <widget class="GtkMenuItem" id="showHintsDbMenuItem">
1020                                 <property name="visible">True</property>
1021                                 <property name="tooltip" translatable="yes">Displays the database of hints</property>
1022                                 <property name="label" translatable="yes">Hints database</property>
1023                                 <property name="use_underline">True</property>
1024                               </widget>
1025                             </child>
1026                             <child>
1027                               <widget class="GtkMenuItem" id="showTermGrammarMenuItem">
1028                                 <property name="visible">True</property>
1029                                 <property name="tooltip" translatable="yes">Displays the terms grammar as extended by the user</property>
1030                                 <property name="label" translatable="yes">Terms grammar</property>
1031                                 <property name="use_underline">True</property>
1032                               </widget>
1033                             </child>
1034                             <child>
1035                               <widget class="GtkMenuItem" id="showUnicodeTable">
1036                                 <property name="visible">True</property>
1037                                 <property name="tooltip" translatable="yes">Show the conversion table from TeX like sequences to UTF-8</property>
1038                                 <property name="label" translatable="yes">TeX/UTF-8 table</property>
1039                                 <property name="use_underline">True</property>
1040                               </widget>
1041                             </child>
1042                           </widget>
1043                         </child>
1044                       </widget>
1045                     </child>
1046                     <child>
1047                       <widget class="GtkMenuItem" id="debugMenu">
1048                         <property name="visible">True</property>
1049                         <property name="label" translatable="yes">_Debug</property>
1050                         <property name="use_underline">True</property>
1051                         <child>
1052                           <widget class="GtkMenu" id="debugMenu_menu">
1053                             <child>
1054                               <widget class="GtkSeparatorMenuItem" id="separator6">
1055                                 <property name="visible">True</property>
1056                               </widget>
1057                             </child>
1058                           </widget>
1059                         </child>
1060                       </widget>
1061                     </child>
1062                     <child>
1063                       <widget class="GtkMenuItem" id="helpMenu">
1064                         <property name="visible">True</property>
1065                         <property name="label" translatable="yes">_Help</property>
1066                         <property name="use_underline">True</property>
1067                         <child>
1068                           <widget class="GtkMenu" id="helpMenu_menu">
1069                             <child>
1070                               <widget class="GtkImageMenuItem" id="contentsMenuItem">
1071                                 <property name="label">gtk-help</property>
1072                                 <property name="visible">True</property>
1073                                 <property name="use_underline">True</property>
1074                                 <property name="use_stock">True</property>
1075                                 <accelerator key="F1" signal="activate"/>
1076                               </widget>
1077                             </child>
1078                             <child>
1079                               <widget class="GtkImageMenuItem" id="aboutMenuItem">
1080                                 <property name="label">gtk-about</property>
1081                                 <property name="visible">True</property>
1082                                 <property name="use_underline">True</property>
1083                                 <property name="use_stock">True</property>
1084                               </widget>
1085                             </child>
1086                           </widget>
1087                         </child>
1088                       </widget>
1089                     </child>
1090                   </widget>
1091                 </child>
1092               </widget>
1093               <packing>
1094                 <property name="expand">False</property>
1095                 <property name="fill">False</property>
1096                 <property name="position">0</property>
1097               </packing>
1098             </child>
1099             <child>
1100               <widget class="GtkHBox" id="hbox99">
1101                 <property name="visible">True</property>
1102                 <child>
1103                   <widget class="GtkHPaned" id="hpaneScriptSequent">
1104                     <property name="visible">True</property>
1105                     <property name="can_focus">True</property>
1106                     <child>
1107                       <widget class="GtkHBox" id="hbox18">
1108                         <property name="visible">True</property>
1109                         <property name="spacing">2</property>
1110                         <child>
1111                           <widget class="GtkHandleBox" id="TacticsButtonsHandlebox">
1112                             <property name="visible">True</property>
1113                             <property name="handle_position">top</property>
1114                             <child>
1115                               <widget class="GtkVBox" id="vboxTacticsPalette">
1116                                 <property name="visible">True</property>
1117                                 <property name="orientation">vertical</property>
1118                                 <child>
1119                                   <widget class="GtkExpander" id="expander1">
1120                                     <property name="visible">True</property>
1121                                     <property name="can_focus">True</property>
1122                                     <child>
1123                                       <widget class="GtkVBox" id="vbox1">
1124                                         <property name="visible">True</property>
1125                                         <property name="orientation">vertical</property>
1126                                         <child>
1127                                           <widget class="GtkButton" id="butImpl_intro">
1128                                             <property name="visible">True</property>
1129                                             <property name="can_focus">True</property>
1130                                             <property name="receives_default">True</property>
1131                                             <child>
1132                                               <widget class="GtkLabel" id="label8">
1133                                                 <property name="visible">True</property>
1134                                                 <property name="label" translatable="yes">Implication (&#x21D2;&lt;sub&gt;i&lt;/sub&gt;)</property>
1135                                                 <property name="use_markup">True</property>
1136                                               </widget>
1137                                             </child>
1138                                           </widget>
1139                                           <packing>
1140                                             <property name="position">0</property>
1141                                           </packing>
1142                                         </child>
1143                                         <child>
1144                                           <widget class="GtkButton" id="butAnd_intro">
1145                                             <property name="visible">True</property>
1146                                             <property name="can_focus">True</property>
1147                                             <property name="receives_default">True</property>
1148                                             <child>
1149                                               <widget class="GtkLabel" id="label7">
1150                                                 <property name="visible">True</property>
1151                                                 <property name="label" translatable="yes">Conjunction (&#x2227;&lt;sub&gt;i&lt;/sub&gt;)</property>
1152                                                 <property name="use_markup">True</property>
1153                                               </widget>
1154                                             </child>
1155                                           </widget>
1156                                           <packing>
1157                                             <property name="position">1</property>
1158                                           </packing>
1159                                         </child>
1160                                         <child>
1161                                           <widget class="GtkButton" id="butOr_intro_left">
1162                                             <property name="visible">True</property>
1163                                             <property name="can_focus">True</property>
1164                                             <property name="receives_default">True</property>
1165                                             <child>
1166                                               <widget class="GtkLabel" id="label9">
1167                                                 <property name="visible">True</property>
1168                                                 <property name="label" translatable="yes">Disjunction left (&#x2228;&lt;sub&gt;i-l&lt;/sub&gt;)</property>
1169                                                 <property name="use_markup">True</property>
1170                                               </widget>
1171                                             </child>
1172                                           </widget>
1173                                           <packing>
1174                                             <property name="position">2</property>
1175                                           </packing>
1176                                         </child>
1177                                         <child>
1178                                           <widget class="GtkButton" id="butOr_intro_right">
1179                                             <property name="visible">True</property>
1180                                             <property name="can_focus">True</property>
1181                                             <property name="receives_default">True</property>
1182                                             <child>
1183                                               <widget class="GtkLabel" id="label10">
1184                                                 <property name="visible">True</property>
1185                                                 <property name="label" translatable="yes">Disjunction right (&#x2228;&lt;sub&gt;i-r&lt;/sub&gt;)</property>
1186                                                 <property name="use_markup">True</property>
1187                                               </widget>
1188                                             </child>
1189                                           </widget>
1190                                           <packing>
1191                                             <property name="position">3</property>
1192                                           </packing>
1193                                         </child>
1194                                         <child>
1195                                           <widget class="GtkButton" id="butNot_intro">
1196                                             <property name="visible">True</property>
1197                                             <property name="can_focus">True</property>
1198                                             <property name="receives_default">True</property>
1199                                             <child>
1200                                               <widget class="GtkLabel" id="label11">
1201                                                 <property name="visible">True</property>
1202                                                 <property name="label" translatable="yes">Negation (&#xAC;&lt;sub&gt;i&lt;/sub&gt;)</property>
1203                                                 <property name="use_markup">True</property>
1204                                               </widget>
1205                                             </child>
1206                                           </widget>
1207                                           <packing>
1208                                             <property name="position">4</property>
1209                                           </packing>
1210                                         </child>
1211                                         <child>
1212                                           <widget class="GtkButton" id="butTop_intro">
1213                                             <property name="visible">True</property>
1214                                             <property name="can_focus">True</property>
1215                                             <property name="receives_default">True</property>
1216                                             <child>
1217                                               <widget class="GtkLabel" id="label12">
1218                                                 <property name="visible">True</property>
1219                                                 <property name="label" translatable="yes">Top (&#x22A4;&lt;sub&gt;i&lt;/sub&gt;)</property>
1220                                                 <property name="use_markup">True</property>
1221                                               </widget>
1222                                             </child>
1223                                           </widget>
1224                                           <packing>
1225                                             <property name="position">5</property>
1226                                           </packing>
1227                                         </child>
1228                                         <child>
1229                                           <widget class="GtkButton" id="butForall_intro">
1230                                             <property name="visible">True</property>
1231                                             <property name="can_focus">True</property>
1232                                             <property name="receives_default">True</property>
1233                                             <child>
1234                                               <widget class="GtkLabel" id="label20">
1235                                                 <property name="visible">True</property>
1236                                                 <property name="label" translatable="yes">Universal (&#x2200;&lt;sub&gt;i&lt;/sub&gt;)</property>
1237                                                 <property name="use_markup">True</property>
1238                                               </widget>
1239                                             </child>
1240                                           </widget>
1241                                           <packing>
1242                                             <property name="position">6</property>
1243                                           </packing>
1244                                         </child>
1245                                         <child>
1246                                           <widget class="GtkButton" id="butExists_intro">
1247                                             <property name="visible">True</property>
1248                                             <property name="can_focus">True</property>
1249                                             <property name="receives_default">True</property>
1250                                             <child>
1251                                               <widget class="GtkLabel" id="label21">
1252                                                 <property name="visible">True</property>
1253                                                 <property name="label" translatable="yes">Existential (&#x2203;&lt;sub&gt;i&lt;/sub&gt;)</property>
1254                                                 <property name="use_markup">True</property>
1255                                               </widget>
1256                                             </child>
1257                                           </widget>
1258                                           <packing>
1259                                             <property name="position">7</property>
1260                                           </packing>
1261                                         </child>
1262                                       </widget>
1263                                     </child>
1264                                     <child>
1265                                       <widget class="GtkLabel" id="label4">
1266                                         <property name="visible">True</property>
1267                                         <property name="label" translatable="yes">Introduction rules</property>
1268                                       </widget>
1269                                       <packing>
1270                                         <property name="type">label_item</property>
1271                                       </packing>
1272                                     </child>
1273                                   </widget>
1274                                   <packing>
1275                                     <property name="expand">False</property>
1276                                     <property name="position">0</property>
1277                                   </packing>
1278                                 </child>
1279                                 <child>
1280                                   <widget class="GtkExpander" id="expander2">
1281                                     <property name="visible">True</property>
1282                                     <property name="can_focus">True</property>
1283                                     <child>
1284                                       <widget class="GtkVBox" id="vbox3">
1285                                         <property name="visible">True</property>
1286                                         <property name="orientation">vertical</property>
1287                                         <child>
1288                                           <widget class="GtkButton" id="butImpl_elim">
1289                                             <property name="visible">True</property>
1290                                             <property name="can_focus">True</property>
1291                                             <property name="receives_default">True</property>
1292                                             <child>
1293                                               <widget class="GtkLabel" id="label22">
1294                                                 <property name="visible">True</property>
1295                                                 <property name="label" translatable="yes">Implication (&#x21D2;&lt;sub&gt;e&lt;/sub&gt;)</property>
1296                                                 <property name="use_markup">True</property>
1297                                               </widget>
1298                                             </child>
1299                                           </widget>
1300                                           <packing>
1301                                             <property name="position">0</property>
1302                                           </packing>
1303                                         </child>
1304                                         <child>
1305                                           <widget class="GtkButton" id="butAnd_elim_left">
1306                                             <property name="visible">True</property>
1307                                             <property name="can_focus">True</property>
1308                                             <property name="receives_default">True</property>
1309                                             <child>
1310                                               <widget class="GtkLabel" id="label23">
1311                                                 <property name="visible">True</property>
1312                                                 <property name="label" translatable="yes">Conjunction left (&#x2227;&lt;sub&gt;e-l&lt;/sub&gt;)</property>
1313                                                 <property name="use_markup">True</property>
1314                                               </widget>
1315                                             </child>
1316                                           </widget>
1317                                           <packing>
1318                                             <property name="position">1</property>
1319                                           </packing>
1320                                         </child>
1321                                         <child>
1322                                           <widget class="GtkButton" id="butAnd_elim_right">
1323                                             <property name="visible">True</property>
1324                                             <property name="can_focus">True</property>
1325                                             <property name="receives_default">True</property>
1326                                             <child>
1327                                               <widget class="GtkLabel" id="label24">
1328                                                 <property name="visible">True</property>
1329                                                 <property name="label" translatable="yes">Conjunction right (&#x2227;&lt;sub&gt;e-r&lt;/sub&gt;)</property>
1330                                                 <property name="use_markup">True</property>
1331                                               </widget>
1332                                             </child>
1333                                           </widget>
1334                                           <packing>
1335                                             <property name="position">2</property>
1336                                           </packing>
1337                                         </child>
1338                                         <child>
1339                                           <widget class="GtkButton" id="butOr_elim">
1340                                             <property name="visible">True</property>
1341                                             <property name="can_focus">True</property>
1342                                             <property name="receives_default">True</property>
1343                                             <child>
1344                                               <widget class="GtkLabel" id="label27">
1345                                                 <property name="visible">True</property>
1346                                                 <property name="label" translatable="yes">Disjunction (&#x2228;&lt;sub&gt;e&lt;/sub&gt;)</property>
1347                                                 <property name="use_markup">True</property>
1348                                               </widget>
1349                                             </child>
1350                                           </widget>
1351                                           <packing>
1352                                             <property name="position">3</property>
1353                                           </packing>
1354                                         </child>
1355                                         <child>
1356                                           <widget class="GtkButton" id="butNot_elim">
1357                                             <property name="visible">True</property>
1358                                             <property name="can_focus">True</property>
1359                                             <property name="receives_default">True</property>
1360                                             <child>
1361                                               <widget class="GtkLabel" id="label31">
1362                                                 <property name="visible">True</property>
1363                                                 <property name="label" translatable="yes">Negation (&#xAC;&lt;sub&gt;e&lt;/sub&gt;)</property>
1364                                                 <property name="use_markup">True</property>
1365                                               </widget>
1366                                             </child>
1367                                           </widget>
1368                                           <packing>
1369                                             <property name="position">4</property>
1370                                           </packing>
1371                                         </child>
1372                                         <child>
1373                                           <widget class="GtkButton" id="butBot_elim">
1374                                             <property name="visible">True</property>
1375                                             <property name="can_focus">True</property>
1376                                             <property name="receives_default">True</property>
1377                                             <child>
1378                                               <widget class="GtkLabel" id="label33">
1379                                                 <property name="visible">True</property>
1380                                                 <property name="label" translatable="yes">Bottom (&#x22A5;&lt;sub&gt;e&lt;/sub&gt;)</property>
1381                                                 <property name="use_markup">True</property>
1382                                               </widget>
1383                                             </child>
1384                                           </widget>
1385                                           <packing>
1386                                             <property name="position">5</property>
1387                                           </packing>
1388                                         </child>
1389                                         <child>
1390                                           <widget class="GtkButton" id="butForall_elim">
1391                                             <property name="visible">True</property>
1392                                             <property name="can_focus">True</property>
1393                                             <property name="receives_default">True</property>
1394                                             <child>
1395                                               <widget class="GtkLabel" id="label34">
1396                                                 <property name="visible">True</property>
1397                                                 <property name="label" translatable="yes">Universal (&#x2200;&lt;sub&gt;e&lt;/sub&gt;)</property>
1398                                                 <property name="use_markup">True</property>
1399                                               </widget>
1400                                             </child>
1401                                           </widget>
1402                                           <packing>
1403                                             <property name="position">6</property>
1404                                           </packing>
1405                                         </child>
1406                                         <child>
1407                                           <widget class="GtkButton" id="butExists_elim">
1408                                             <property name="visible">True</property>
1409                                             <property name="can_focus">True</property>
1410                                             <property name="receives_default">True</property>
1411                                             <child>
1412                                               <widget class="GtkLabel" id="label35">
1413                                                 <property name="visible">True</property>
1414                                                 <property name="label" translatable="yes">Existential (&#x2203;&lt;sub&gt;e&lt;/sub&gt;)</property>
1415                                                 <property name="use_markup">True</property>
1416                                               </widget>
1417                                             </child>
1418                                           </widget>
1419                                           <packing>
1420                                             <property name="position">7</property>
1421                                           </packing>
1422                                         </child>
1423                                       </widget>
1424                                     </child>
1425                                     <child>
1426                                       <widget class="GtkLabel" id="label5">
1427                                         <property name="visible">True</property>
1428                                         <property name="label" translatable="yes">Elimination rules</property>
1429                                       </widget>
1430                                       <packing>
1431                                         <property name="type">label_item</property>
1432                                       </packing>
1433                                     </child>
1434                                   </widget>
1435                                   <packing>
1436                                     <property name="expand">False</property>
1437                                     <property name="position">1</property>
1438                                   </packing>
1439                                 </child>
1440                                 <child>
1441                                   <widget class="GtkExpander" id="expander3">
1442                                     <property name="visible">True</property>
1443                                     <property name="can_focus">True</property>
1444                                     <child>
1445                                       <widget class="GtkVBox" id="vbox4">
1446                                         <property name="visible">True</property>
1447                                         <property name="orientation">vertical</property>
1448                                         <child>
1449                                           <widget class="GtkButton" id="butRAA">
1450                                             <property name="label" translatable="yes">Reduction to Absurdity (RAA)</property>
1451                                             <property name="visible">True</property>
1452                                             <property name="can_focus">True</property>
1453                                             <property name="receives_default">True</property>
1454                                           </widget>
1455                                           <packing>
1456                                             <property name="position">0</property>
1457                                           </packing>
1458                                         </child>
1459                                         <child>
1460                                           <widget class="GtkButton" id="butUseLemma">
1461                                             <property name="label" translatable="yes">Use lemma (lem)</property>
1462                                             <property name="visible">True</property>
1463                                             <property name="can_focus">True</property>
1464                                             <property name="receives_default">True</property>
1465                                           </widget>
1466                                           <packing>
1467                                             <property name="position">1</property>
1468                                           </packing>
1469                                         </child>
1470                                         <child>
1471                                           <widget class="GtkButton" id="butDischarge">
1472                                             <property name="label" translatable="yes">Discharge (discharge)</property>
1473                                             <property name="visible">True</property>
1474                                             <property name="can_focus">True</property>
1475                                             <property name="receives_default">True</property>
1476                                           </widget>
1477                                           <packing>
1478                                             <property name="position">2</property>
1479                                           </packing>
1480                                         </child>
1481                                       </widget>
1482                                     </child>
1483                                     <child>
1484                                       <widget class="GtkLabel" id="label6">
1485                                         <property name="visible">True</property>
1486                                         <property name="label" translatable="yes">Misc rules</property>
1487                                       </widget>
1488                                       <packing>
1489                                         <property name="type">label_item</property>
1490                                       </packing>
1491                                     </child>
1492                                   </widget>
1493                                   <packing>
1494                                     <property name="expand">False</property>
1495                                     <property name="position">2</property>
1496                                   </packing>
1497                                 </child>
1498                               </widget>
1499                             </child>
1500                           </widget>
1501                           <packing>
1502                             <property name="expand">False</property>
1503                             <property name="position">0</property>
1504                           </packing>
1505                         </child>
1506                         <child>
1507                           <widget class="GtkVBox" id="vboxScript">
1508                             <property name="width_request">400</property>
1509                             <property name="visible">True</property>
1510                             <property name="orientation">vertical</property>
1511                             <child>
1512                               <widget class="GtkHBox" id="hbox28">
1513                                 <property name="visible">True</property>
1514                                 <child>
1515                                   <widget class="GtkToolbar" id="buttonsToolbar">
1516                                     <property name="visible">True</property>
1517                                     <property name="toolbar_style">both</property>
1518                                     <child>
1519                                       <widget class="GtkToolItem" id="toolitem41">
1520                                         <property name="visible">True</property>
1521                                         <child>
1522                                           <widget class="GtkButton" id="scriptTopButton">
1523                                             <property name="visible">True</property>
1524                                             <property name="can_focus">True</property>
1525                                             <property name="receives_default">False</property>
1526                                             <property name="tooltip" translatable="yes">Restart</property>
1527                                             <property name="relief">none</property>
1528                                             <child>
1529                                               <widget class="GtkImage" id="image920">
1530                                                 <property name="visible">True</property>
1531                                                 <property name="stock">gtk-goto-top</property>
1532                                               </widget>
1533                                             </child>
1534                                           </widget>
1535                                         </child>
1536                                       </widget>
1537                                       <packing>
1538                                         <property name="expand">False</property>
1539                                       </packing>
1540                                     </child>
1541                                     <child>
1542                                       <widget class="GtkToolItem" id="toolitem42">
1543                                         <property name="visible">True</property>
1544                                         <child>
1545                                           <widget class="GtkButton" id="scriptRetractButton">
1546                                             <property name="visible">True</property>
1547                                             <property name="can_focus">True</property>
1548                                             <property name="receives_default">False</property>
1549                                             <property name="tooltip" translatable="yes">Retract 1 phrase</property>
1550                                             <property name="relief">none</property>
1551                                             <child>
1552                                               <widget class="GtkImage" id="image921">
1553                                                 <property name="visible">True</property>
1554                                                 <property name="stock">gtk-go-up</property>
1555                                               </widget>
1556                                             </child>
1557                                           </widget>
1558                                         </child>
1559                                       </widget>
1560                                       <packing>
1561                                         <property name="expand">False</property>
1562                                       </packing>
1563                                     </child>
1564                                     <child>
1565                                       <widget class="GtkToolItem" id="toolitem43">
1566                                         <property name="visible">True</property>
1567                                         <child>
1568                                           <widget class="GtkButton" id="scriptJumpButton">
1569                                             <property name="visible">True</property>
1570                                             <property name="can_focus">True</property>
1571                                             <property name="receives_default">False</property>
1572                                             <property name="tooltip" translatable="yes">Execute until point</property>
1573                                             <property name="relief">none</property>
1574                                             <child>
1575                                               <widget class="GtkImage" id="image922">
1576                                                 <property name="visible">True</property>
1577                                                 <property name="stock">gtk-jump-to</property>
1578                                               </widget>
1579                                             </child>
1580                                           </widget>
1581                                         </child>
1582                                       </widget>
1583                                       <packing>
1584                                         <property name="expand">False</property>
1585                                       </packing>
1586                                     </child>
1587                                     <child>
1588                                       <widget class="GtkToolItem" id="toolitem44">
1589                                         <property name="visible">True</property>
1590                                         <child>
1591                                           <widget class="GtkButton" id="scriptAdvanceButton">
1592                                             <property name="visible">True</property>
1593                                             <property name="can_focus">True</property>
1594                                             <property name="receives_default">False</property>
1595                                             <property name="tooltip" translatable="yes">Execute 1 phrase</property>
1596                                             <property name="relief">none</property>
1597                                             <child>
1598                                               <widget class="GtkImage" id="image923">
1599                                                 <property name="visible">True</property>
1600                                                 <property name="stock">gtk-go-down</property>
1601                                               </widget>
1602                                             </child>
1603                                           </widget>
1604                                         </child>
1605                                       </widget>
1606                                       <packing>
1607                                         <property name="expand">False</property>
1608                                       </packing>
1609                                     </child>
1610                                     <child>
1611                                       <widget class="GtkToolItem" id="toolitem45">
1612                                         <property name="visible">True</property>
1613                                         <child>
1614                                           <widget class="GtkButton" id="scriptBottomButton">
1615                                             <property name="visible">True</property>
1616                                             <property name="can_focus">True</property>
1617                                             <property name="receives_default">False</property>
1618                                             <property name="tooltip" translatable="yes">Execute all</property>
1619                                             <property name="relief">none</property>
1620                                             <child>
1621                                               <widget class="GtkImage" id="image924">
1622                                                 <property name="visible">True</property>
1623                                                 <property name="stock">gtk-goto-bottom</property>
1624                                               </widget>
1625                                             </child>
1626                                           </widget>
1627                                         </child>
1628                                       </widget>
1629                                       <packing>
1630                                         <property name="expand">False</property>
1631                                       </packing>
1632                                     </child>
1633                                   </widget>
1634                                   <packing>
1635                                     <property name="position">0</property>
1636                                   </packing>
1637                                 </child>
1638                                 <child>
1639                                   <widget class="GtkToolbar" id="toolbar2">
1640                                     <property name="visible">True</property>
1641                                     <property name="orientation">vertical</property>
1642                                     <property name="toolbar_style">both</property>
1643                                     <child>
1644                                       <widget class="GtkToolItem" id="toolitem46">
1645                                         <property name="visible">True</property>
1646                                         <child>
1647                                           <widget class="GtkButton" id="scriptAbortButton">
1648                                             <property name="visible">True</property>
1649                                             <property name="can_focus">True</property>
1650                                             <property name="receives_default">False</property>
1651                                             <property name="relief">none</property>
1652                                             <child>
1653                                               <widget class="GtkImage" id="image927">
1654                                                 <property name="visible">True</property>
1655                                                 <property name="stock">gtk-stop</property>
1656                                               </widget>
1657                                             </child>
1658                                           </widget>
1659                                         </child>
1660                                       </widget>
1661                                       <packing>
1662                                         <property name="expand">False</property>
1663                                       </packing>
1664                                     </child>
1665                                   </widget>
1666                                   <packing>
1667                                     <property name="expand">False</property>
1668                                     <property name="position">1</property>
1669                                   </packing>
1670                                 </child>
1671                               </widget>
1672                               <packing>
1673                                 <property name="expand">False</property>
1674                                 <property name="fill">False</property>
1675                                 <property name="position">0</property>
1676                               </packing>
1677                             </child>
1678                             <child>
1679                               <widget class="GtkNotebook" id="scriptNotebook">
1680                                 <property name="visible">True</property>
1681                                 <property name="can_focus">True</property>
1682                                 <property name="tab_pos">bottom</property>
1683                                 <child>
1684                                   <widget class="GtkScrolledWindow" id="ScriptScrolledWin">
1685                                     <property name="visible">True</property>
1686                                     <property name="can_focus">True</property>
1687                                     <property name="hscrollbar_policy">automatic</property>
1688                                     <property name="vscrollbar_policy">automatic</property>
1689                                     <child>
1690                                       <placeholder/>
1691                                     </child>
1692                                   </widget>
1693                                 </child>
1694                                 <child>
1695                                   <widget class="GtkLabel" id="scriptLabel">
1696                                     <property name="visible">True</property>
1697                                     <property name="label" translatable="yes">script</property>
1698                                   </widget>
1699                                   <packing>
1700                                     <property name="tab_fill">False</property>
1701                                     <property name="type">tab</property>
1702                                   </packing>
1703                                 </child>
1704                                 <child>
1705                                   <widget class="GtkScrolledWindow" id="scrolledwindow8">
1706                                     <property name="visible">True</property>
1707                                     <property name="can_focus">True</property>
1708                                     <property name="hscrollbar_policy">automatic</property>
1709                                     <property name="vscrollbar_policy">automatic</property>
1710                                     <child>
1711                                       <widget class="GtkViewport" id="viewport1">
1712                                         <property name="visible">True</property>
1713                                         <child>
1714                                           <widget class="GtkLabel" id="label25">
1715                                             <property name="visible">True</property>
1716                                             <property name="label" translatable="yes">Not implemented.</property>
1717                                           </widget>
1718                                         </child>
1719                                       </widget>
1720                                     </child>
1721                                   </widget>
1722                                   <packing>
1723                                     <property name="position">1</property>
1724                                   </packing>
1725                                 </child>
1726                                 <child>
1727                                   <widget class="GtkLabel" id="label13">
1728                                     <property name="visible">True</property>
1729                                     <property name="label" translatable="yes">outline</property>
1730                                   </widget>
1731                                   <packing>
1732                                     <property name="position">1</property>
1733                                     <property name="tab_fill">False</property>
1734                                     <property name="type">tab</property>
1735                                   </packing>
1736                                 </child>
1737                               </widget>
1738                               <packing>
1739                                 <property name="position">1</property>
1740                               </packing>
1741                             </child>
1742                           </widget>
1743                           <packing>
1744                             <property name="position">1</property>
1745                           </packing>
1746                         </child>
1747                       </widget>
1748                       <packing>
1749                         <property name="resize">False</property>
1750                         <property name="shrink">True</property>
1751                       </packing>
1752                     </child>
1753                     <child>
1754                       <widget class="GtkVPaned" id="vpaned1">
1755                         <property name="width_request">250</property>
1756                         <property name="height_request">500</property>
1757                         <property name="visible">True</property>
1758                         <property name="can_focus">True</property>
1759                         <property name="position">380</property>
1760                         <child>
1761                           <widget class="GtkNotebook" id="sequentsNotebook">
1762                             <property name="visible">True</property>
1763                             <property name="can_focus">True</property>
1764                           </widget>
1765                           <packing>
1766                             <property name="resize">False</property>
1767                             <property name="shrink">True</property>
1768                           </packing>
1769                         </child>
1770                         <child>
1771                           <widget class="GtkHBox" id="hbox9">
1772                             <property name="visible">True</property>
1773                             <child>
1774                               <widget class="GtkScrolledWindow" id="logScrolledWin">
1775                                 <property name="visible">True</property>
1776                                 <property name="can_focus">True</property>
1777                                 <property name="hscrollbar_policy">never</property>
1778                                 <property name="shadow_type">in</property>
1779                                 <child>
1780                                   <widget class="GtkTextView" id="logTextView">
1781                                     <property name="visible">True</property>
1782                                     <property name="can_focus">True</property>
1783                                     <property name="editable">False</property>
1784                                     <property name="wrap_mode">char</property>
1785                                     <property name="cursor_visible">False</property>
1786                                   </widget>
1787                                 </child>
1788                               </widget>
1789                               <packing>
1790                                 <property name="position">0</property>
1791                               </packing>
1792                             </child>
1793                           </widget>
1794                           <packing>
1795                             <property name="resize">True</property>
1796                             <property name="shrink">True</property>
1797                           </packing>
1798                         </child>
1799                       </widget>
1800                       <packing>
1801                         <property name="resize">True</property>
1802                         <property name="shrink">True</property>
1803                       </packing>
1804                     </child>
1805                   </widget>
1806                   <packing>
1807                     <property name="position">0</property>
1808                   </packing>
1809                 </child>
1810               </widget>
1811               <packing>
1812                 <property name="position">1</property>
1813               </packing>
1814             </child>
1815             <child>
1816               <widget class="GtkHBox" id="hbox10">
1817                 <property name="visible">True</property>
1818                 <child>
1819                   <widget class="GtkStatusbar" id="StatusBar">
1820                     <property name="visible">True</property>
1821                     <property name="has_resize_grip">False</property>
1822                   </widget>
1823                   <packing>
1824                     <property name="position">0</property>
1825                   </packing>
1826                 </child>
1827                 <child>
1828                   <widget class="GtkNotebook" id="HintNotebook">
1829                     <property name="visible">True</property>
1830                     <property name="show_tabs">False</property>
1831                     <child>
1832                       <widget class="GtkImage" id="HintLowImage">
1833                         <property name="visible">True</property>
1834                         <property name="stock">gtk-missing-image</property>
1835                       </widget>
1836                     </child>
1837                     <child>
1838                       <widget class="GtkLabel" id="label14">
1839                         <property name="visible">True</property>
1840                         <property name="label" translatable="yes">label14</property>
1841                       </widget>
1842                       <packing>
1843                         <property name="tab_fill">False</property>
1844                         <property name="type">tab</property>
1845                       </packing>
1846                     </child>
1847                     <child>
1848                       <widget class="GtkImage" id="HintMediumImage">
1849                         <property name="visible">True</property>
1850                         <property name="stock">gtk-missing-image</property>
1851                       </widget>
1852                       <packing>
1853                         <property name="position">1</property>
1854                       </packing>
1855                     </child>
1856                     <child>
1857                       <widget class="GtkLabel" id="label15">
1858                         <property name="visible">True</property>
1859                         <property name="label" translatable="yes">label15</property>
1860                       </widget>
1861                       <packing>
1862                         <property name="position">1</property>
1863                         <property name="tab_fill">False</property>
1864                         <property name="type">tab</property>
1865                       </packing>
1866                     </child>
1867                     <child>
1868                       <widget class="GtkImage" id="HintHighImage">
1869                         <property name="visible">True</property>
1870                         <property name="stock">gtk-missing-image</property>
1871                       </widget>
1872                       <packing>
1873                         <property name="position">2</property>
1874                       </packing>
1875                     </child>
1876                     <child>
1877                       <widget class="GtkLabel" id="label16">
1878                         <property name="visible">True</property>
1879                         <property name="label" translatable="yes">label16</property>
1880                       </widget>
1881                       <packing>
1882                         <property name="position">2</property>
1883                         <property name="tab_fill">False</property>
1884                         <property name="type">tab</property>
1885                       </packing>
1886                     </child>
1887                   </widget>
1888                   <packing>
1889                     <property name="expand">False</property>
1890                     <property name="position">1</property>
1891                   </packing>
1892                 </child>
1893               </widget>
1894               <packing>
1895                 <property name="expand">False</property>
1896                 <property name="fill">False</property>
1897                 <property name="position">2</property>
1898               </packing>
1899             </child>
1900           </widget>
1901         </child>
1902       </widget>
1903     </child>
1904   </widget>
1905   <widget class="GtkDialog" id="TextDialog">
1906     <property name="title" translatable="yes">DUMMY</property>
1907     <property name="type_hint">dialog</property>
1908     <child internal-child="vbox">
1909       <widget class="GtkVBox" id="vbox5">
1910         <property name="visible">True</property>
1911         <property name="orientation">vertical</property>
1912         <child>
1913           <widget class="GtkLabel" id="TextDialogLabel">
1914             <property name="visible">True</property>
1915             <property name="label" translatable="yes">DUMMY</property>
1916           </widget>
1917           <packing>
1918             <property name="expand">False</property>
1919             <property name="fill">False</property>
1920             <property name="position">2</property>
1921           </packing>
1922         </child>
1923         <child>
1924           <widget class="GtkScrolledWindow" id="scrolledwindow2">
1925             <property name="visible">True</property>
1926             <property name="can_focus">True</property>
1927             <property name="hscrollbar_policy">automatic</property>
1928             <property name="vscrollbar_policy">automatic</property>
1929             <property name="shadow_type">in</property>
1930             <child>
1931               <widget class="GtkTextView" id="TextDialogTextView">
1932                 <property name="visible">True</property>
1933                 <property name="can_focus">True</property>
1934               </widget>
1935             </child>
1936           </widget>
1937           <packing>
1938             <property name="position">3</property>
1939           </packing>
1940         </child>
1941         <child internal-child="action_area">
1942           <widget class="GtkHButtonBox" id="hbuttonbox1">
1943             <property name="visible">True</property>
1944             <property name="layout_style">end</property>
1945             <child>
1946               <widget class="GtkButton" id="TextDialogCancelButton">
1947                 <property name="label">gtk-cancel</property>
1948                 <property name="response_id">-6</property>
1949                 <property name="visible">True</property>
1950                 <property name="can_focus">True</property>
1951                 <property name="can_default">True</property>
1952                 <property name="receives_default">False</property>
1953                 <property name="use_stock">True</property>
1954               </widget>
1955               <packing>
1956                 <property name="expand">False</property>
1957                 <property name="fill">False</property>
1958                 <property name="position">0</property>
1959               </packing>
1960             </child>
1961             <child>
1962               <widget class="GtkButton" id="TextDialogOkButton">
1963                 <property name="label">gtk-ok</property>
1964                 <property name="response_id">-5</property>
1965                 <property name="visible">True</property>
1966                 <property name="can_focus">True</property>
1967                 <property name="can_default">True</property>
1968                 <property name="receives_default">False</property>
1969                 <property name="use_stock">True</property>
1970               </widget>
1971               <packing>
1972                 <property name="expand">False</property>
1973                 <property name="fill">False</property>
1974                 <property name="position">1</property>
1975               </packing>
1976             </child>
1977           </widget>
1978           <packing>
1979             <property name="expand">False</property>
1980             <property name="pack_type">end</property>
1981             <property name="position">0</property>
1982           </packing>
1983         </child>
1984       </widget>
1985     </child>
1986   </widget>
1987   <widget class="GtkDialog" id="UriChoiceDialog">
1988     <property name="height_request">280</property>
1989     <property name="title" translatable="yes">Uri choice</property>
1990     <property name="modal">True</property>
1991     <property name="window_position">center</property>
1992     <property name="type_hint">dialog</property>
1993     <child internal-child="vbox">
1994       <widget class="GtkVBox" id="dialog-vbox3">
1995         <property name="visible">True</property>
1996         <property name="orientation">vertical</property>
1997         <property name="spacing">4</property>
1998         <child>
1999           <widget class="GtkVBox" id="vbox2">
2000             <property name="visible">True</property>
2001             <property name="orientation">vertical</property>
2002             <property name="spacing">3</property>
2003             <child>
2004               <widget class="GtkLabel" id="UriChoiceLabel">
2005                 <property name="visible">True</property>
2006                 <property name="label" translatable="yes">some informative message here ...</property>
2007               </widget>
2008               <packing>
2009                 <property name="expand">False</property>
2010                 <property name="fill">False</property>
2011                 <property name="position">0</property>
2012               </packing>
2013             </child>
2014             <child>
2015               <widget class="GtkScrolledWindow" id="scrolledwindow1">
2016                 <property name="width_request">400</property>
2017                 <property name="visible">True</property>
2018                 <property name="can_focus">True</property>
2019                 <property name="hscrollbar_policy">automatic</property>
2020                 <property name="vscrollbar_policy">automatic</property>
2021                 <child>
2022                   <widget class="GtkTreeView" id="UriChoiceTreeView">
2023                     <property name="visible">True</property>
2024                     <property name="can_focus">True</property>
2025                     <property name="headers_visible">False</property>
2026                   </widget>
2027                 </child>
2028               </widget>
2029               <packing>
2030                 <property name="position">1</property>
2031               </packing>
2032             </child>
2033             <child>
2034               <widget class="GtkHBox" id="uriEntryHBox">
2035                 <property name="visible">True</property>
2036                 <child>
2037                   <widget class="GtkLabel" id="label2">
2038                     <property name="visible">True</property>
2039                     <property name="label" translatable="yes">URI: </property>
2040                   </widget>
2041                   <packing>
2042                     <property name="expand">False</property>
2043                     <property name="fill">False</property>
2044                     <property name="position">0</property>
2045                   </packing>
2046                 </child>
2047                 <child>
2048                   <widget class="GtkEntry" id="entry1">
2049                     <property name="visible">True</property>
2050                     <property name="can_focus">True</property>
2051                   </widget>
2052                   <packing>
2053                     <property name="position">1</property>
2054                   </packing>
2055                 </child>
2056               </widget>
2057               <packing>
2058                 <property name="expand">False</property>
2059                 <property name="position">2</property>
2060               </packing>
2061             </child>
2062           </widget>
2063           <packing>
2064             <property name="position">2</property>
2065           </packing>
2066         </child>
2067         <child internal-child="action_area">
2068           <widget class="GtkHButtonBox" id="dialog-action_area3">
2069             <property name="visible">True</property>
2070             <property name="layout_style">end</property>
2071             <child>
2072               <widget class="GtkButton" id="UriChoiceAbortButton">
2073                 <property name="label">gtk-cancel</property>
2074                 <property name="response_id">-6</property>
2075                 <property name="visible">True</property>
2076                 <property name="can_focus">True</property>
2077                 <property name="can_default">True</property>
2078                 <property name="receives_default">False</property>
2079                 <property name="use_stock">True</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="GtkButton" id="UriChoiceSelectedButton">
2089                 <property name="visible">True</property>
2090                 <property name="can_focus">True</property>
2091                 <property name="can_default">True</property>
2092                 <property name="receives_default">False</property>
2093                 <child>
2094                   <widget class="GtkAlignment" id="alignment2">
2095                     <property name="visible">True</property>
2096                     <property name="xscale">0</property>
2097                     <property name="yscale">0</property>
2098                     <child>
2099                       <widget class="GtkHBox" id="hbox3">
2100                         <property name="visible">True</property>
2101                         <property name="spacing">2</property>
2102                         <child>
2103                           <widget class="GtkImage" id="image19">
2104                             <property name="visible">True</property>
2105                             <property name="stock">gtk-index</property>
2106                           </widget>
2107                           <packing>
2108                             <property name="expand">False</property>
2109                             <property name="fill">False</property>
2110                             <property name="position">0</property>
2111                           </packing>
2112                         </child>
2113                         <child>
2114                           <widget class="GtkLabel" id="label3">
2115                             <property name="visible">True</property>
2116                             <property name="label" translatable="yes">Try _Selected</property>
2117                             <property name="use_underline">True</property>
2118                           </widget>
2119                           <packing>
2120                             <property name="expand">False</property>
2121                             <property name="fill">False</property>
2122                             <property name="position">1</property>
2123                           </packing>
2124                         </child>
2125                       </widget>
2126                     </child>
2127                   </widget>
2128                 </child>
2129               </widget>
2130               <packing>
2131                 <property name="expand">False</property>
2132                 <property name="fill">False</property>
2133                 <property name="position">1</property>
2134               </packing>
2135             </child>
2136             <child>
2137               <widget class="GtkButton" id="UriChoiceConstantsButton">
2138                 <property name="label" translatable="yes">Try Constants</property>
2139                 <property name="visible">True</property>
2140                 <property name="sensitive">False</property>
2141                 <property name="can_focus">True</property>
2142                 <property name="can_default">True</property>
2143                 <property name="receives_default">False</property>
2144                 <property name="use_underline">True</property>
2145               </widget>
2146               <packing>
2147                 <property name="expand">False</property>
2148                 <property name="fill">False</property>
2149                 <property name="position">2</property>
2150               </packing>
2151             </child>
2152             <child>
2153               <widget class="GtkButton" id="copyButton">
2154                 <property name="label">gtk-copy</property>
2155                 <property name="can_focus">True</property>
2156                 <property name="can_default">True</property>
2157                 <property name="receives_default">False</property>
2158                 <property name="use_stock">True</property>
2159               </widget>
2160               <packing>
2161                 <property name="expand">False</property>
2162                 <property name="fill">False</property>
2163                 <property name="position">3</property>
2164               </packing>
2165             </child>
2166             <child>
2167               <widget class="GtkButton" id="uriChoiceAutoButton">
2168                 <property name="visible">True</property>
2169                 <property name="can_focus">True</property>
2170                 <property name="can_default">True</property>
2171                 <property name="receives_default">False</property>
2172                 <child>
2173                   <widget class="GtkAlignment" id="alignment5">
2174                     <property name="visible">True</property>
2175                     <property name="xscale">0</property>
2176                     <property name="yscale">0</property>
2177                     <child>
2178                       <widget class="GtkHBox" id="hbox16">
2179                         <property name="visible">True</property>
2180                         <property name="spacing">2</property>
2181                         <child>
2182                           <widget class="GtkImage" id="image302">
2183                             <property name="visible">True</property>
2184                             <property name="stock">gtk-ok</property>
2185                           </widget>
2186                           <packing>
2187                             <property name="expand">False</property>
2188                             <property name="fill">False</property>
2189                             <property name="position">0</property>
2190                           </packing>
2191                         </child>
2192                         <child>
2193                           <widget class="GtkLabel" id="okLabel">
2194                             <property name="visible">True</property>
2195                             <property name="label" translatable="yes">bla bla bla</property>
2196                             <property name="use_underline">True</property>
2197                           </widget>
2198                           <packing>
2199                             <property name="expand">False</property>
2200                             <property name="fill">False</property>
2201                             <property name="position">1</property>
2202                           </packing>
2203                         </child>
2204                       </widget>
2205                     </child>
2206                   </widget>
2207                 </child>
2208               </widget>
2209               <packing>
2210                 <property name="expand">False</property>
2211                 <property name="fill">False</property>
2212                 <property name="position">4</property>
2213               </packing>
2214             </child>
2215             <child>
2216               <widget class="GtkButton" id="uriChoiceForwardButton">
2217                 <property name="label">gtk-go-forward</property>
2218                 <property name="visible">True</property>
2219                 <property name="can_focus">True</property>
2220                 <property name="can_default">True</property>
2221                 <property name="receives_default">False</property>
2222                 <property name="use_stock">True</property>
2223               </widget>
2224               <packing>
2225                 <property name="expand">False</property>
2226                 <property name="fill">False</property>
2227                 <property name="position">5</property>
2228               </packing>
2229             </child>
2230           </widget>
2231           <packing>
2232             <property name="expand">False</property>
2233             <property name="pack_type">end</property>
2234             <property name="position">0</property>
2235           </packing>
2236         </child>
2237       </widget>
2238     </child>
2239   </widget>
2240   <widget class="GtkWindow" id="FindReplWin">
2241     <property name="border_width">5</property>
2242     <property name="title" translatable="yes">Find &amp; Replace</property>
2243     <property name="resizable">False</property>
2244     <property name="window_position">mouse</property>
2245     <property name="type_hint">dialog</property>
2246     <child>
2247       <widget class="GtkTable" id="table1">
2248         <property name="visible">True</property>
2249         <property name="n_rows">3</property>
2250         <property name="n_columns">2</property>
2251         <property name="row_spacing">5</property>
2252         <child>
2253           <widget class="GtkLabel" id="label17">
2254             <property name="visible">True</property>
2255             <property name="xalign">0</property>
2256             <property name="label" translatable="yes">Find:</property>
2257           </widget>
2258           <packing>
2259             <property name="x_options"></property>
2260             <property name="y_options"></property>
2261           </packing>
2262         </child>
2263         <child>
2264           <widget class="GtkLabel" id="label18">
2265             <property name="visible">True</property>
2266             <property name="xalign">0</property>
2267             <property name="label" translatable="yes">Replace with: </property>
2268           </widget>
2269           <packing>
2270             <property name="top_attach">1</property>
2271             <property name="bottom_attach">2</property>
2272             <property name="x_options"></property>
2273             <property name="y_options"></property>
2274           </packing>
2275         </child>
2276         <child>
2277           <widget class="GtkEntry" id="findEntry">
2278             <property name="visible">True</property>
2279             <property name="can_focus">True</property>
2280             <property name="has_focus">True</property>
2281             <property name="can_default">True</property>
2282             <property name="has_default">True</property>
2283           </widget>
2284           <packing>
2285             <property name="left_attach">1</property>
2286             <property name="right_attach">2</property>
2287             <property name="y_options"></property>
2288           </packing>
2289         </child>
2290         <child>
2291           <widget class="GtkEntry" id="replaceEntry">
2292             <property name="visible">True</property>
2293             <property name="can_focus">True</property>
2294           </widget>
2295           <packing>
2296             <property name="left_attach">1</property>
2297             <property name="right_attach">2</property>
2298             <property name="top_attach">1</property>
2299             <property name="bottom_attach">2</property>
2300             <property name="y_options"></property>
2301           </packing>
2302         </child>
2303         <child>
2304           <widget class="GtkHBox" id="hbox19">
2305             <property name="visible">True</property>
2306             <property name="spacing">5</property>
2307             <child>
2308               <widget class="GtkVBox" id="vbox9">
2309                 <property name="visible">True</property>
2310                 <property name="orientation">vertical</property>
2311                 <child>
2312                   <placeholder/>
2313                 </child>
2314                 <child>
2315                   <placeholder/>
2316                 </child>
2317               </widget>
2318               <packing>
2319                 <property name="position">0</property>
2320               </packing>
2321             </child>
2322             <child>
2323               <widget class="GtkButton" id="findButton">
2324                 <property name="label">gtk-find</property>
2325                 <property name="visible">True</property>
2326                 <property name="can_focus">True</property>
2327                 <property name="receives_default">False</property>
2328                 <property name="use_stock">True</property>
2329               </widget>
2330               <packing>
2331                 <property name="expand">False</property>
2332                 <property name="fill">False</property>
2333                 <property name="position">1</property>
2334               </packing>
2335             </child>
2336             <child>
2337               <widget class="GtkButton" id="findReplButton">
2338                 <property name="visible">True</property>
2339                 <property name="can_focus">True</property>
2340                 <property name="receives_default">False</property>
2341                 <child>
2342                   <widget class="GtkAlignment" id="alignment13">
2343                     <property name="visible">True</property>
2344                     <property name="xscale">0</property>
2345                     <property name="yscale">0</property>
2346                     <child>
2347                       <widget class="GtkHBox" id="hbox20">
2348                         <property name="visible">True</property>
2349                         <property name="spacing">2</property>
2350                         <child>
2351                           <widget class="GtkImage" id="image357">
2352                             <property name="visible">True</property>
2353                             <property name="stock">gtk-find-and-replace</property>
2354                           </widget>
2355                           <packing>
2356                             <property name="expand">False</property>
2357                             <property name="fill">False</property>
2358                             <property name="position">0</property>
2359                           </packing>
2360                         </child>
2361                         <child>
2362                           <widget class="GtkLabel" id="label19">
2363                             <property name="visible">True</property>
2364                             <property name="label">_Replace</property>
2365                             <property name="use_underline">True</property>
2366                           </widget>
2367                           <packing>
2368                             <property name="expand">False</property>
2369                             <property name="fill">False</property>
2370                             <property name="position">1</property>
2371                           </packing>
2372                         </child>
2373                       </widget>
2374                     </child>
2375                   </widget>
2376                 </child>
2377               </widget>
2378               <packing>
2379                 <property name="expand">False</property>
2380                 <property name="fill">False</property>
2381                 <property name="position">2</property>
2382               </packing>
2383             </child>
2384             <child>
2385               <widget class="GtkButton" id="cancelButton">
2386                 <property name="label">gtk-cancel</property>
2387                 <property name="visible">True</property>
2388                 <property name="can_focus">True</property>
2389                 <property name="receives_default">False</property>
2390                 <property name="use_stock">True</property>
2391               </widget>
2392               <packing>
2393                 <property name="expand">False</property>
2394                 <property name="fill">False</property>
2395                 <property name="position">3</property>
2396               </packing>
2397             </child>
2398           </widget>
2399           <packing>
2400             <property name="right_attach">2</property>
2401             <property name="top_attach">2</property>
2402             <property name="bottom_attach">3</property>
2403             <property name="y_padding">5</property>
2404           </packing>
2405         </child>
2406       </widget>
2407     </child>
2408   </widget>
2409   <widget class="GtkDialog" id="DisambiguationErrors">
2410     <property name="width_request">450</property>
2411     <property name="height_request">400</property>
2412     <property name="title" translatable="yes">title</property>
2413     <property name="modal">True</property>
2414     <property name="type_hint">dialog</property>
2415     <child internal-child="vbox">
2416       <widget class="GtkVBox" id="vbox14">
2417         <property name="visible">True</property>
2418         <property name="orientation">vertical</property>
2419         <child>
2420           <widget class="GtkVBox" id="vbox15">
2421             <property name="visible">True</property>
2422             <property name="orientation">vertical</property>
2423             <child>
2424               <widget class="GtkLabel" id="disambiguationErrorsLabel">
2425                 <property name="visible">True</property>
2426                 <property name="label" translatable="yes">some informative message here ...</property>
2427               </widget>
2428               <packing>
2429                 <property name="expand">False</property>
2430                 <property name="fill">False</property>
2431                 <property name="position">0</property>
2432               </packing>
2433             </child>
2434             <child>
2435               <widget class="GtkScrolledWindow" id="scrolledwindow12">
2436                 <property name="visible">True</property>
2437                 <property name="can_focus">True</property>
2438                 <property name="hscrollbar_policy">automatic</property>
2439                 <property name="vscrollbar_policy">automatic</property>
2440                 <property name="shadow_type">in</property>
2441                 <child>
2442                   <widget class="GtkTreeView" id="treeview">
2443                     <property name="visible">True</property>
2444                     <property name="can_focus">True</property>
2445                     <property name="headers_visible">False</property>
2446                   </widget>
2447                 </child>
2448               </widget>
2449               <packing>
2450                 <property name="position">1</property>
2451               </packing>
2452             </child>
2453           </widget>
2454           <packing>
2455             <property name="position">2</property>
2456           </packing>
2457         </child>
2458         <child internal-child="action_area">
2459           <widget class="GtkHButtonBox" id="hbuttonbox2">
2460             <property name="visible">True</property>
2461             <property name="layout_style">end</property>
2462             <child>
2463               <widget class="GtkButton" id="button6">
2464                 <property name="label">gtk-help</property>
2465                 <property name="response_id">-11</property>
2466                 <property name="visible">True</property>
2467                 <property name="can_focus">True</property>
2468                 <property name="can_default">True</property>
2469                 <property name="receives_default">False</property>
2470                 <property name="use_stock">True</property>
2471               </widget>
2472               <packing>
2473                 <property name="expand">False</property>
2474                 <property name="fill">False</property>
2475                 <property name="position">0</property>
2476               </packing>
2477             </child>
2478             <child>
2479               <widget class="GtkButton" id="disambiguationErrorsMoreErrors">
2480                 <property name="response_id">-6</property>
2481                 <property name="visible">True</property>
2482                 <property name="can_focus">True</property>
2483                 <property name="can_default">True</property>
2484                 <property name="receives_default">False</property>
2485                 <child>
2486                   <widget class="GtkAlignment" id="alignment18">
2487                     <property name="visible">True</property>
2488                     <property name="xscale">0</property>
2489                     <property name="yscale">0</property>
2490                     <child>
2491                       <widget class="GtkHBox" id="hbox29">
2492                         <property name="visible">True</property>
2493                         <property name="spacing">2</property>
2494                         <child>
2495                           <widget class="GtkImage" id="image926">
2496                             <property name="visible">True</property>
2497                             <property name="stock">gtk-zoom-in</property>
2498                           </widget>
2499                           <packing>
2500                             <property name="expand">False</property>
2501                             <property name="fill">False</property>
2502                             <property name="position">0</property>
2503                           </packing>
2504                         </child>
2505                         <child>
2506                           <widget class="GtkLabel" id="label28">
2507                             <property name="visible">True</property>
2508                             <property name="label">More</property>
2509                             <property name="use_underline">True</property>
2510                           </widget>
2511                           <packing>
2512                             <property name="expand">False</property>
2513                             <property name="fill">False</property>
2514                             <property name="position">1</property>
2515                           </packing>
2516                         </child>
2517                       </widget>
2518                     </child>
2519                   </widget>
2520                 </child>
2521               </widget>
2522               <packing>
2523                 <property name="expand">False</property>
2524                 <property name="fill">False</property>
2525                 <property name="position">1</property>
2526               </packing>
2527             </child>
2528             <child>
2529               <widget class="GtkButton" id="disambiguationErrorsCancelButton">
2530                 <property name="label">gtk-cancel</property>
2531                 <property name="response_id">-6</property>
2532                 <property name="visible">True</property>
2533                 <property name="can_focus">True</property>
2534                 <property name="can_default">True</property>
2535                 <property name="has_default">True</property>
2536                 <property name="receives_default">False</property>
2537                 <property name="use_stock">True</property>
2538               </widget>
2539               <packing>
2540                 <property name="expand">False</property>
2541                 <property name="fill">False</property>
2542                 <property name="position">2</property>
2543               </packing>
2544             </child>
2545             <child>
2546               <widget class="GtkButton" id="disambiguationErrorsOkButton">
2547                 <property name="label">gtk-ok</property>
2548                 <property name="response_id">-5</property>
2549                 <property name="visible">True</property>
2550                 <property name="can_focus">True</property>
2551                 <property name="can_default">True</property>
2552                 <property name="receives_default">False</property>
2553                 <property name="use_stock">True</property>
2554               </widget>
2555               <packing>
2556                 <property name="expand">False</property>
2557                 <property name="fill">False</property>
2558                 <property name="position">3</property>
2559               </packing>
2560             </child>
2561           </widget>
2562           <packing>
2563             <property name="expand">False</property>
2564             <property name="pack_type">end</property>
2565             <property name="position">0</property>
2566           </packing>
2567         </child>
2568       </widget>
2569     </child>
2570   </widget>
2571   <widget class="GtkWindow" id="AutoWin">
2572     <property name="width_request">600</property>
2573     <property name="height_request">400</property>
2574     <property name="visible">True</property>
2575     <property name="title" translatable="yes">Auto</property>
2576     <property name="type_hint">dialog</property>
2577     <property name="gravity">south-east</property>
2578     <child>
2579       <widget class="GtkVBox" id="vbox17">
2580         <property name="visible">True</property>
2581         <property name="orientation">vertical</property>
2582         <child>
2583           <widget class="GtkHBox" id="hbox30">
2584             <property name="visible">True</property>
2585             <property name="spacing">2</property>
2586             <child>
2587               <widget class="GtkScrolledWindow" id="scrolledwindowAREA">
2588                 <property name="visible">True</property>
2589                 <property name="can_focus">True</property>
2590                 <property name="vscrollbar_policy">automatic</property>
2591                 <property name="shadow_type">in</property>
2592                 <child>
2593                   <widget class="GtkViewport" id="viewportAREA">
2594                     <property name="visible">True</property>
2595                     <child>
2596                       <widget class="GtkTable" id="table">
2597                         <property name="visible">True</property>
2598                         <property name="n_rows">3</property>
2599                         <property name="n_columns">3</property>
2600                         <child>
2601                           <placeholder/>
2602                         </child>
2603                         <child>
2604                           <placeholder/>
2605                         </child>
2606                         <child>
2607                           <placeholder/>
2608                         </child>
2609                         <child>
2610                           <placeholder/>
2611                         </child>
2612                         <child>
2613                           <placeholder/>
2614                         </child>
2615                         <child>
2616                           <placeholder/>
2617                         </child>
2618                         <child>
2619                           <placeholder/>
2620                         </child>
2621                         <child>
2622                           <placeholder/>
2623                         </child>
2624                         <child>
2625                           <placeholder/>
2626                         </child>
2627                       </widget>
2628                     </child>
2629                   </widget>
2630                 </child>
2631               </widget>
2632               <packing>
2633                 <property name="position">0</property>
2634               </packing>
2635             </child>
2636             <child>
2637               <widget class="GtkVBox" id="vbox18">
2638                 <property name="visible">True</property>
2639                 <property name="orientation">vertical</property>
2640                 <child>
2641                   <widget class="GtkButton" id="buttonUP">
2642                     <property name="visible">True</property>
2643                     <property name="can_focus">True</property>
2644                     <property name="receives_default">False</property>
2645                     <child>
2646                       <widget class="GtkAlignment" id="alignment19">
2647                         <property name="visible">True</property>
2648                         <property name="xscale">0</property>
2649                         <property name="yscale">0</property>
2650                         <child>
2651                           <widget class="GtkHBox" id="hbox31">
2652                             <property name="visible">True</property>
2653                             <property name="spacing">2</property>
2654                             <child>
2655                               <widget class="GtkImage" id="image1066">
2656                                 <property name="visible">True</property>
2657                                 <property name="stock">gtk-go-up</property>
2658                               </widget>
2659                               <packing>
2660                                 <property name="expand">False</property>
2661                                 <property name="fill">False</property>
2662                                 <property name="position">0</property>
2663                               </packing>
2664                             </child>
2665                             <child>
2666                               <widget class="GtkLabel" id="label30">
2667                                 <property name="visible">True</property>
2668                                 <property name="use_underline">True</property>
2669                               </widget>
2670                               <packing>
2671                                 <property name="expand">False</property>
2672                                 <property name="fill">False</property>
2673                                 <property name="position">1</property>
2674                               </packing>
2675                             </child>
2676                           </widget>
2677                         </child>
2678                       </widget>
2679                     </child>
2680                   </widget>
2681                   <packing>
2682                     <property name="position">0</property>
2683                   </packing>
2684                 </child>
2685                 <child>
2686                   <widget class="GtkButton" id="buttonDOWN">
2687                     <property name="visible">True</property>
2688                     <property name="can_focus">True</property>
2689                     <property name="receives_default">False</property>
2690                     <child>
2691                       <widget class="GtkImage" id="image1065">
2692                         <property name="visible">True</property>
2693                         <property name="stock">gtk-go-down</property>
2694                       </widget>
2695                     </child>
2696                   </widget>
2697                   <packing>
2698                     <property name="position">1</property>
2699                   </packing>
2700                 </child>
2701               </widget>
2702               <packing>
2703                 <property name="expand">False</property>
2704                 <property name="fill">False</property>
2705                 <property name="position">1</property>
2706               </packing>
2707             </child>
2708           </widget>
2709           <packing>
2710             <property name="position">0</property>
2711           </packing>
2712         </child>
2713         <child>
2714           <widget class="GtkHSeparator" id="hseparator3">
2715             <property name="visible">True</property>
2716           </widget>
2717           <packing>
2718             <property name="expand">False</property>
2719             <property name="padding">3</property>
2720             <property name="position">1</property>
2721           </packing>
2722         </child>
2723         <child>
2724           <widget class="GtkHBox" id="hbox32">
2725             <property name="visible">True</property>
2726             <child>
2727               <widget class="GtkLabel" id="labelLAST">
2728                 <property name="visible">True</property>
2729                 <property name="xalign">0</property>
2730                 <property name="label" translatable="yes">Last:</property>
2731               </widget>
2732               <packing>
2733                 <property name="position">0</property>
2734               </packing>
2735             </child>
2736             <child>
2737               <widget class="GtkHButtonBox" id="hbuttonbox3">
2738                 <property name="visible">True</property>
2739                 <property name="border_width">4</property>
2740                 <property name="spacing">4</property>
2741                 <property name="layout_style">end</property>
2742                 <child>
2743                   <widget class="GtkButton" id="buttonPAUSE">
2744                     <property name="label">gtk-media-pause</property>
2745                     <property name="visible">True</property>
2746                     <property name="can_focus">True</property>
2747                     <property name="can_default">True</property>
2748                     <property name="receives_default">False</property>
2749                     <property name="use_stock">True</property>
2750                   </widget>
2751                   <packing>
2752                     <property name="expand">False</property>
2753                     <property name="fill">False</property>
2754                     <property name="position">0</property>
2755                   </packing>
2756                 </child>
2757                 <child>
2758                   <widget class="GtkButton" id="buttonPLAY">
2759                     <property name="label">gtk-media-play</property>
2760                     <property name="visible">True</property>
2761                     <property name="can_focus">True</property>
2762                     <property name="can_default">True</property>
2763                     <property name="receives_default">False</property>
2764                     <property name="use_stock">True</property>
2765                   </widget>
2766                   <packing>
2767                     <property name="expand">False</property>
2768                     <property name="fill">False</property>
2769                     <property name="position">1</property>
2770                   </packing>
2771                 </child>
2772                 <child>
2773                   <widget class="GtkButton" id="buttonNEXT">
2774                     <property name="label">gtk-media-next</property>
2775                     <property name="visible">True</property>
2776                     <property name="can_focus">True</property>
2777                     <property name="can_default">True</property>
2778                     <property name="receives_default">False</property>
2779                     <property name="use_stock">True</property>
2780                   </widget>
2781                   <packing>
2782                     <property name="expand">False</property>
2783                     <property name="fill">False</property>
2784                     <property name="position">2</property>
2785                   </packing>
2786                 </child>
2787                 <child>
2788                   <widget class="GtkButton" id="buttonCLOSE">
2789                     <property name="label">gtk-close</property>
2790                     <property name="visible">True</property>
2791                     <property name="can_focus">True</property>
2792                     <property name="can_default">True</property>
2793                     <property name="receives_default">False</property>
2794                     <property name="use_stock">True</property>
2795                   </widget>
2796                   <packing>
2797                     <property name="expand">False</property>
2798                     <property name="fill">False</property>
2799                     <property name="position">3</property>
2800                   </packing>
2801                 </child>
2802               </widget>
2803               <packing>
2804                 <property name="position">1</property>
2805               </packing>
2806             </child>
2807           </widget>
2808           <packing>
2809             <property name="expand">False</property>
2810             <property name="position">2</property>
2811           </packing>
2812         </child>
2813       </widget>
2814     </child>
2815   </widget>
2816 </glade-interface>