matita/matita/matita.glade

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