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