matita/matita/matita.glade

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