matita/matita/matita.ui

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