helm/software/matita/matita.glade

   1 <?xml version="1.0" standalone="no"?> <!--*- mode: xml -*-->
   2 <!DOCTYPE glade-interface SYSTEM "http://glade.gnome.org/glade-2.0.dtd">
   3
   4 <glade-interface>
   5
   6 <widget class="GtkWindow" id="BrowserWin">
   7   <property name="visible">True</property>
   8   <property name="title" translatable="yes">Cic browser</property>
   9   <property name="type">GTK_WINDOW_TOPLEVEL</property>
  10   <property name="window_position">GTK_WIN_POS_CENTER_ON_PARENT</property>
  11   <property name="modal">False</property>
  12   <property name="default_width">500</property>
  13   <property name="default_height">500</property>
  14   <property name="resizable">True</property>
  15   <property name="destroy_with_parent">False</property>
  16   <property name="decorated">True</property>
  17   <property name="skip_taskbar_hint">False</property>
  18   <property name="skip_pager_hint">False</property>
  19   <property name="type_hint">GDK_WINDOW_TYPE_HINT_NORMAL</property>
  20   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
  21   <property name="focus_on_map">True</property>
  22   <property name="urgency_hint">False</property>
  23
  24   <child>
  25     <widget class="GtkEventBox" id="BrowserWinEventBox">
  26       <property name="visible">True</property>
  27       <property name="visible_window">True</property>
  28       <property name="above_child">False</property>
  29
  30       <child>
  31         <widget class="GtkVBox" id="BrowserVBox">
  32           <property name="visible">True</property>
  33           <property name="homogeneous">False</property>
  34           <property name="spacing">0</property>
  35
  36           <child>
  37             <widget class="GtkMenuBar" id="menubar2">
  38               <property name="visible">True</property>
  39               <property name="pack_direction">GTK_PACK_DIRECTION_LTR</property>
  40               <property name="child_pack_direction">GTK_PACK_DIRECTION_LTR</property>
  41
  42               <child>
  43                 <widget class="GtkMenuItem" id="BrowserFileMenu">
  44                   <property name="visible">True</property>
  45                   <property name="label" translatable="yes">_File</property>
  46                   <property name="use_underline">True</property>
  47
  48                   <child>
  49                     <widget class="GtkMenu" id="BrowserFileMenu_menu">
  50
  51                       <child>
  52                         <widget class="GtkImageMenuItem" id="BrowserNewMenuItem">
  53                           <property name="visible">True</property>
  54                           <property name="label">gtk-new</property>
  55                           <property name="use_stock">True</property>
  56                         </widget>
  57                       </child>
  58
  59                       <child>
  60                         <widget class="GtkMenuItem" id="BrowserUrlMenuItem">
  61                           <property name="visible">True</property>
  62                           <property name="label" translatable="yes">Open _Location ...</property>
  63                           <property name="use_underline">True</property>
  64                           <accelerator key="L" modifiers="GDK_CONTROL_MASK" signal="activate"/>
  65                         </widget>
  66                       </child>
  67
  68                       <child>
  69                         <widget class="GtkSeparatorMenuItem" id="separatormenuitem1">
  70                           <property name="visible">True</property>
  71                         </widget>
  72                       </child>
  73
  74                       <child>
  75                         <widget class="GtkImageMenuItem" id="BrowserCloseMenuItem">
  76                           <property name="visible">True</property>
  77                           <property name="label">gtk-close</property>
  78                           <property name="use_stock">True</property>
  79                         </widget>
  80                       </child>
  81                     </widget>
  82                   </child>
  83                 </widget>
  84               </child>
  85
  86               <child>
  87                 <widget class="GtkMenuItem" id="BrowserEditMenu">
  88                   <property name="visible">True</property>
  89                   <property name="label" translatable="yes">_Edit</property>
  90                   <property name="use_underline">True</property>
  91
  92                   <child>
  93                     <widget class="GtkMenu" id="BrowserEditMenu_menu">
  94
  95                       <child>
  96                         <widget class="GtkImageMenuItem" id="BrowserCopyMenuItem">
  97                           <property name="visible">True</property>
  98                           <property name="label">gtk-copy</property>
  99                           <property name="use_stock">True</property>
 100                         </widget>
 101                       </child>
 102                     </widget>
 103                   </child>
 104                 </widget>
 105               </child>
 106
 107               <child>
 108                 <widget class="GtkMenuItem" id="BrowserViewMenu">
 109                   <property name="visible">True</property>
 110                   <property name="label" translatable="yes">_View</property>
 111                   <property name="use_underline">True</property>
 112
 113                   <child>
 114                     <widget class="GtkMenu" id="BrowserViewMenu_menu">
 115
 116                       <child>
 117                         <widget class="GtkMenuItem" id="DepGraphMenuItem">
 118                           <property name="visible">True</property>
 119                           <property name="tooltip" translatable="yes">View the graph of objects on which the current one depends on</property>
 120                           <property name="label" translatable="yes">(Direct) Dependencies</property>
 121                           <property name="use_underline">True</property>
 122                         </widget>
 123                       </child>
 124
 125                       <child>
 126                         <widget class="GtkMenuItem" id="InvDepGraphMenuItem">
 127                           <property name="visible">True</property>
 128                           <property name="tooltip" translatable="yes">View the graph of objects which depends on the current one</property>
 129                           <property name="label" translatable="yes">(Inverse) Dependencies</property>
 130                           <property name="use_underline">True</property>
 131                         </widget>
 132                       </child>
 133
 134                       <child>
 135                         <widget class="GtkMenuItem" id="univMenuItem">
 136                           <property name="visible">True</property>
 137                           <property name="label" translatable="yes">Universes</property>
 138                           <property name="use_underline">True</property>
 139                         </widget>
 140                       </child>
 141
 142                       <child>
 143                         <widget class="GtkMenuItem" id="HBugsTutorsMenuItem">
 144                           <property name="visible">True</property>
 145                           <property name="label" translatable="yes">HBugs Tutors</property>
 146                           <property name="use_underline">True</property>
 147                         </widget>
 148                       </child>
 149                     </widget>
 150                   </child>
 151                 </widget>
 152               </child>
 153             </widget>
 154             <packing>
 155               <property name="padding">0</property>
 156               <property name="expand">False</property>
 157               <property name="fill">False</property>
 158             </packing>
 159           </child>
 160
 161           <child>
 162             <widget class="GtkFrame" id="frame2">
 163               <property name="visible">True</property>
 164               <property name="label_xalign">0</property>
 165               <property name="label_yalign">0</property>
 166               <property name="shadow_type">GTK_SHADOW_NONE</property>
 167
 168               <child>
 169                 <widget class="GtkHBox" id="BrowserHBox">
 170                   <property name="visible">True</property>
 171                   <property name="homogeneous">False</property>
 172                   <property name="spacing">0</property>
 173
 174                   <child>
 175                     <widget class="GtkButton" id="BrowserNewButton">
 176                       <property name="visible">True</property>
 177                       <property name="can_focus">True</property>
 178                       <property name="relief">GTK_RELIEF_NONE</property>
 179                       <property name="focus_on_click">True</property>
 180
 181                       <child>
 182                         <widget class="GtkImage" id="image303">
 183                           <property name="visible">True</property>
 184                           <property name="stock">gtk-new</property>
 185                           <property name="icon_size">4</property>
 186                           <property name="xalign">0.5</property>
 187                           <property name="yalign">0.5</property>
 188                           <property name="xpad">0</property>
 189                           <property name="ypad">0</property>
 190                         </widget>
 191                       </child>
 192                     </widget>
 193                     <packing>
 194                       <property name="padding">0</property>
 195                       <property name="expand">False</property>
 196                       <property name="fill">False</property>
 197                     </packing>
 198                   </child>
 199
 200                   <child>
 201                     <widget class="GtkButton" id="BrowserBackButton">
 202                       <property name="visible">True</property>
 203                       <property name="can_focus">True</property>
 204                       <property name="relief">GTK_RELIEF_NONE</property>
 205                       <property name="focus_on_click">True</property>
 206
 207                       <child>
 208                         <widget class="GtkImage" id="image304">
 209                           <property name="visible">True</property>
 210                           <property name="stock">gtk-go-back</property>
 211                           <property name="icon_size">4</property>
 212                           <property name="xalign">0.5</property>
 213                           <property name="yalign">0.5</property>
 214                           <property name="xpad">0</property>
 215                           <property name="ypad">0</property>
 216                         </widget>
 217                       </child>
 218                     </widget>
 219                     <packing>
 220                       <property name="padding">0</property>
 221                       <property name="expand">False</property>
 222                       <property name="fill">False</property>
 223                     </packing>
 224                   </child>
 225
 226                   <child>
 227                     <widget class="GtkButton" id="BrowserForwardButton">
 228                       <property name="visible">True</property>
 229                       <property name="can_focus">True</property>
 230                       <property name="relief">GTK_RELIEF_NONE</property>
 231                       <property name="focus_on_click">True</property>
 232
 233                       <child>
 234                         <widget class="GtkImage" id="image305">
 235                           <property name="visible">True</property>
 236                           <property name="stock">gtk-go-forward</property>
 237                           <property name="icon_size">4</property>
 238                           <property name="xalign">0.5</property>
 239                           <property name="yalign">0.5</property>
 240                           <property name="xpad">0</property>
 241                           <property name="ypad">0</property>
 242                         </widget>
 243                       </child>
 244                     </widget>
 245                     <packing>
 246                       <property name="padding">0</property>
 247                       <property name="expand">False</property>
 248                       <property name="fill">False</property>
 249                     </packing>
 250                   </child>
 251
 252                   <child>
 253                     <widget class="GtkButton" id="BrowserRefreshButton">
 254                       <property name="visible">True</property>
 255                       <property name="tooltip" translatable="yes">refresh</property>
 256                       <property name="can_default">True</property>
 257                       <property name="can_focus">True</property>
 258                       <property name="relief">GTK_RELIEF_NONE</property>
 259                       <property name="focus_on_click">True</property>
 260
 261                       <child>
 262                         <widget class="GtkImage" id="image229">
 263                           <property name="visible">True</property>
 264                           <property name="stock">gtk-refresh</property>
 265                           <property name="icon_size">4</property>
 266                           <property name="xalign">0.5</property>
 267                           <property name="yalign">0.5</property>
 268                           <property name="xpad">0</property>
 269                           <property name="ypad">0</property>
 270                         </widget>
 271                       </child>
 272                     </widget>
 273                     <packing>
 274                       <property name="padding">0</property>
 275                       <property name="expand">False</property>
 276                       <property name="fill">False</property>
 277                     </packing>
 278                   </child>
 279
 280                   <child>
 281                     <widget class="GtkButton" id="BrowserHomeButton">
 282                       <property name="visible">True</property>
 283                       <property name="tooltip" translatable="yes">home</property>
 284                       <property name="can_default">True</property>
 285                       <property name="can_focus">True</property>
 286                       <property name="relief">GTK_RELIEF_NONE</property>
 287                       <property name="focus_on_click">True</property>
 288
 289                       <child>
 290                         <widget class="GtkImage" id="image190">
 291                           <property name="visible">True</property>
 292                           <property name="stock">gtk-home</property>
 293                           <property name="icon_size">4</property>
 294                           <property name="xalign">0.5</property>
 295                           <property name="yalign">0.5</property>
 296                           <property name="xpad">0</property>
 297                           <property name="ypad">0</property>
 298                         </widget>
 299                       </child>
 300                     </widget>
 301                     <packing>
 302                       <property name="padding">0</property>
 303                       <property name="expand">False</property>
 304                       <property name="fill">False</property>
 305                     </packing>
 306                   </child>
 307
 308                   <child>
 309                     <widget class="GtkImage" id="image301">
 310                       <property name="visible">True</property>
 311                       <property name="stock">gtk-jump-to</property>
 312                       <property name="icon_size">2</property>
 313                       <property name="xalign">0.5</property>
 314                       <property name="yalign">0.5</property>
 315                       <property name="xpad">0</property>
 316                       <property name="ypad">0</property>
 317                     </widget>
 318                     <packing>
 319                       <property name="padding">3</property>
 320                       <property name="expand">False</property>
 321                       <property name="fill">False</property>
 322                     </packing>
 323                   </child>
 324
 325                   <child>
 326                     <widget class="GtkHBox" id="UriHBox">
 327                       <property name="visible">True</property>
 328                       <property name="homogeneous">False</property>
 329                       <property name="spacing">0</property>
 330
 331                       <child>
 332                         <placeholder/>
 333                       </child>
 334                     </widget>
 335                     <packing>
 336                       <property name="padding">0</property>
 337                       <property name="expand">True</property>
 338                       <property name="fill">True</property>
 339                     </packing>
 340                   </child>
 341                 </widget>
 342               </child>
 343             </widget>
 344             <packing>
 345               <property name="padding">0</property>
 346               <property name="expand">False</property>
 347               <property name="fill">True</property>
 348             </packing>
 349           </child>
 350
 351           <child>
 352             <widget class="GtkHBox" id="whelpBarBox">
 353               <property name="border_width">3</property>
 354               <property name="visible">True</property>
 355               <property name="homogeneous">False</property>
 356               <property name="spacing">6</property>
 357
 358               <child>
 359                 <widget class="GtkImage" id="WhelpBarImage">
 360                   <property name="visible">True</property>
 361                   <property name="stock">gtk-missing-image</property>
 362                   <property name="icon_size">4</property>
 363                   <property name="xalign">0.5</property>
 364                   <property name="yalign">0.5</property>
 365                   <property name="xpad">0</property>
 366                   <property name="ypad">0</property>
 367                 </widget>
 368                 <packing>
 369                   <property name="padding">0</property>
 370                   <property name="expand">False</property>
 371                   <property name="fill">True</property>
 372                 </packing>
 373               </child>
 374
 375               <child>
 376                 <widget class="GtkEntry" id="queryInputText">
 377                   <property name="visible">True</property>
 378                   <property name="can_focus">True</property>
 379                   <property name="editable">True</property>
 380                   <property name="visibility">True</property>
 381                   <property name="max_length">0</property>
 382                   <property name="text" translatable="yes"></property>
 383                   <property name="has_frame">True</property>
 384                   <property name="invisible_char">*</property>
 385                   <property name="activates_default">False</property>
 386                 </widget>
 387                 <packing>
 388                   <property name="padding">0</property>
 389                   <property name="expand">True</property>
 390                   <property name="fill">True</property>
 391                 </packing>
 392               </child>
 393
 394               <child>
 395                 <widget class="GtkVBox" id="whelpBarComboVbox">
 396                   <property name="visible">True</property>
 397                   <property name="homogeneous">False</property>
 398                   <property name="spacing">0</property>
 399
 400                   <child>
 401                     <widget class="GtkAlignment" id="alignment4">
 402                       <property name="visible">True</property>
 403                       <property name="xalign">0.5</property>
 404                       <property name="yalign">0.5</property>
 405                       <property name="xscale">1</property>
 406                       <property name="yscale">1</property>
 407                       <property name="top_padding">0</property>
 408                       <property name="bottom_padding">0</property>
 409                       <property name="left_padding">0</property>
 410                       <property name="right_padding">0</property>
 411
 412                       <child>
 413                         <placeholder/>
 414                       </child>
 415                     </widget>
 416                     <packing>
 417                       <property name="padding">0</property>
 418                       <property name="expand">False</property>
 419                       <property name="fill">False</property>
 420                     </packing>
 421                   </child>
 422                 </widget>
 423                 <packing>
 424                   <property name="padding">0</property>
 425                   <property name="expand">False</property>
 426                   <property name="fill">True</property>
 427                 </packing>
 428               </child>
 429             </widget>
 430             <packing>
 431               <property name="padding">0</property>
 432               <property name="expand">False</property>
 433               <property name="fill">True</property>
 434             </packing>
 435           </child>
 436
 437           <child>
 438             <widget class="GtkNotebook" id="mathOrListNotebook">
 439               <property name="visible">True</property>
 440               <property name="can_focus">True</property>
 441               <property name="show_tabs">True</property>
 442               <property name="show_border">True</property>
 443               <property name="tab_pos">GTK_POS_TOP</property>
 444               <property name="scrollable">False</property>
 445               <property name="enable_popup">False</property>
 446
 447               <child>
 448                 <widget class="GtkScrolledWindow" id="ScrolledBrowser">
 449                   <property name="visible">True</property>
 450                   <property name="can_focus">True</property>
 451                   <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
 452                   <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
 453                   <property name="shadow_type">GTK_SHADOW_NONE</property>
 454                   <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
 455
 456                   <child>
 457                     <placeholder/>
 458                   </child>
 459                 </widget>
 460                 <packing>
 461                   <property name="tab_expand">False</property>
 462                   <property name="tab_fill">True</property>
 463                 </packing>
 464               </child>
 465
 466               <child>
 467                 <widget class="GtkLabel" id="mathLabel">
 468                   <property name="visible">True</property>
 469                   <property name="label" translatable="yes">MathView</property>
 470                   <property name="use_underline">False</property>
 471                   <property name="use_markup">False</property>
 472                   <property name="justify">GTK_JUSTIFY_LEFT</property>
 473                   <property name="wrap">False</property>
 474                   <property name="selectable">False</property>
 475                   <property name="xalign">0.5</property>
 476                   <property name="yalign">0.5</property>
 477                   <property name="xpad">0</property>
 478                   <property name="ypad">0</property>
 479                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 480                   <property name="width_chars">-1</property>
 481                   <property name="single_line_mode">False</property>
 482                   <property name="angle">0</property>
 483                 </widget>
 484                 <packing>
 485                   <property name="type">tab</property>
 486                 </packing>
 487               </child>
 488
 489               <child>
 490                 <widget class="GtkScrolledWindow" id="scrolledwindow9">
 491                   <property name="visible">True</property>
 492                   <property name="can_focus">True</property>
 493                   <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
 494                   <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
 495                   <property name="shadow_type">GTK_SHADOW_IN</property>
 496                   <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
 497
 498                   <child>
 499                     <widget class="GtkTreeView" id="whelpResultTreeview">
 500                       <property name="visible">True</property>
 501                       <property name="can_focus">True</property>
 502                       <property name="headers_visible">False</property>
 503                       <property name="rules_hint">False</property>
 504                       <property name="reorderable">False</property>
 505                       <property name="enable_search">True</property>
 506                       <property name="fixed_height_mode">False</property>
 507                       <property name="hover_selection">False</property>
 508                       <property name="hover_expand">False</property>
 509                     </widget>
 510                   </child>
 511                 </widget>
 512                 <packing>
 513                   <property name="tab_expand">False</property>
 514                   <property name="tab_fill">True</property>
 515                 </packing>
 516               </child>
 517
 518               <child>
 519                 <widget class="GtkLabel" id="listLabel">
 520                   <property name="visible">True</property>
 521                   <property name="label" translatable="yes">WhelpResults</property>
 522                   <property name="use_underline">False</property>
 523                   <property name="use_markup">False</property>
 524                   <property name="justify">GTK_JUSTIFY_LEFT</property>
 525                   <property name="wrap">False</property>
 526                   <property name="selectable">False</property>
 527                   <property name="xalign">0.5</property>
 528                   <property name="yalign">0.5</property>
 529                   <property name="xpad">0</property>
 530                   <property name="ypad">0</property>
 531                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 532                   <property name="width_chars">-1</property>
 533                   <property name="single_line_mode">False</property>
 534                   <property name="angle">0</property>
 535                 </widget>
 536                 <packing>
 537                   <property name="type">tab</property>
 538                 </packing>
 539               </child>
 540
 541               <child>
 542                 <widget class="GtkScrolledWindow" id="scrolledwindow11">
 543                   <property name="visible">True</property>
 544                   <property name="can_focus">True</property>
 545                   <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
 546                   <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
 547                   <property name="shadow_type">GTK_SHADOW_NONE</property>
 548                   <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
 549
 550                   <child>
 551                     <widget class="GtkViewport" id="viewport2">
 552                       <property name="visible">True</property>
 553                       <property name="shadow_type">GTK_SHADOW_NONE</property>
 554
 555                       <child>
 556                         <widget class="GtkImage" id="BrowserImage">
 557                           <property name="visible">True</property>
 558                           <property name="stock">gtk-missing-image</property>
 559                           <property name="icon_size">4</property>
 560                           <property name="xalign">0.5</property>
 561                           <property name="yalign">0.5</property>
 562                           <property name="xpad">0</property>
 563                           <property name="ypad">0</property>
 564                         </widget>
 565                       </child>
 566                     </widget>
 567                   </child>
 568                 </widget>
 569                 <packing>
 570                   <property name="tab_expand">False</property>
 571                   <property name="tab_fill">True</property>
 572                 </packing>
 573               </child>
 574
 575               <child>
 576                 <widget class="GtkLabel" id="EasterEggLabel">
 577                   <property name="visible">True</property>
 578                   <property name="label" translatable="yes">WhelpEasterEgg</property>
 579                   <property name="use_underline">False</property>
 580                   <property name="use_markup">False</property>
 581                   <property name="justify">GTK_JUSTIFY_LEFT</property>
 582                   <property name="wrap">False</property>
 583                   <property name="selectable">False</property>
 584                   <property name="xalign">0.5</property>
 585                   <property name="yalign">0.5</property>
 586                   <property name="xpad">0</property>
 587                   <property name="ypad">0</property>
 588                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 589                   <property name="width_chars">-1</property>
 590                   <property name="single_line_mode">False</property>
 591                   <property name="angle">0</property>
 592                 </widget>
 593                 <packing>
 594                   <property name="type">tab</property>
 595                 </packing>
 596               </child>
 597
 598               <child>
 599                 <widget class="GtkScrolledWindow" id="GraphScrolledWin">
 600                   <property name="visible">True</property>
 601                   <property name="can_focus">True</property>
 602                   <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
 603                   <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
 604                   <property name="shadow_type">GTK_SHADOW_NONE</property>
 605                   <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
 606
 607                   <child>
 608                     <placeholder/>
 609                   </child>
 610                 </widget>
 611                 <packing>
 612                   <property name="tab_expand">False</property>
 613                   <property name="tab_fill">True</property>
 614                 </packing>
 615               </child>
 616
 617               <child>
 618                 <widget class="GtkLabel" id="label26">
 619                   <property name="visible">True</property>
 620                   <property name="label" translatable="yes">Graph</property>
 621                   <property name="use_underline">False</property>
 622                   <property name="use_markup">False</property>
 623                   <property name="justify">GTK_JUSTIFY_LEFT</property>
 624                   <property name="wrap">False</property>
 625                   <property name="selectable">False</property>
 626                   <property name="xalign">0.5</property>
 627                   <property name="yalign">0.5</property>
 628                   <property name="xpad">0</property>
 629                   <property name="ypad">0</property>
 630                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 631                   <property name="width_chars">-1</property>
 632                   <property name="single_line_mode">False</property>
 633                   <property name="angle">0</property>
 634                 </widget>
 635                 <packing>
 636                   <property name="type">tab</property>
 637                 </packing>
 638               </child>
 639
 640               <child>
 641                 <widget class="GtkVBox" id="vbox16">
 642                   <property name="visible">True</property>
 643                   <property name="homogeneous">False</property>
 644                   <property name="spacing">0</property>
 645
 646                   <child>
 647                     <widget class="GtkScrolledWindow" id="scrolledwindow13">
 648                       <property name="visible">True</property>
 649                       <property name="can_focus">True</property>
 650                       <property name="hscrollbar_policy">GTK_POLICY_ALWAYS</property>
 651                       <property name="vscrollbar_policy">GTK_POLICY_ALWAYS</property>
 652                       <property name="shadow_type">GTK_SHADOW_NONE</property>
 653                       <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
 654
 655                       <child>
 656                         <widget class="GtkTreeView" id="HBugsTutorsList">
 657                           <property name="visible">True</property>
 658                           <property name="can_focus">True</property>
 659                           <property name="headers_visible">True</property>
 660                           <property name="rules_hint">False</property>
 661                           <property name="reorderable">False</property>
 662                           <property name="enable_search">True</property>
 663                           <property name="fixed_height_mode">False</property>
 664                           <property name="hover_selection">False</property>
 665                           <property name="hover_expand">False</property>
 666                         </widget>
 667                       </child>
 668                     </widget>
 669                     <packing>
 670                       <property name="padding">0</property>
 671                       <property name="expand">True</property>
 672                       <property name="fill">True</property>
 673                     </packing>
 674                   </child>
 675
 676                   <child>
 677                     <widget class="GtkToolbar" id="toolbar3">
 678                       <property name="visible">True</property>
 679                       <property name="orientation">GTK_ORIENTATION_HORIZONTAL</property>
 680                       <property name="toolbar_style">GTK_TOOLBAR_BOTH</property>
 681                       <property name="tooltips">True</property>
 682                       <property name="show_arrow">True</property>
 683
 684                       <child>
 685                         <widget class="GtkToolItem" id="toolitem47">
 686                           <property name="visible">True</property>
 687                           <property name="visible_horizontal">True</property>
 688                           <property name="visible_vertical">True</property>
 689                           <property name="is_important">False</property>
 690
 691                           <child>
 692                             <widget class="GtkButton" id="HBugsRefreshButton">
 693                               <property name="visible">True</property>
 694                               <property name="can_focus">True</property>
 695                               <property name="label">gtk-refresh</property>
 696                               <property name="use_stock">True</property>
 697                               <property name="relief">GTK_RELIEF_NORMAL</property>
 698                               <property name="focus_on_click">True</property>
 699                             </widget>
 700                           </child>
 701                         </widget>
 702                         <packing>
 703                           <property name="expand">False</property>
 704                           <property name="homogeneous">False</property>
 705                         </packing>
 706                       </child>
 707
 708                       <child>
 709                         <widget class="GtkToolItem" id="toolitem48">
 710                           <property name="visible">True</property>
 711                           <property name="visible_horizontal">True</property>
 712                           <property name="visible_vertical">True</property>
 713                           <property name="is_important">False</property>
 714
 715                           <child>
 716                             <widget class="GtkButton" id="HBugsUnsubscribeButton">
 717                               <property name="visible">True</property>
 718                               <property name="can_focus">True</property>
 719                               <property name="label">gtk-remove</property>
 720                               <property name="use_stock">True</property>
 721                               <property name="relief">GTK_RELIEF_NORMAL</property>
 722                               <property name="focus_on_click">True</property>
 723                             </widget>
 724                           </child>
 725                         </widget>
 726                         <packing>
 727                           <property name="expand">False</property>
 728                           <property name="homogeneous">False</property>
 729                         </packing>
 730                       </child>
 731
 732                       <child>
 733                         <widget class="GtkToolItem" id="toolitem49">
 734                           <property name="visible">True</property>
 735                           <property name="visible_horizontal">True</property>
 736                           <property name="visible_vertical">True</property>
 737                           <property name="is_important">False</property>
 738
 739                           <child>
 740                             <widget class="GtkButton" id="HBugsSubscribeButton">
 741                               <property name="visible">True</property>
 742                               <property name="can_focus">True</property>
 743                               <property name="label">gtk-add</property>
 744                               <property name="use_stock">True</property>
 745                               <property name="relief">GTK_RELIEF_NORMAL</property>
 746                               <property name="focus_on_click">True</property>
 747                             </widget>
 748                           </child>
 749                         </widget>
 750                         <packing>
 751                           <property name="expand">False</property>
 752                           <property name="homogeneous">False</property>
 753                         </packing>
 754                       </child>
 755                     </widget>
 756                     <packing>
 757                       <property name="padding">0</property>
 758                       <property name="expand">False</property>
 759                       <property name="fill">False</property>
 760                     </packing>
 761                   </child>
 762                 </widget>
 763                 <packing>
 764                   <property name="tab_expand">False</property>
 765                   <property name="tab_fill">True</property>
 766                 </packing>
 767               </child>
 768
 769               <child>
 770                 <widget class="GtkLabel" id="label29">
 771                   <property name="visible">True</property>
 772                   <property name="label" translatable="yes">HBugs</property>
 773                   <property name="use_underline">False</property>
 774                   <property name="use_markup">False</property>
 775                   <property name="justify">GTK_JUSTIFY_LEFT</property>
 776                   <property name="wrap">False</property>
 777                   <property name="selectable">False</property>
 778                   <property name="xalign">0.5</property>
 779                   <property name="yalign">0.5</property>
 780                   <property name="xpad">0</property>
 781                   <property name="ypad">0</property>
 782                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 783                   <property name="width_chars">-1</property>
 784                   <property name="single_line_mode">False</property>
 785                   <property name="angle">0</property>
 786                 </widget>
 787                 <packing>
 788                   <property name="type">tab</property>
 789                 </packing>
 790               </child>
 791
 792               <child>
 793                 <widget class="GtkScrolledWindow" id="scrolledwindow15">
 794                   <property name="visible">True</property>
 795                   <property name="can_focus">True</property>
 796                   <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
 797                   <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
 798                   <property name="shadow_type">GTK_SHADOW_NONE</property>
 799                   <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
 800
 801                   <child>
 802                     <widget class="GtkTreeView" id="universesTreeview">
 803                       <property name="visible">True</property>
 804                       <property name="can_focus">True</property>
 805                       <property name="headers_visible">True</property>
 806                       <property name="rules_hint">False</property>
 807                       <property name="reorderable">False</property>
 808                       <property name="enable_search">True</property>
 809                       <property name="fixed_height_mode">False</property>
 810                       <property name="hover_selection">False</property>
 811                       <property name="hover_expand">False</property>
 812                     </widget>
 813                   </child>
 814                 </widget>
 815                 <packing>
 816                   <property name="tab_expand">False</property>
 817                   <property name="tab_fill">True</property>
 818                 </packing>
 819               </child>
 820
 821               <child>
 822                 <widget class="GtkLabel" id="universes">
 823                   <property name="visible">True</property>
 824                   <property name="label" translatable="yes">Universes</property>
 825                   <property name="use_underline">False</property>
 826                   <property name="use_markup">False</property>
 827                   <property name="justify">GTK_JUSTIFY_LEFT</property>
 828                   <property name="wrap">False</property>
 829                   <property name="selectable">False</property>
 830                   <property name="xalign">0.5</property>
 831                   <property name="yalign">0.5</property>
 832                   <property name="xpad">0</property>
 833                   <property name="ypad">0</property>
 834                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 835                   <property name="width_chars">-1</property>
 836                   <property name="single_line_mode">False</property>
 837                   <property name="angle">0</property>
 838                 </widget>
 839                 <packing>
 840                   <property name="type">tab</property>
 841                 </packing>
 842               </child>
 843             </widget>
 844             <packing>
 845               <property name="padding">0</property>
 846               <property name="expand">True</property>
 847               <property name="fill">True</property>
 848             </packing>
 849           </child>
 850         </widget>
 851       </child>
 852     </widget>
 853   </child>
 854 </widget>
 855
 856 <widget class="GtkDialog" id="ConfirmationDialog">
 857   <property name="title" translatable="yes">DUMMY</property>
 858   <property name="type">GTK_WINDOW_TOPLEVEL</property>
 859   <property name="window_position">GTK_WIN_POS_CENTER</property>
 860   <property name="modal">True</property>
 861   <property name="resizable">False</property>
 862   <property name="destroy_with_parent">False</property>
 863   <property name="decorated">True</property>
 864   <property name="skip_taskbar_hint">False</property>
 865   <property name="skip_pager_hint">False</property>
 866   <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
 867   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
 868   <property name="focus_on_map">True</property>
 869   <property name="urgency_hint">False</property>
 870   <property name="has_separator">True</property>
 871
 872   <child internal-child="vbox">
 873     <widget class="GtkVBox" id="dialog-vbox1">
 874       <property name="visible">True</property>
 875       <property name="homogeneous">False</property>
 876       <property name="spacing">0</property>
 877
 878       <child internal-child="action_area">
 879         <widget class="GtkHButtonBox" id="dialog-action_area1">
 880           <property name="visible">True</property>
 881           <property name="layout_style">GTK_BUTTONBOX_END</property>
 882
 883           <child>
 884             <widget class="GtkButton" id="ConfirmationDialogCancelButton">
 885               <property name="visible">True</property>
 886               <property name="can_default">True</property>
 887               <property name="can_focus">True</property>
 888               <property name="label">gtk-cancel</property>
 889               <property name="use_stock">True</property>
 890               <property name="relief">GTK_RELIEF_NORMAL</property>
 891               <property name="focus_on_click">True</property>
 892               <property name="response_id">-6</property>
 893             </widget>
 894           </child>
 895
 896           <child>
 897             <widget class="GtkButton" id="ConfirmationDialogOkButton">
 898               <property name="visible">True</property>
 899               <property name="can_default">True</property>
 900               <property name="can_focus">True</property>
 901               <property name="label">gtk-ok</property>
 902               <property name="use_stock">True</property>
 903               <property name="relief">GTK_RELIEF_NORMAL</property>
 904               <property name="focus_on_click">True</property>
 905               <property name="response_id">-5</property>
 906             </widget>
 907           </child>
 908         </widget>
 909         <packing>
 910           <property name="padding">0</property>
 911           <property name="expand">False</property>
 912           <property name="fill">True</property>
 913           <property name="pack_type">GTK_PACK_END</property>
 914         </packing>
 915       </child>
 916
 917       <child>
 918         <widget class="GtkLabel" id="ConfirmationDialogLabel">
 919           <property name="visible">True</property>
 920           <property name="label" translatable="yes">DUMMY</property>
 921           <property name="use_underline">False</property>
 922           <property name="use_markup">False</property>
 923           <property name="justify">GTK_JUSTIFY_CENTER</property>
 924           <property name="wrap">False</property>
 925           <property name="selectable">False</property>
 926           <property name="xalign">0.5</property>
 927           <property name="yalign">0.5</property>
 928           <property name="xpad">0</property>
 929           <property name="ypad">0</property>
 930           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 931           <property name="width_chars">-1</property>
 932           <property name="single_line_mode">False</property>
 933           <property name="angle">0</property>
 934         </widget>
 935         <packing>
 936           <property name="padding">0</property>
 937           <property name="expand">False</property>
 938           <property name="fill">False</property>
 939         </packing>
 940       </child>
 941     </widget>
 942   </child>
 943 </widget>
 944
 945 <widget class="GtkDialog" id="EmptyDialog">
 946   <property name="visible">True</property>
 947   <property name="title" translatable="yes">DUMMY</property>
 948   <property name="type">GTK_WINDOW_TOPLEVEL</property>
 949   <property name="window_position">GTK_WIN_POS_NONE</property>
 950   <property name="modal">False</property>
 951   <property name="resizable">True</property>
 952   <property name="destroy_with_parent">False</property>
 953   <property name="decorated">True</property>
 954   <property name="skip_taskbar_hint">False</property>
 955   <property name="skip_pager_hint">False</property>
 956   <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
 957   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
 958   <property name="focus_on_map">True</property>
 959   <property name="urgency_hint">False</property>
 960   <property name="has_separator">True</property>
 961
 962   <child internal-child="vbox">
 963     <widget class="GtkVBox" id="EmptyDialogVBox">
 964       <property name="visible">True</property>
 965       <property name="homogeneous">False</property>
 966       <property name="spacing">0</property>
 967
 968       <child internal-child="action_area">
 969         <widget class="GtkHButtonBox" id="dialog-action_area5">
 970           <property name="visible">True</property>
 971           <property name="layout_style">GTK_BUTTONBOX_END</property>
 972
 973           <child>
 974             <widget class="GtkButton" id="EmptyDialogCancelButton">
 975               <property name="visible">True</property>
 976               <property name="can_default">True</property>
 977               <property name="can_focus">True</property>
 978               <property name="label">gtk-cancel</property>
 979               <property name="use_stock">True</property>
 980               <property name="relief">GTK_RELIEF_NORMAL</property>
 981               <property name="focus_on_click">True</property>
 982               <property name="response_id">-6</property>
 983             </widget>
 984           </child>
 985
 986           <child>
 987             <widget class="GtkButton" id="EmptyDialogOkButton">
 988               <property name="visible">True</property>
 989               <property name="can_default">True</property>
 990               <property name="can_focus">True</property>
 991               <property name="label">gtk-ok</property>
 992               <property name="use_stock">True</property>
 993               <property name="relief">GTK_RELIEF_NORMAL</property>
 994               <property name="focus_on_click">True</property>
 995               <property name="response_id">-5</property>
 996             </widget>
 997           </child>
 998         </widget>
 999         <packing>
1000           <property name="padding">0</property>
1001           <property name="expand">False</property>
1002           <property name="fill">True</property>
1003           <property name="pack_type">GTK_PACK_END</property>
1004         </packing>
1005       </child>
1006
1007       <child>
1008         <widget class="GtkLabel" id="EmptyDialogLabel">
1009           <property name="visible">True</property>
1010           <property name="label" translatable="yes">DUMMY</property>
1011           <property name="use_underline">False</property>
1012           <property name="use_markup">False</property>
1013           <property name="justify">GTK_JUSTIFY_LEFT</property>
1014           <property name="wrap">False</property>
1015           <property name="selectable">False</property>
1016           <property name="xalign">0.5</property>
1017           <property name="yalign">0.5</property>
1018           <property name="xpad">0</property>
1019           <property name="ypad">0</property>
1020           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1021           <property name="width_chars">-1</property>
1022           <property name="single_line_mode">False</property>
1023           <property name="angle">0</property>
1024         </widget>
1025         <packing>
1026           <property name="padding">0</property>
1027           <property name="expand">False</property>
1028           <property name="fill">False</property>
1029         </packing>
1030       </child>
1031
1032       <child>
1033         <placeholder/>
1034       </child>
1035     </widget>
1036   </child>
1037 </widget>
1038
1039 <widget class="GtkFileSelection" id="FileSelectionWin">
1040   <property name="border_width">10</property>
1041   <property name="title" translatable="yes">Select File</property>
1042   <property name="type">GTK_WINDOW_TOPLEVEL</property>
1043   <property name="window_position">GTK_WIN_POS_CENTER</property>
1044   <property name="modal">True</property>
1045   <property name="resizable">True</property>
1046   <property name="destroy_with_parent">False</property>
1047   <property name="decorated">True</property>
1048   <property name="skip_taskbar_hint">False</property>
1049   <property name="skip_pager_hint">False</property>
1050   <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
1051   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
1052   <property name="focus_on_map">True</property>
1053   <property name="urgency_hint">False</property>
1054   <property name="show_fileops">True</property>
1055
1056   <child internal-child="cancel_button">
1057     <widget class="GtkButton" id="fileSelCancelButton">
1058       <property name="visible">True</property>
1059       <property name="can_default">True</property>
1060       <property name="can_focus">True</property>
1061       <property name="relief">GTK_RELIEF_NORMAL</property>
1062       <property name="focus_on_click">True</property>
1063     </widget>
1064   </child>
1065
1066   <child internal-child="ok_button">
1067     <widget class="GtkButton" id="fileSelOkButton">
1068       <property name="visible">True</property>
1069       <property name="can_default">True</property>
1070       <property name="can_focus">True</property>
1071       <property name="relief">GTK_RELIEF_NORMAL</property>
1072       <property name="focus_on_click">True</property>
1073     </widget>
1074   </child>
1075 </widget>
1076
1077 <widget class="GtkWindow" id="MainWin">
1078   <property name="title" translatable="yes">Matita</property>
1079   <property name="type">GTK_WINDOW_TOPLEVEL</property>
1080   <property name="window_position">GTK_WIN_POS_NONE</property>
1081   <property name="modal">False</property>
1082   <property name="resizable">True</property>
1083   <property name="destroy_with_parent">False</property>
1084   <property name="decorated">True</property>
1085   <property name="skip_taskbar_hint">False</property>
1086   <property name="skip_pager_hint">False</property>
1087   <property name="type_hint">GDK_WINDOW_TYPE_HINT_NORMAL</property>
1088   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
1089   <property name="focus_on_map">True</property>
1090   <property name="urgency_hint">False</property>
1091
1092   <child>
1093     <widget class="GtkEventBox" id="MainWinEventBox">
1094       <property name="visible">True</property>
1095       <property name="visible_window">True</property>
1096       <property name="above_child">False</property>
1097
1098       <child>
1099         <widget class="GtkVBox" id="vbox8">
1100           <property name="visible">True</property>
1101           <property name="homogeneous">False</property>
1102           <property name="spacing">0</property>
1103
1104           <child>
1105             <widget class="GtkHandleBox" id="menuBarHandleBox">
1106               <property name="visible">True</property>
1107               <property name="shadow_type">GTK_SHADOW_OUT</property>
1108               <property name="handle_position">GTK_POS_LEFT</property>
1109               <property name="snap_edge">GTK_POS_TOP</property>
1110
1111               <child>
1112                 <widget class="GtkMenuBar" id="menubar1">
1113                   <property name="visible">True</property>
1114                   <property name="pack_direction">GTK_PACK_DIRECTION_LTR</property>
1115                   <property name="child_pack_direction">GTK_PACK_DIRECTION_LTR</property>
1116
1117                   <child>
1118                     <widget class="GtkMenuItem" id="fileMenu">
1119                       <property name="visible">True</property>
1120                       <property name="label" translatable="yes">_File</property>
1121                       <property name="use_underline">True</property>
1122
1123                       <child>
1124                         <widget class="GtkMenu" id="fileMenu_menu">
1125
1126                           <child>
1127                             <widget class="GtkImageMenuItem" id="newMenuItem">
1128                               <property name="visible">True</property>
1129                               <property name="label" translatable="yes">_New</property>
1130                               <property name="use_underline">True</property>
1131                               <accelerator key="n" modifiers="GDK_CONTROL_MASK" signal="activate"/>
1132
1133                               <child internal-child="image">
1134                                 <widget class="GtkImage" id="image1047">
1135                                   <property name="visible">True</property>
1136                                   <property name="stock">gtk-new</property>
1137                                   <property name="icon_size">1</property>
1138                                   <property name="xalign">0.5</property>
1139                                   <property name="yalign">0.5</property>
1140                                   <property name="xpad">0</property>
1141                                   <property name="ypad">0</property>
1142                                 </widget>
1143                               </child>
1144                             </widget>
1145                           </child>
1146
1147                           <child>
1148                             <widget class="GtkImageMenuItem" id="openMenuItem">
1149                               <property name="visible">True</property>
1150                               <property name="label" translatable="yes">_Open...</property>
1151                               <property name="use_underline">True</property>
1152                               <accelerator key="o" modifiers="GDK_CONTROL_MASK" signal="activate"/>
1153
1154                               <child internal-child="image">
1155                                 <widget class="GtkImage" id="image1048">
1156                                   <property name="visible">True</property>
1157                                   <property name="stock">gtk-open</property>
1158                                   <property name="icon_size">1</property>
1159                                   <property name="xalign">0.5</property>
1160                                   <property name="yalign">0.5</property>
1161                                   <property name="xpad">0</property>
1162                                   <property name="ypad">0</property>
1163                                 </widget>
1164                               </child>
1165                             </widget>
1166                           </child>
1167
1168                           <child>
1169                             <widget class="GtkImageMenuItem" id="saveMenuItem">
1170                               <property name="visible">True</property>
1171                               <property name="label" translatable="yes">_Save</property>
1172                               <property name="use_underline">True</property>
1173                               <accelerator key="s" modifiers="GDK_CONTROL_MASK" signal="activate"/>
1174
1175                               <child internal-child="image">
1176                                 <widget class="GtkImage" id="image1049">
1177                                   <property name="visible">True</property>
1178                                   <property name="stock">gtk-save</property>
1179                                   <property name="icon_size">1</property>
1180                                   <property name="xalign">0.5</property>
1181                                   <property name="yalign">0.5</property>
1182                                   <property name="xpad">0</property>
1183                                   <property name="ypad">0</property>
1184                                 </widget>
1185                               </child>
1186                             </widget>
1187                           </child>
1188
1189                           <child>
1190                             <widget class="GtkImageMenuItem" id="saveAsMenuItem">
1191                               <property name="visible">True</property>
1192                               <property name="label" translatable="yes">Save _as ...</property>
1193                               <property name="use_underline">True</property>
1194                               <accelerator key="s" modifiers="GDK_CONTROL_MASK | GDK_SHIFT_MASK" signal="activate"/>
1195
1196                               <child internal-child="image">
1197                                 <widget class="GtkImage" id="image1050">
1198                                   <property name="visible">True</property>
1199                                   <property name="stock">gtk-save-as</property>
1200                                   <property name="icon_size">1</property>
1201                                   <property name="xalign">0.5</property>
1202                                   <property name="yalign">0.5</property>
1203                                   <property name="xpad">0</property>
1204                                   <property name="ypad">0</property>
1205                                 </widget>
1206                               </child>
1207                             </widget>
1208                           </child>
1209
1210                           <child>
1211                             <widget class="GtkSeparatorMenuItem" id="separator2">
1212                               <property name="visible">True</property>
1213                             </widget>
1214                           </child>
1215
1216                           <child>
1217                             <widget class="GtkImageMenuItem" id="quitMenuItem">
1218                               <property name="visible">True</property>
1219                               <property name="label" translatable="yes">_Quit</property>
1220                               <property name="use_underline">True</property>
1221                               <accelerator key="q" modifiers="GDK_CONTROL_MASK" signal="activate"/>
1222
1223                               <child internal-child="image">
1224                                 <widget class="GtkImage" id="image1052">
1225                                   <property name="visible">True</property>
1226                                   <property name="stock">gtk-quit</property>
1227                                   <property name="icon_size">1</property>
1228                                   <property name="xalign">0.5</property>
1229                                   <property name="yalign">0.5</property>
1230                                   <property name="xpad">0</property>
1231                                   <property name="ypad">0</property>
1232                                 </widget>
1233                               </child>
1234                             </widget>
1235                           </child>
1236                         </widget>
1237                       </child>
1238                     </widget>
1239                   </child>
1240
1241                   <child>
1242                     <widget class="GtkMenuItem" id="editMenu">
1243                       <property name="visible">True</property>
1244                       <property name="label" translatable="yes">_Edit</property>
1245                       <property name="use_underline">True</property>
1246
1247                       <child>
1248                         <widget class="GtkMenu" id="editMenu_menu">
1249
1250                           <child>
1251                             <widget class="GtkImageMenuItem" id="undoMenuItem">
1252                               <property name="visible">True</property>
1253                               <property name="sensitive">False</property>
1254                               <property name="label" translatable="yes">_Undo</property>
1255                               <property name="use_underline">True</property>
1256                               <accelerator key="z" modifiers="GDK_CONTROL_MASK" signal="activate"/>
1257
1258                               <child internal-child="image">
1259                                 <widget class="GtkImage" id="image1053">
1260                                   <property name="visible">True</property>
1261                                   <property name="stock">gtk-undo</property>
1262                                   <property name="icon_size">1</property>
1263                                   <property name="xalign">0.5</property>
1264                                   <property name="yalign">0.5</property>
1265                                   <property name="xpad">0</property>
1266                                   <property name="ypad">0</property>
1267                                 </widget>
1268                               </child>
1269                             </widget>
1270                           </child>
1271
1272                           <child>
1273                             <widget class="GtkImageMenuItem" id="redoMenuItem">
1274                               <property name="visible">True</property>
1275                               <property name="sensitive">False</property>
1276                               <property name="label" translatable="yes">_Redo</property>
1277                               <property name="use_underline">True</property>
1278                               <accelerator key="z" modifiers="GDK_CONTROL_MASK | GDK_SHIFT_MASK" signal="activate"/>
1279
1280                               <child internal-child="image">
1281                                 <widget class="GtkImage" id="image1054">
1282                                   <property name="visible">True</property>
1283                                   <property name="stock">gtk-redo</property>
1284                                   <property name="icon_size">1</property>
1285                                   <property name="xalign">0.5</property>
1286                                   <property name="yalign">0.5</property>
1287                                   <property name="xpad">0</property>
1288                                   <property name="ypad">0</property>
1289                                 </widget>
1290                               </child>
1291                             </widget>
1292                           </child>
1293
1294                           <child>
1295                             <widget class="GtkSeparatorMenuItem" id="separator3">
1296                               <property name="visible">True</property>
1297                             </widget>
1298                           </child>
1299
1300                           <child>
1301                             <widget class="GtkImageMenuItem" id="cutMenuItem">
1302                               <property name="visible">True</property>
1303                               <property name="label" translatable="yes">Cu_t</property>
1304                               <property name="use_underline">True</property>
1305                               <accelerator key="x" modifiers="GDK_CONTROL_MASK" signal="activate"/>
1306
1307                               <child internal-child="image">
1308                                 <widget class="GtkImage" id="image1055">
1309                                   <property name="visible">True</property>
1310                                   <property name="stock">gtk-cut</property>
1311                                   <property name="icon_size">1</property>
1312                                   <property name="xalign">0.5</property>
1313                                   <property name="yalign">0.5</property>
1314                                   <property name="xpad">0</property>
1315                                   <property name="ypad">0</property>
1316                                 </widget>
1317                               </child>
1318                             </widget>
1319                           </child>
1320
1321                           <child>
1322                             <widget class="GtkImageMenuItem" id="copyMenuItem">
1323                               <property name="visible">True</property>
1324                               <property name="label" translatable="yes">_Copy</property>
1325                               <property name="use_underline">True</property>
1326                               <accelerator key="c" modifiers="GDK_CONTROL_MASK" signal="activate"/>
1327
1328                               <child internal-child="image">
1329                                 <widget class="GtkImage" id="image1056">
1330                                   <property name="visible">True</property>
1331                                   <property name="stock">gtk-copy</property>
1332                                   <property name="icon_size">1</property>
1333                                   <property name="xalign">0.5</property>
1334                                   <property name="yalign">0.5</property>
1335                                   <property name="xpad">0</property>
1336                                   <property name="ypad">0</property>
1337                                 </widget>
1338                               </child>
1339                             </widget>
1340                           </child>
1341
1342                           <child>
1343                             <widget class="GtkImageMenuItem" id="pasteMenuItem">
1344                               <property name="visible">True</property>
1345                               <property name="label" translatable="yes">_Paste</property>
1346                               <property name="use_underline">True</property>
1347                               <accelerator key="v" modifiers="GDK_CONTROL_MASK" signal="activate"/>
1348
1349                               <child internal-child="image">
1350                                 <widget class="GtkImage" id="image1057">
1351                                   <property name="visible">True</property>
1352                                   <property name="stock">gtk-paste</property>
1353                                   <property name="icon_size">1</property>
1354                                   <property name="xalign">0.5</property>
1355                                   <property name="yalign">0.5</property>
1356                                   <property name="xpad">0</property>
1357                                   <property name="ypad">0</property>
1358                                 </widget>
1359                               </child>
1360                             </widget>
1361                           </child>
1362
1363                           <child>
1364                             <widget class="GtkMenuItem" id="pastePatternMenuItem">
1365                               <property name="visible">True</property>
1366                               <property name="label" translatable="yes">Paste as pattern</property>
1367                               <property name="use_underline">True</property>
1368                             </widget>
1369                           </child>
1370
1371                           <child>
1372                             <widget class="GtkCheckMenuItem" id="unicodeAsTexMenuItem">
1373                               <property name="visible">True</property>
1374                               <property name="label" translatable="yes">Paste Unicode as TeX</property>
1375                               <property name="use_underline">True</property>
1376                               <property name="active">False</property>
1377                             </widget>
1378                           </child>
1379
1380                           <child>
1381                             <widget class="GtkImageMenuItem" id="deleteMenuItem">
1382                               <property name="visible">True</property>
1383                               <property name="label" translatable="yes">_Delete</property>
1384                               <property name="use_underline">True</property>
1385
1386                               <child internal-child="image">
1387                                 <widget class="GtkImage" id="image1058">
1388                                   <property name="visible">True</property>
1389                                   <property name="stock">gtk-delete</property>
1390                                   <property name="icon_size">1</property>
1391                                   <property name="xalign">0.5</property>
1392                                   <property name="yalign">0.5</property>
1393                                   <property name="xpad">0</property>
1394                                   <property name="ypad">0</property>
1395                                 </widget>
1396                               </child>
1397                             </widget>
1398                           </child>
1399
1400                           <child>
1401                             <widget class="GtkSeparatorMenuItem" id="separator4">
1402                               <property name="visible">True</property>
1403                             </widget>
1404                           </child>
1405
1406                           <child>
1407                             <widget class="GtkMenuItem" id="selectAllMenuItem">
1408                               <property name="visible">True</property>
1409                               <property name="label" translatable="yes">Select _All</property>
1410                               <property name="use_underline">True</property>
1411                             </widget>
1412                           </child>
1413
1414                           <child>
1415                             <widget class="GtkSeparatorMenuItem" id="separator7">
1416                               <property name="visible">True</property>
1417                             </widget>
1418                           </child>
1419
1420                           <child>
1421                             <widget class="GtkImageMenuItem" id="findReplMenuItem">
1422                               <property name="visible">True</property>
1423                               <property name="label" translatable="yes">_Find &amp; replace ...</property>
1424                               <property name="use_underline">True</property>
1425                               <accelerator key="f" modifiers="GDK_CONTROL_MASK" signal="activate"/>
1426
1427                               <child internal-child="image">
1428                                 <widget class="GtkImage" id="image1059">
1429                                   <property name="visible">True</property>
1430                                   <property name="stock">gtk-find-and-replace</property>
1431                                   <property name="icon_size">1</property>
1432                                   <property name="xalign">0.5</property>
1433                                   <property name="yalign">0.5</property>
1434                                   <property name="xpad">0</property>
1435                                   <property name="ypad">0</property>
1436                                 </widget>
1437                               </child>
1438                             </widget>
1439                           </child>
1440
1441                           <child>
1442                             <widget class="GtkSeparatorMenuItem" id="separator8">
1443                               <property name="visible">True</property>
1444                             </widget>
1445                           </child>
1446
1447                           <child>
1448                             <widget class="GtkMenuItem" id="LigatureButton">
1449                               <property name="visible">True</property>
1450                               <property name="label" translatable="yes">Next ligature</property>
1451                               <property name="use_underline">True</property>
1452                               <accelerator key="l" modifiers="GDK_MOD1_MASK" signal="activate"/>
1453                             </widget>
1454                           </child>
1455
1456                           <child>
1457                             <widget class="GtkMenuItem" id="externalEditorMenuItem">
1458                               <property name="visible">True</property>
1459                               <property name="label" translatable="yes">Edit with e_xternal editor</property>
1460                               <property name="use_underline">True</property>
1461                             </widget>
1462                           </child>
1463                         </widget>
1464                       </child>
1465                     </widget>
1466                   </child>
1467
1468                   <child>
1469                     <widget class="GtkMenuItem" id="scriptMenu">
1470                       <property name="visible">True</property>
1471                       <property name="label" translatable="yes">_Script</property>
1472                       <property name="use_underline">True</property>
1473
1474                       <child>
1475                         <widget class="GtkMenu" id="scriptMenu_menu">
1476
1477                           <child>
1478                             <widget class="GtkMenuItem" id="scriptAdvanceMenuItem">
1479                               <property name="visible">True</property>
1480                               <property name="label" translatable="yes">Execute 1 phrase</property>
1481                               <property name="use_underline">True</property>
1482                               <accelerator key="Page_Down" modifiers="GDK_CONTROL_MASK | GDK_MOD1_MASK" signal="activate"/>
1483                             </widget>
1484                           </child>
1485
1486                           <child>
1487                             <widget class="GtkMenuItem" id="scriptRetractMenuItem">
1488                               <property name="visible">True</property>
1489                               <property name="label" translatable="yes">Retract 1 phrase</property>
1490                               <property name="use_underline">True</property>
1491                               <accelerator key="Page_Up" modifiers="GDK_CONTROL_MASK | GDK_MOD1_MASK" signal="activate"/>
1492                             </widget>
1493                           </child>
1494
1495                           <child>
1496                             <widget class="GtkSeparatorMenuItem" id="separator9">
1497                               <property name="visible">True</property>
1498                             </widget>
1499                           </child>
1500
1501                           <child>
1502                             <widget class="GtkMenuItem" id="scriptBottomMenuItem">
1503                               <property name="visible">True</property>
1504                               <property name="label" translatable="yes">Execute all</property>
1505                               <property name="use_underline">True</property>
1506                               <accelerator key="End" modifiers="GDK_CONTROL_MASK | GDK_MOD1_MASK" signal="activate"/>
1507                             </widget>
1508                           </child>
1509
1510                           <child>
1511                             <widget class="GtkMenuItem" id="scriptTopMenuItem">
1512                               <property name="visible">True</property>
1513                               <property name="label" translatable="yes">Restart</property>
1514                               <property name="use_underline">True</property>
1515                               <accelerator key="Home" modifiers="GDK_CONTROL_MASK | GDK_MOD1_MASK" signal="activate"/>
1516                             </widget>
1517                           </child>
1518
1519                           <child>
1520                             <widget class="GtkSeparatorMenuItem" id="separator10">
1521                               <property name="visible">True</property>
1522                             </widget>
1523                           </child>
1524
1525                           <child>
1526                             <widget class="GtkMenuItem" id="scriptJumpMenuItem">
1527                               <property name="visible">True</property>
1528                               <property name="label" translatable="yes">Execute until cursor</property>
1529                               <property name="use_underline">True</property>
1530                               <accelerator key="period" modifiers="GDK_CONTROL_MASK | GDK_MOD1_MASK" signal="activate"/>
1531                             </widget>
1532                           </child>
1533                         </widget>
1534                       </child>
1535                     </widget>
1536                   </child>
1537
1538                   <child>
1539                     <widget class="GtkMenuItem" id="viewMenu">
1540                       <property name="visible">True</property>
1541                       <property name="label" translatable="yes">_View</property>
1542                       <property name="use_underline">True</property>
1543
1544                       <child>
1545                         <widget class="GtkMenu" id="viewMenu_menu">
1546
1547                           <child>
1548                             <widget class="GtkCheckMenuItem" id="tacticsBarMenuItem">
1549                               <property name="visible">True</property>
1550                               <property name="label" translatable="yes">Show _tactics bar</property>
1551                               <property name="use_underline">True</property>
1552                               <property name="active">True</property>
1553                               <accelerator key="F2" modifiers="0" signal="activate"/>
1554                             </widget>
1555                           </child>
1556
1557                           <child>
1558                             <widget class="GtkMenuItem" id="newCicBrowserMenuItem">
1559                               <property name="visible">True</property>
1560                               <property name="label" translatable="yes">New CIC _browser</property>
1561                               <property name="use_underline">True</property>
1562                               <accelerator key="F3" modifiers="0" signal="activate"/>
1563                             </widget>
1564                           </child>
1565
1566                           <child>
1567                             <widget class="GtkSeparatorMenuItem" id="separator5">
1568                               <property name="visible">True</property>
1569                             </widget>
1570                           </child>
1571
1572                           <child>
1573                             <widget class="GtkCheckMenuItem" id="fullscreenMenuItem">
1574                               <property name="visible">True</property>
1575                               <property name="label" translatable="yes">_Fullscreen</property>
1576                               <property name="use_underline">True</property>
1577                               <property name="active">False</property>
1578                               <accelerator key="F11" modifiers="0" signal="activate"/>
1579                             </widget>
1580                           </child>
1581
1582                           <child>
1583                             <widget class="GtkSeparatorMenuItem" id="separator1">
1584                               <property name="visible">True</property>
1585                             </widget>
1586                           </child>
1587
1588                           <child>
1589                             <widget class="GtkImageMenuItem" id="increaseFontSizeMenuItem">
1590                               <property name="visible">True</property>
1591                               <property name="label" translatable="yes">Zoom _in</property>
1592                               <property name="use_underline">True</property>
1593                               <accelerator key="plus" modifiers="GDK_CONTROL_MASK" signal="activate"/>
1594
1595                               <child internal-child="image">
1596                                 <widget class="GtkImage" id="image1060">
1597                                   <property name="visible">True</property>
1598                                   <property name="stock">gtk-zoom-in</property>
1599                                   <property name="icon_size">1</property>
1600                                   <property name="xalign">0.5</property>
1601                                   <property name="yalign">0.5</property>
1602                                   <property name="xpad">0</property>
1603                                   <property name="ypad">0</property>
1604                                 </widget>
1605                               </child>
1606                             </widget>
1607                           </child>
1608
1609                           <child>
1610                             <widget class="GtkImageMenuItem" id="decreaseFontSizeMenuItem">
1611                               <property name="visible">True</property>
1612                               <property name="label" translatable="yes">Zoom _out</property>
1613                               <property name="use_underline">True</property>
1614                               <accelerator key="minus" modifiers="GDK_CONTROL_MASK" signal="activate"/>
1615
1616                               <child internal-child="image">
1617                                 <widget class="GtkImage" id="image1061">
1618                                   <property name="visible">True</property>
1619                                   <property name="stock">gtk-zoom-out</property>
1620                                   <property name="icon_size">1</property>
1621                                   <property name="xalign">0.5</property>
1622                                   <property name="yalign">0.5</property>
1623                                   <property name="xpad">0</property>
1624                                   <property name="ypad">0</property>
1625                                 </widget>
1626                               </child>
1627                             </widget>
1628                           </child>
1629
1630                           <child>
1631                             <widget class="GtkImageMenuItem" id="normalFontSizeMenuItem">
1632                               <property name="visible">True</property>
1633                               <property name="label" translatable="yes">_Normal size</property>
1634                               <property name="use_underline">True</property>
1635                               <accelerator key="equal" modifiers="GDK_CONTROL_MASK" signal="activate"/>
1636
1637                               <child internal-child="image">
1638                                 <widget class="GtkImage" id="image1062">
1639                                   <property name="visible">True</property>
1640                                   <property name="stock">gtk-zoom-100</property>
1641                                   <property name="icon_size">1</property>
1642                                   <property name="xalign">0.5</property>
1643                                   <property name="yalign">0.5</property>
1644                                   <property name="xpad">0</property>
1645                                   <property name="ypad">0</property>
1646                                 </widget>
1647                               </child>
1648                             </widget>
1649                           </child>
1650
1651                           <child>
1652                             <widget class="GtkSeparatorMenuItem" id="separator12">
1653                               <property name="visible">True</property>
1654                             </widget>
1655                           </child>
1656
1657                           <child>
1658                             <widget class="GtkCheckMenuItem" id="ppNotationMenuItem">
1659                               <property name="visible">True</property>
1660                               <property name="label" translatable="yes">Pretty print notation</property>
1661                               <property name="use_underline">True</property>
1662                               <property name="active">True</property>
1663                             </widget>
1664                           </child>
1665
1666                           <child>
1667                             <widget class="GtkCheckMenuItem" id="hideCoercionsMenuItem">
1668                               <property name="visible">True</property>
1669                               <property name="label" translatable="yes">Hide coercions</property>
1670                               <property name="use_underline">True</property>
1671                               <property name="active">True</property>
1672                             </widget>
1673                           </child>
1674
1675                           <child>
1676                             <widget class="GtkSeparatorMenuItem" id="separator13">
1677                               <property name="visible">True</property>
1678                             </widget>
1679                           </child>
1680
1681                           <child>
1682                             <widget class="GtkMenuItem" id="showCoercionsGraphMenuItem">
1683                               <property name="visible">True</property>
1684                               <property name="tooltip" translatable="yes">Displays the graph of coercions</property>
1685                               <property name="label" translatable="yes">Coercions Graph</property>
1686                               <property name="use_underline">True</property>
1687                             </widget>
1688                           </child>
1689
1690                           <child>
1691                             <widget class="GtkImageMenuItem" id="showAutoGuiMenuItem">
1692                               <property name="visible">True</property>
1693                               <property name="tooltip" translatable="yes">Displays a window helpful to drive automation</property>
1694                               <property name="label" translatable="yes">Auto GUI</property>
1695                               <property name="use_underline">True</property>
1696
1697                               <child internal-child="image">
1698                                 <widget class="GtkImage" id="menu-item-image19">
1699                                   <property name="stock">gtk-media-pause</property>
1700                                   <property name="icon_size">4</property>
1701                                   <property name="xalign">0.5</property>
1702                                   <property name="yalign">0.5</property>
1703                                   <property name="xpad">0</property>
1704                                   <property name="ypad">0</property>
1705                                 </widget>
1706                               </child>
1707                             </widget>
1708                           </child>
1709
1710                           <child>
1711                             <widget class="GtkImageMenuItem" id="showTermGrammarMenuItem">
1712                               <property name="visible">True</property>
1713                               <property name="tooltip" translatable="yes">Displays the term grammar</property>
1714                               <property name="label" translatable="yes">Show term's grammar</property>
1715                               <property name="use_underline">True</property>
1716                             </widget>
1717                           </child>
1718                         </widget>
1719                       </child>
1720                     </widget>
1721                   </child>
1722
1723                   <child>
1724                     <widget class="GtkMenuItem" id="debugMenu">
1725                       <property name="visible">True</property>
1726                       <property name="label" translatable="yes">_Debug</property>
1727                       <property name="use_underline">True</property>
1728
1729                       <child>
1730                         <widget class="GtkMenu" id="debugMenu_menu">
1731
1732                           <child>
1733                             <widget class="GtkSeparatorMenuItem" id="separator6">
1734                               <property name="visible">True</property>
1735                             </widget>
1736                           </child>
1737                         </widget>
1738                       </child>
1739                     </widget>
1740                   </child>
1741
1742                   <child>
1743                     <widget class="GtkMenuItem" id="helpMenu">
1744                       <property name="visible">True</property>
1745                       <property name="label" translatable="yes">_Help</property>
1746                       <property name="use_underline">True</property>
1747
1748                       <child>
1749                         <widget class="GtkMenu" id="helpMenu_menu">
1750
1751                           <child>
1752                             <widget class="GtkImageMenuItem" id="contentsMenuItem">
1753                               <property name="visible">True</property>
1754                               <property name="label" translatable="yes">_Contents</property>
1755                               <property name="use_underline">True</property>
1756                               <accelerator key="F1" modifiers="0" signal="activate"/>
1757
1758                               <child internal-child="image">
1759                                 <widget class="GtkImage" id="image1063">
1760                                   <property name="visible">True</property>
1761                                   <property name="stock">gtk-help</property>
1762                                   <property name="icon_size">1</property>
1763                                   <property name="xalign">0.5</property>
1764                                   <property name="yalign">0.5</property>
1765                                   <property name="xpad">0</property>
1766                                   <property name="ypad">0</property>
1767                                 </widget>
1768                               </child>
1769                             </widget>
1770                           </child>
1771
1772                           <child>
1773                             <widget class="GtkImageMenuItem" id="showUnicodeTable">
1774                               <property name="visible">True</property>
1775                               <property name="tooltip" translatable="yes">Displays the Tex/Unicode table</property>
1776                               <property name="label" translatable="yes">Show Tex/Unicode table</property>
1777                               <property name="use_underline">True</property>
1778                             </widget>
1779                           </child>
1780
1781                           <child>
1782                             <widget class="GtkImageMenuItem" id="aboutMenuItem">
1783                               <property name="visible">True</property>
1784                               <property name="label" translatable="yes">_About</property>
1785                               <property name="use_underline">True</property>
1786
1787                               <child internal-child="image">
1788                                 <widget class="GtkImage" id="image1064">
1789                                   <property name="visible">True</property>
1790                                   <property name="stock">gtk-about</property>
1791                                   <property name="icon_size">1</property>
1792                                   <property name="xalign">0.5</property>
1793                                   <property name="yalign">0.5</property>
1794                                   <property name="xpad">0</property>
1795                                   <property name="ypad">0</property>
1796                                 </widget>
1797                               </child>
1798                             </widget>
1799                           </child>
1800                         </widget>
1801                       </child>
1802                     </widget>
1803                   </child>
1804                 </widget>
1805               </child>
1806             </widget>
1807             <packing>
1808               <property name="padding">0</property>
1809               <property name="expand">False</property>
1810               <property name="fill">False</property>
1811             </packing>
1812           </child>
1813
1814           <child>
1815             <widget class="GtkHBox" id="hbox9">
1816               <property name="visible">True</property>
1817               <property name="homogeneous">False</property>
1818               <property name="spacing">0</property>
1819
1820               <child>
1821                 <widget class="GtkHPaned" id="hpaneScriptSequent">
1822                   <property name="visible">True</property>
1823                   <property name="can_focus">True</property>
1824
1825                   <child>
1826                     <widget class="GtkHBox" id="hbox18">
1827                       <property name="visible">True</property>
1828                       <property name="homogeneous">False</property>
1829                       <property name="spacing">0</property>
1830
1831                       <child>
1832                         <widget class="GtkHandleBox" id="TacticsButtonsHandlebox">
1833                           <property name="visible">True</property>
1834                           <property name="shadow_type">GTK_SHADOW_OUT</property>
1835                           <property name="handle_position">GTK_POS_TOP</property>
1836                           <property name="snap_edge">GTK_POS_TOP</property>
1837
1838                           <child>
1839                             <widget class="GtkVBox" id="vboxTacticsPalette">
1840                               <property name="visible">True</property>
1841                               <property name="homogeneous">False</property>
1842                               <property name="spacing">0</property>
1843
1844                               <child>
1845                                 <placeholder/>
1846                               </child>
1847
1848                               <child>
1849                                 <placeholder/>
1850                               </child>
1851
1852                               <child>
1853                                 <placeholder/>
1854                               </child>
1855                             </widget>
1856                           </child>
1857                         </widget>
1858                         <packing>
1859                           <property name="padding">0</property>
1860                           <property name="expand">False</property>
1861                           <property name="fill">True</property>
1862                         </packing>
1863                       </child>
1864
1865                       <child>
1866                         <widget class="GtkVBox" id="vboxScript">
1867                           <property name="width_request">400</property>
1868                           <property name="visible">True</property>
1869                           <property name="homogeneous">False</property>
1870                           <property name="spacing">0</property>
1871
1872                           <child>
1873                             <widget class="GtkHBox" id="hbox28">
1874                               <property name="visible">True</property>
1875                               <property name="homogeneous">False</property>
1876                               <property name="spacing">0</property>
1877
1878                               <child>
1879                                 <widget class="GtkToolbar" id="buttonsToolbar">
1880                                   <property name="visible">True</property>
1881                                   <property name="orientation">GTK_ORIENTATION_HORIZONTAL</property>
1882                                   <property name="toolbar_style">GTK_TOOLBAR_BOTH</property>
1883                                   <property name="tooltips">True</property>
1884                                   <property name="show_arrow">True</property>
1885
1886                                   <child>
1887                                     <widget class="GtkToolItem" id="toolitem41">
1888                                       <property name="visible">True</property>
1889                                       <property name="visible_horizontal">True</property>
1890                                       <property name="visible_vertical">True</property>
1891                                       <property name="is_important">False</property>
1892
1893                                       <child>
1894                                         <widget class="GtkButton" id="scriptTopButton">
1895                                           <property name="visible">True</property>
1896                                           <property name="tooltip" translatable="yes">Restart</property>
1897                                           <property name="can_focus">True</property>
1898                                           <property name="relief">GTK_RELIEF_NONE</property>
1899                                           <property name="focus_on_click">True</property>
1900
1901                                           <child>
1902                                             <widget class="GtkImage" id="image920">
1903                                               <property name="visible">True</property>
1904                                               <property name="stock">gtk-goto-top</property>
1905                                               <property name="icon_size">4</property>
1906                                               <property name="xalign">0.5</property>
1907                                               <property name="yalign">0.5</property>
1908                                               <property name="xpad">0</property>
1909                                               <property name="ypad">0</property>
1910                                             </widget>
1911                                           </child>
1912                                         </widget>
1913                                       </child>
1914                                     </widget>
1915                                     <packing>
1916                                       <property name="expand">False</property>
1917                                       <property name="homogeneous">False</property>
1918                                     </packing>
1919                                   </child>
1920
1921                                   <child>
1922                                     <widget class="GtkToolItem" id="toolitem42">
1923                                       <property name="visible">True</property>
1924                                       <property name="visible_horizontal">True</property>
1925                                       <property name="visible_vertical">True</property>
1926                                       <property name="is_important">False</property>
1927
1928                                       <child>
1929                                         <widget class="GtkButton" id="scriptRetractButton">
1930                                           <property name="visible">True</property>
1931                                           <property name="tooltip" translatable="yes">Retract 1 phrase</property>
1932                                           <property name="can_focus">True</property>
1933                                           <property name="relief">GTK_RELIEF_NONE</property>
1934                                           <property name="focus_on_click">True</property>
1935
1936                                           <child>
1937                                             <widget class="GtkImage" id="image921">
1938                                               <property name="visible">True</property>
1939                                               <property name="stock">gtk-go-up</property>
1940                                               <property name="icon_size">4</property>
1941                                               <property name="xalign">0.5</property>
1942                                               <property name="yalign">0.5</property>
1943                                               <property name="xpad">0</property>
1944                                               <property name="ypad">0</property>
1945                                             </widget>
1946                                           </child>
1947                                         </widget>
1948                                       </child>
1949                                     </widget>
1950                                     <packing>
1951                                       <property name="expand">False</property>
1952                                       <property name="homogeneous">False</property>
1953                                     </packing>
1954                                   </child>
1955
1956                                   <child>
1957                                     <widget class="GtkToolItem" id="toolitem43">
1958                                       <property name="visible">True</property>
1959                                       <property name="visible_horizontal">True</property>
1960                                       <property name="visible_vertical">True</property>
1961                                       <property name="is_important">False</property>
1962
1963                                       <child>
1964                                         <widget class="GtkButton" id="scriptJumpButton">
1965                                           <property name="visible">True</property>
1966                                           <property name="tooltip" translatable="yes">Execute until point</property>
1967                                           <property name="can_focus">True</property>
1968                                           <property name="relief">GTK_RELIEF_NONE</property>
1969                                           <property name="focus_on_click">True</property>
1970
1971                                           <child>
1972                                             <widget class="GtkImage" id="image922">
1973                                               <property name="visible">True</property>
1974                                               <property name="stock">gtk-jump-to</property>
1975                                               <property name="icon_size">4</property>
1976                                               <property name="xalign">0.5</property>
1977                                               <property name="yalign">0.5</property>
1978                                               <property name="xpad">0</property>
1979                                               <property name="ypad">0</property>
1980                                             </widget>
1981                                           </child>
1982                                         </widget>
1983                                       </child>
1984                                     </widget>
1985                                     <packing>
1986                                       <property name="expand">False</property>
1987                                       <property name="homogeneous">False</property>
1988                                     </packing>
1989                                   </child>
1990
1991                                   <child>
1992                                     <widget class="GtkToolItem" id="toolitem44">
1993                                       <property name="visible">True</property>
1994                                       <property name="visible_horizontal">True</property>
1995                                       <property name="visible_vertical">True</property>
1996                                       <property name="is_important">False</property>
1997
1998                                       <child>
1999                                         <widget class="GtkButton" id="scriptAdvanceButton">
2000                                           <property name="visible">True</property>
2001                                           <property name="tooltip" translatable="yes">Execute 1 phrase</property>
2002                                           <property name="can_focus">True</property>
2003                                           <property name="relief">GTK_RELIEF_NONE</property>
2004                                           <property name="focus_on_click">True</property>
2005
2006                                           <child>
2007                                             <widget class="GtkImage" id="image923">
2008                                               <property name="visible">True</property>
2009                                               <property name="stock">gtk-go-down</property>
2010                                               <property name="icon_size">4</property>
2011                                               <property name="xalign">0.5</property>
2012                                               <property name="yalign">0.5</property>
2013                                               <property name="xpad">0</property>
2014                                               <property name="ypad">0</property>
2015                                             </widget>
2016                                           </child>
2017                                         </widget>
2018                                       </child>
2019                                     </widget>
2020                                     <packing>
2021                                       <property name="expand">False</property>
2022                                       <property name="homogeneous">False</property>
2023                                     </packing>
2024                                   </child>
2025
2026                                   <child>
2027                                     <widget class="GtkToolItem" id="toolitem45">
2028                                       <property name="visible">True</property>
2029                                       <property name="visible_horizontal">True</property>
2030                                       <property name="visible_vertical">True</property>
2031                                       <property name="is_important">False</property>
2032
2033                                       <child>
2034                                         <widget class="GtkButton" id="scriptBottomButton">
2035                                           <property name="visible">True</property>
2036                                           <property name="tooltip" translatable="yes">Execute all</property>
2037                                           <property name="can_focus">True</property>
2038                                           <property name="relief">GTK_RELIEF_NONE</property>
2039                                           <property name="focus_on_click">True</property>
2040
2041                                           <child>
2042                                             <widget class="GtkImage" id="image924">
2043                                               <property name="visible">True</property>
2044                                               <property name="stock">gtk-goto-bottom</property>
2045                                               <property name="icon_size">4</property>
2046                                               <property name="xalign">0.5</property>
2047                                               <property name="yalign">0.5</property>
2048                                               <property name="xpad">0</property>
2049                                               <property name="ypad">0</property>
2050                                             </widget>
2051                                           </child>
2052                                         </widget>
2053                                       </child>
2054                                     </widget>
2055                                     <packing>
2056                                       <property name="expand">False</property>
2057                                       <property name="homogeneous">False</property>
2058                                     </packing>
2059                                   </child>
2060                                 </widget>
2061                                 <packing>
2062                                   <property name="padding">0</property>
2063                                   <property name="expand">True</property>
2064                                   <property name="fill">True</property>
2065                                 </packing>
2066                               </child>
2067
2068                               <child>
2069                                 <widget class="GtkToolbar" id="toolbar2">
2070                                   <property name="visible">True</property>
2071                                   <property name="orientation">GTK_ORIENTATION_VERTICAL</property>
2072                                   <property name="toolbar_style">GTK_TOOLBAR_BOTH</property>
2073                                   <property name="tooltips">True</property>
2074                                   <property name="show_arrow">True</property>
2075
2076                                   <child>
2077                                     <widget class="GtkToolItem" id="toolitem46">
2078                                       <property name="visible">True</property>
2079                                       <property name="visible_horizontal">True</property>
2080                                       <property name="visible_vertical">True</property>
2081                                       <property name="is_important">False</property>
2082
2083                                       <child>
2084                                         <widget class="GtkButton" id="scriptAbortButton">
2085                                           <property name="visible">True</property>
2086                                           <property name="can_focus">True</property>
2087                                           <property name="relief">GTK_RELIEF_NONE</property>
2088                                           <property name="focus_on_click">True</property>
2089
2090                                           <child>
2091                                             <widget class="GtkImage" id="image927">
2092                                               <property name="visible">True</property>
2093                                               <property name="stock">gtk-stop</property>
2094                                               <property name="icon_size">4</property>
2095                                               <property name="xalign">0.5</property>
2096                                               <property name="yalign">0.5</property>
2097                                               <property name="xpad">0</property>
2098                                               <property name="ypad">0</property>
2099                                             </widget>
2100                                           </child>
2101                                         </widget>
2102                                       </child>
2103                                     </widget>
2104                                     <packing>
2105                                       <property name="expand">False</property>
2106                                       <property name="homogeneous">False</property>
2107                                     </packing>
2108                                   </child>
2109                                 </widget>
2110                                 <packing>
2111                                   <property name="padding">0</property>
2112                                   <property name="expand">False</property>
2113                                   <property name="fill">True</property>
2114                                 </packing>
2115                               </child>
2116                             </widget>
2117                             <packing>
2118                               <property name="padding">0</property>
2119                               <property name="expand">False</property>
2120                               <property name="fill">False</property>
2121                             </packing>
2122                           </child>
2123
2124                           <child>
2125                             <widget class="GtkNotebook" id="scriptNotebook">
2126                               <property name="visible">True</property>
2127                               <property name="can_focus">True</property>
2128                               <property name="show_tabs">True</property>
2129                               <property name="show_border">True</property>
2130                               <property name="tab_pos">GTK_POS_BOTTOM</property>
2131                               <property name="scrollable">False</property>
2132                               <property name="enable_popup">False</property>
2133
2134                               <child>
2135                                 <widget class="GtkScrolledWindow" id="ScriptScrolledWin">
2136                                   <property name="visible">True</property>
2137                                   <property name="can_focus">True</property>
2138                                   <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
2139                                   <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
2140                                   <property name="shadow_type">GTK_SHADOW_NONE</property>
2141                                   <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
2142
2143                                   <child>
2144                                     <placeholder/>
2145                                   </child>
2146                                 </widget>
2147                                 <packing>
2148                                   <property name="tab_expand">False</property>
2149                                   <property name="tab_fill">True</property>
2150                                 </packing>
2151                               </child>
2152
2153                               <child>
2154                                 <widget class="GtkLabel" id="scriptLabel">
2155                                   <property name="visible">True</property>
2156                                   <property name="label" translatable="yes">script</property>
2157                                   <property name="use_underline">False</property>
2158                                   <property name="use_markup">False</property>
2159                                   <property name="justify">GTK_JUSTIFY_LEFT</property>
2160                                   <property name="wrap">False</property>
2161                                   <property name="selectable">False</property>
2162                                   <property name="xalign">0.5</property>
2163                                   <property name="yalign">0.5</property>
2164                                   <property name="xpad">0</property>
2165                                   <property name="ypad">0</property>
2166                                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2167                                   <property name="width_chars">-1</property>
2168                                   <property name="single_line_mode">False</property>
2169                                   <property name="angle">0</property>
2170                                 </widget>
2171                                 <packing>
2172                                   <property name="type">tab</property>
2173                                 </packing>
2174                               </child>
2175
2176                               <child>
2177                                 <widget class="GtkScrolledWindow" id="scrolledwindow8">
2178                                   <property name="visible">True</property>
2179                                   <property name="can_focus">True</property>
2180                                   <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
2181                                   <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
2182                                   <property name="shadow_type">GTK_SHADOW_NONE</property>
2183                                   <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
2184
2185                                   <child>
2186                                     <widget class="GtkViewport" id="viewport1">
2187                                       <property name="visible">True</property>
2188                                       <property name="shadow_type">GTK_SHADOW_IN</property>
2189
2190                                       <child>
2191                                         <widget class="GtkLabel" id="label25">
2192                                           <property name="visible">True</property>
2193                                           <property name="label" translatable="yes">Not implemented.</property>
2194                                           <property name="use_underline">False</property>
2195                                           <property name="use_markup">False</property>
2196                                           <property name="justify">GTK_JUSTIFY_LEFT</property>
2197                                           <property name="wrap">False</property>
2198                                           <property name="selectable">False</property>
2199                                           <property name="xalign">0.5</property>
2200                                           <property name="yalign">0.5</property>
2201                                           <property name="xpad">0</property>
2202                                           <property name="ypad">0</property>
2203                                           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2204                                           <property name="width_chars">-1</property>
2205                                           <property name="single_line_mode">False</property>
2206                                           <property name="angle">0</property>
2207                                         </widget>
2208                                       </child>
2209                                     </widget>
2210                                   </child>
2211                                 </widget>
2212                                 <packing>
2213                                   <property name="tab_expand">False</property>
2214                                   <property name="tab_fill">True</property>
2215                                 </packing>
2216                               </child>
2217
2218                               <child>
2219                                 <widget class="GtkLabel" id="label13">
2220                                   <property name="visible">True</property>
2221                                   <property name="label" translatable="yes">outline</property>
2222                                   <property name="use_underline">False</property>
2223                                   <property name="use_markup">False</property>
2224                                   <property name="justify">GTK_JUSTIFY_LEFT</property>
2225                                   <property name="wrap">False</property>
2226                                   <property name="selectable">False</property>
2227                                   <property name="xalign">0.5</property>
2228                                   <property name="yalign">0.5</property>
2229                                   <property name="xpad">0</property>
2230                                   <property name="ypad">0</property>
2231                                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2232                                   <property name="width_chars">-1</property>
2233                                   <property name="single_line_mode">False</property>
2234                                   <property name="angle">0</property>
2235                                 </widget>
2236                                 <packing>
2237                                   <property name="type">tab</property>
2238                                 </packing>
2239                               </child>
2240                             </widget>
2241                             <packing>
2242                               <property name="padding">0</property>
2243                               <property name="expand">True</property>
2244                               <property name="fill">True</property>
2245                             </packing>
2246                           </child>
2247                         </widget>
2248                         <packing>
2249                           <property name="padding">0</property>
2250                           <property name="expand">True</property>
2251                           <property name="fill">True</property>
2252                         </packing>
2253                       </child>
2254                     </widget>
2255                     <packing>
2256                       <property name="shrink">True</property>
2257                       <property name="resize">False</property>
2258                     </packing>
2259                   </child>
2260
2261                   <child>
2262                     <widget class="GtkVPaned" id="vpaned1">
2263                       <property name="width_request">250</property>
2264                       <property name="height_request">500</property>
2265                       <property name="visible">True</property>
2266                       <property name="can_focus">True</property>
2267                       <property name="position">380</property>
2268
2269                       <child>
2270                         <widget class="GtkNotebook" id="sequentsNotebook">
2271                           <property name="visible">True</property>
2272                           <property name="can_focus">True</property>
2273                           <property name="show_tabs">True</property>
2274                           <property name="show_border">True</property>
2275                           <property name="tab_pos">GTK_POS_TOP</property>
2276                           <property name="scrollable">False</property>
2277                           <property name="enable_popup">False</property>
2278                         </widget>
2279                         <packing>
2280                           <property name="shrink">True</property>
2281                           <property name="resize">False</property>
2282                         </packing>
2283                       </child>
2284
2285                       <child>
2286                         <widget class="GtkHBox" id="hbox9">
2287                           <property name="visible">True</property>
2288                           <property name="homogeneous">False</property>
2289                           <property name="spacing">0</property>
2290
2291                           <child>
2292                             <widget class="GtkScrolledWindow" id="logScrolledWin">
2293                               <property name="visible">True</property>
2294                               <property name="can_focus">True</property>
2295                               <property name="hscrollbar_policy">GTK_POLICY_NEVER</property>
2296                               <property name="vscrollbar_policy">GTK_POLICY_ALWAYS</property>
2297                               <property name="shadow_type">GTK_SHADOW_IN</property>
2298                               <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
2299
2300                               <child>
2301                                 <widget class="GtkTextView" id="logTextView">
2302                                   <property name="visible">True</property>
2303                                   <property name="can_focus">True</property>
2304                                   <property name="editable">False</property>
2305                                   <property name="overwrite">False</property>
2306                                   <property name="accepts_tab">True</property>
2307                                   <property name="justification">GTK_JUSTIFY_LEFT</property>
2308                                   <property name="wrap_mode">GTK_WRAP_CHAR</property>
2309                                   <property name="cursor_visible">False</property>
2310                                   <property name="pixels_above_lines">0</property>
2311                                   <property name="pixels_below_lines">0</property>
2312                                   <property name="pixels_inside_wrap">0</property>
2313                                   <property name="left_margin">0</property>
2314                                   <property name="right_margin">0</property>
2315                                   <property name="indent">0</property>
2316                                   <property name="text" translatable="yes"></property>
2317                                 </widget>
2318                               </child>
2319                             </widget>
2320                             <packing>
2321                               <property name="padding">0</property>
2322                               <property name="expand">True</property>
2323                               <property name="fill">True</property>
2324                             </packing>
2325                           </child>
2326                         </widget>
2327                         <packing>
2328                           <property name="shrink">True</property>
2329                           <property name="resize">True</property>
2330                         </packing>
2331                       </child>
2332                     </widget>
2333                     <packing>
2334                       <property name="shrink">True</property>
2335                       <property name="resize">True</property>
2336                     </packing>
2337                   </child>
2338                 </widget>
2339                 <packing>
2340                   <property name="padding">0</property>
2341                   <property name="expand">True</property>
2342                   <property name="fill">True</property>
2343                 </packing>
2344               </child>
2345             </widget>
2346             <packing>
2347               <property name="padding">0</property>
2348               <property name="expand">True</property>
2349               <property name="fill">True</property>
2350             </packing>
2351           </child>
2352
2353           <child>
2354             <widget class="GtkHBox" id="hbox10">
2355               <property name="visible">True</property>
2356               <property name="homogeneous">False</property>
2357               <property name="spacing">0</property>
2358
2359               <child>
2360                 <widget class="GtkStatusbar" id="StatusBar">
2361                   <property name="visible">True</property>
2362                   <property name="has_resize_grip">False</property>
2363                 </widget>
2364                 <packing>
2365                   <property name="padding">0</property>
2366                   <property name="expand">True</property>
2367                   <property name="fill">True</property>
2368                 </packing>
2369               </child>
2370
2371               <child>
2372                 <widget class="GtkNotebook" id="HintNotebook">
2373                   <property name="visible">True</property>
2374                   <property name="show_tabs">False</property>
2375                   <property name="show_border">True</property>
2376                   <property name="tab_pos">GTK_POS_TOP</property>
2377                   <property name="scrollable">False</property>
2378                   <property name="enable_popup">False</property>
2379
2380                   <child>
2381                     <widget class="GtkImage" id="HintLowImage">
2382                       <property name="visible">True</property>
2383                       <property name="stock">gtk-missing-image</property>
2384                       <property name="icon_size">4</property>
2385                       <property name="xalign">0.5</property>
2386                       <property name="yalign">0.5</property>
2387                       <property name="xpad">0</property>
2388                       <property name="ypad">0</property>
2389                     </widget>
2390                     <packing>
2391                       <property name="tab_expand">False</property>
2392                       <property name="tab_fill">True</property>
2393                     </packing>
2394                   </child>
2395
2396                   <child>
2397                     <widget class="GtkLabel" id="label14">
2398                       <property name="visible">True</property>
2399                       <property name="label" translatable="yes">label14</property>
2400                       <property name="use_underline">False</property>
2401                       <property name="use_markup">False</property>
2402                       <property name="justify">GTK_JUSTIFY_LEFT</property>
2403                       <property name="wrap">False</property>
2404                       <property name="selectable">False</property>
2405                       <property name="xalign">0.5</property>
2406                       <property name="yalign">0.5</property>
2407                       <property name="xpad">0</property>
2408                       <property name="ypad">0</property>
2409                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2410                       <property name="width_chars">-1</property>
2411                       <property name="single_line_mode">False</property>
2412                       <property name="angle">0</property>
2413                     </widget>
2414                     <packing>
2415                       <property name="type">tab</property>
2416                     </packing>
2417                   </child>
2418
2419                   <child>
2420                     <widget class="GtkImage" id="HintMediumImage">
2421                       <property name="visible">True</property>
2422                       <property name="stock">gtk-missing-image</property>
2423                       <property name="icon_size">4</property>
2424                       <property name="xalign">0.5</property>
2425                       <property name="yalign">0.5</property>
2426                       <property name="xpad">0</property>
2427                       <property name="ypad">0</property>
2428                     </widget>
2429                     <packing>
2430                       <property name="tab_expand">False</property>
2431                       <property name="tab_fill">True</property>
2432                     </packing>
2433                   </child>
2434
2435                   <child>
2436                     <widget class="GtkLabel" id="label15">
2437                       <property name="visible">True</property>
2438                       <property name="label" translatable="yes">label15</property>
2439                       <property name="use_underline">False</property>
2440                       <property name="use_markup">False</property>
2441                       <property name="justify">GTK_JUSTIFY_LEFT</property>
2442                       <property name="wrap">False</property>
2443                       <property name="selectable">False</property>
2444                       <property name="xalign">0.5</property>
2445                       <property name="yalign">0.5</property>
2446                       <property name="xpad">0</property>
2447                       <property name="ypad">0</property>
2448                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2449                       <property name="width_chars">-1</property>
2450                       <property name="single_line_mode">False</property>
2451                       <property name="angle">0</property>
2452                     </widget>
2453                     <packing>
2454                       <property name="type">tab</property>
2455                     </packing>
2456                   </child>
2457
2458                   <child>
2459                     <widget class="GtkImage" id="HintHighImage">
2460                       <property name="visible">True</property>
2461                       <property name="stock">gtk-missing-image</property>
2462                       <property name="icon_size">4</property>
2463                       <property name="xalign">0.5</property>
2464                       <property name="yalign">0.5</property>
2465                       <property name="xpad">0</property>
2466                       <property name="ypad">0</property>
2467                     </widget>
2468                     <packing>
2469                       <property name="tab_expand">False</property>
2470                       <property name="tab_fill">True</property>
2471                     </packing>
2472                   </child>
2473
2474                   <child>
2475                     <widget class="GtkLabel" id="label16">
2476                       <property name="visible">True</property>
2477                       <property name="label" translatable="yes">label16</property>
2478                       <property name="use_underline">False</property>
2479                       <property name="use_markup">False</property>
2480                       <property name="justify">GTK_JUSTIFY_LEFT</property>
2481                       <property name="wrap">False</property>
2482                       <property name="selectable">False</property>
2483                       <property name="xalign">0.5</property>
2484                       <property name="yalign">0.5</property>
2485                       <property name="xpad">0</property>
2486                       <property name="ypad">0</property>
2487                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2488                       <property name="width_chars">-1</property>
2489                       <property name="single_line_mode">False</property>
2490                       <property name="angle">0</property>
2491                     </widget>
2492                     <packing>
2493                       <property name="type">tab</property>
2494                     </packing>
2495                   </child>
2496                 </widget>
2497                 <packing>
2498                   <property name="padding">0</property>
2499                   <property name="expand">False</property>
2500                   <property name="fill">True</property>
2501                 </packing>
2502               </child>
2503             </widget>
2504             <packing>
2505               <property name="padding">0</property>
2506               <property name="expand">False</property>
2507               <property name="fill">False</property>
2508             </packing>
2509           </child>
2510         </widget>
2511       </child>
2512     </widget>
2513   </child>
2514 </widget>
2515
2516 <widget class="GtkDialog" id="TextDialog">
2517   <property name="title" translatable="yes">DUMMY</property>
2518   <property name="type">GTK_WINDOW_TOPLEVEL</property>
2519   <property name="window_position">GTK_WIN_POS_NONE</property>
2520   <property name="modal">False</property>
2521   <property name="resizable">True</property>
2522   <property name="destroy_with_parent">False</property>
2523   <property name="decorated">True</property>
2524   <property name="skip_taskbar_hint">False</property>
2525   <property name="skip_pager_hint">False</property>
2526   <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
2527   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
2528   <property name="focus_on_map">True</property>
2529   <property name="urgency_hint">False</property>
2530   <property name="has_separator">True</property>
2531
2532   <child internal-child="vbox">
2533     <widget class="GtkVBox" id="vbox5">
2534       <property name="visible">True</property>
2535       <property name="homogeneous">False</property>
2536       <property name="spacing">0</property>
2537
2538       <child internal-child="action_area">
2539         <widget class="GtkHButtonBox" id="hbuttonbox1">
2540           <property name="visible">True</property>
2541           <property name="layout_style">GTK_BUTTONBOX_END</property>
2542
2543           <child>
2544             <widget class="GtkButton" id="TextDialogCancelButton">
2545               <property name="visible">True</property>
2546               <property name="can_default">True</property>
2547               <property name="can_focus">True</property>
2548               <property name="label">gtk-cancel</property>
2549               <property name="use_stock">True</property>
2550               <property name="relief">GTK_RELIEF_NORMAL</property>
2551               <property name="focus_on_click">True</property>
2552               <property name="response_id">-6</property>
2553             </widget>
2554           </child>
2555
2556           <child>
2557             <widget class="GtkButton" id="TextDialogOkButton">
2558               <property name="visible">True</property>
2559               <property name="can_default">True</property>
2560               <property name="can_focus">True</property>
2561               <property name="label">gtk-ok</property>
2562               <property name="use_stock">True</property>
2563               <property name="relief">GTK_RELIEF_NORMAL</property>
2564               <property name="focus_on_click">True</property>
2565               <property name="response_id">-5</property>
2566             </widget>
2567           </child>
2568         </widget>
2569         <packing>
2570           <property name="padding">0</property>
2571           <property name="expand">False</property>
2572           <property name="fill">True</property>
2573           <property name="pack_type">GTK_PACK_END</property>
2574         </packing>
2575       </child>
2576
2577       <child>
2578         <widget class="GtkLabel" id="TextDialogLabel">
2579           <property name="visible">True</property>
2580           <property name="label" translatable="yes">DUMMY</property>
2581           <property name="use_underline">False</property>
2582           <property name="use_markup">False</property>
2583           <property name="justify">GTK_JUSTIFY_LEFT</property>
2584           <property name="wrap">False</property>
2585           <property name="selectable">False</property>
2586           <property name="xalign">0.5</property>
2587           <property name="yalign">0.5</property>
2588           <property name="xpad">0</property>
2589           <property name="ypad">0</property>
2590           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2591           <property name="width_chars">-1</property>
2592           <property name="single_line_mode">False</property>
2593           <property name="angle">0</property>
2594         </widget>
2595         <packing>
2596           <property name="padding">0</property>
2597           <property name="expand">False</property>
2598           <property name="fill">False</property>
2599         </packing>
2600       </child>
2601
2602       <child>
2603         <widget class="GtkScrolledWindow" id="scrolledwindow2">
2604           <property name="visible">True</property>
2605           <property name="can_focus">True</property>
2606           <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
2607           <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
2608           <property name="shadow_type">GTK_SHADOW_IN</property>
2609           <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
2610
2611           <child>
2612             <widget class="GtkTextView" id="TextDialogTextView">
2613               <property name="visible">True</property>
2614               <property name="can_focus">True</property>
2615               <property name="editable">True</property>
2616               <property name="overwrite">False</property>
2617               <property name="accepts_tab">True</property>
2618               <property name="justification">GTK_JUSTIFY_LEFT</property>
2619               <property name="wrap_mode">GTK_WRAP_NONE</property>
2620               <property name="cursor_visible">True</property>
2621               <property name="pixels_above_lines">0</property>
2622               <property name="pixels_below_lines">0</property>
2623               <property name="pixels_inside_wrap">0</property>
2624               <property name="left_margin">0</property>
2625               <property name="right_margin">0</property>
2626               <property name="indent">0</property>
2627               <property name="text" translatable="yes"></property>
2628             </widget>
2629           </child>
2630         </widget>
2631         <packing>
2632           <property name="padding">0</property>
2633           <property name="expand">True</property>
2634           <property name="fill">True</property>
2635         </packing>
2636       </child>
2637     </widget>
2638   </child>
2639 </widget>
2640
2641 <widget class="GtkDialog" id="UriChoiceDialog">
2642   <property name="height_request">280</property>
2643   <property name="title" translatable="yes">Uri choice</property>
2644   <property name="type">GTK_WINDOW_TOPLEVEL</property>
2645   <property name="window_position">GTK_WIN_POS_CENTER</property>
2646   <property name="modal">True</property>
2647   <property name="resizable">True</property>
2648   <property name="destroy_with_parent">False</property>
2649   <property name="decorated">True</property>
2650   <property name="skip_taskbar_hint">False</property>
2651   <property name="skip_pager_hint">False</property>
2652   <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
2653   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
2654   <property name="focus_on_map">True</property>
2655   <property name="urgency_hint">False</property>
2656   <property name="has_separator">True</property>
2657
2658   <child internal-child="vbox">
2659     <widget class="GtkVBox" id="dialog-vbox3">
2660       <property name="visible">True</property>
2661       <property name="homogeneous">False</property>
2662       <property name="spacing">4</property>
2663
2664       <child internal-child="action_area">
2665         <widget class="GtkHButtonBox" id="dialog-action_area3">
2666           <property name="visible">True</property>
2667           <property name="layout_style">GTK_BUTTONBOX_END</property>
2668
2669           <child>
2670             <widget class="GtkButton" id="UriChoiceAbortButton">
2671               <property name="visible">True</property>
2672               <property name="can_default">True</property>
2673               <property name="can_focus">True</property>
2674               <property name="label">gtk-cancel</property>
2675               <property name="use_stock">True</property>
2676               <property name="relief">GTK_RELIEF_NORMAL</property>
2677               <property name="focus_on_click">True</property>
2678               <property name="response_id">-6</property>
2679             </widget>
2680           </child>
2681
2682           <child>
2683             <widget class="GtkButton" id="UriChoiceSelectedButton">
2684               <property name="visible">True</property>
2685               <property name="can_default">True</property>
2686               <property name="can_focus">True</property>
2687               <property name="relief">GTK_RELIEF_NORMAL</property>
2688               <property name="focus_on_click">True</property>
2689               <property name="response_id">0</property>
2690
2691               <child>
2692                 <widget class="GtkAlignment" id="alignment2">
2693                   <property name="visible">True</property>
2694                   <property name="xalign">0.5</property>
2695                   <property name="yalign">0.5</property>
2696                   <property name="xscale">0</property>
2697                   <property name="yscale">0</property>
2698                   <property name="top_padding">0</property>
2699                   <property name="bottom_padding">0</property>
2700                   <property name="left_padding">0</property>
2701                   <property name="right_padding">0</property>
2702
2703                   <child>
2704                     <widget class="GtkHBox" id="hbox3">
2705                       <property name="visible">True</property>
2706                       <property name="homogeneous">False</property>
2707                       <property name="spacing">2</property>
2708
2709                       <child>
2710                         <widget class="GtkImage" id="image19">
2711                           <property name="visible">True</property>
2712                           <property name="stock">gtk-index</property>
2713                           <property name="icon_size">4</property>
2714                           <property name="xalign">0.5</property>
2715                           <property name="yalign">0.5</property>
2716                           <property name="xpad">0</property>
2717                           <property name="ypad">0</property>
2718                         </widget>
2719                         <packing>
2720                           <property name="padding">0</property>
2721                           <property name="expand">False</property>
2722                           <property name="fill">False</property>
2723                         </packing>
2724                       </child>
2725
2726                       <child>
2727                         <widget class="GtkLabel" id="label3">
2728                           <property name="visible">True</property>
2729                           <property name="label" translatable="yes">Try _Selected</property>
2730                           <property name="use_underline">True</property>
2731                           <property name="use_markup">False</property>
2732                           <property name="justify">GTK_JUSTIFY_LEFT</property>
2733                           <property name="wrap">False</property>
2734                           <property name="selectable">False</property>
2735                           <property name="xalign">0.5</property>
2736                           <property name="yalign">0.5</property>
2737                           <property name="xpad">0</property>
2738                           <property name="ypad">0</property>
2739                           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2740                           <property name="width_chars">-1</property>
2741                           <property name="single_line_mode">False</property>
2742                           <property name="angle">0</property>
2743                         </widget>
2744                         <packing>
2745                           <property name="padding">0</property>
2746                           <property name="expand">False</property>
2747                           <property name="fill">False</property>
2748                         </packing>
2749                       </child>
2750                     </widget>
2751                   </child>
2752                 </widget>
2753               </child>
2754             </widget>
2755           </child>
2756
2757           <child>
2758             <widget class="GtkButton" id="UriChoiceConstantsButton">
2759               <property name="visible">True</property>
2760               <property name="sensitive">False</property>
2761               <property name="can_default">True</property>
2762               <property name="can_focus">True</property>
2763               <property name="label" translatable="yes">Try Constants</property>
2764               <property name="use_underline">True</property>
2765               <property name="relief">GTK_RELIEF_NORMAL</property>
2766               <property name="focus_on_click">True</property>
2767               <property name="response_id">0</property>
2768             </widget>
2769           </child>
2770
2771           <child>
2772             <widget class="GtkButton" id="copyButton">
2773               <property name="can_default">True</property>
2774               <property name="can_focus">True</property>
2775               <property name="label">gtk-copy</property>
2776               <property name="use_stock">True</property>
2777               <property name="relief">GTK_RELIEF_NORMAL</property>
2778               <property name="focus_on_click">True</property>
2779               <property name="response_id">0</property>
2780             </widget>
2781           </child>
2782
2783           <child>
2784             <widget class="GtkButton" id="uriChoiceAutoButton">
2785               <property name="visible">True</property>
2786               <property name="can_default">True</property>
2787               <property name="can_focus">True</property>
2788               <property name="relief">GTK_RELIEF_NORMAL</property>
2789               <property name="focus_on_click">True</property>
2790               <property name="response_id">0</property>
2791
2792               <child>
2793                 <widget class="GtkAlignment" id="alignment5">
2794                   <property name="visible">True</property>
2795                   <property name="xalign">0.5</property>
2796                   <property name="yalign">0.5</property>
2797                   <property name="xscale">0</property>
2798                   <property name="yscale">0</property>
2799                   <property name="top_padding">0</property>
2800                   <property name="bottom_padding">0</property>
2801                   <property name="left_padding">0</property>
2802                   <property name="right_padding">0</property>
2803
2804                   <child>
2805                     <widget class="GtkHBox" id="hbox16">
2806                       <property name="visible">True</property>
2807                       <property name="homogeneous">False</property>
2808                       <property name="spacing">2</property>
2809
2810                       <child>
2811                         <widget class="GtkImage" id="image302">
2812                           <property name="visible">True</property>
2813                           <property name="stock">gtk-ok</property>
2814                           <property name="icon_size">4</property>
2815                           <property name="xalign">0.5</property>
2816                           <property name="yalign">0.5</property>
2817                           <property name="xpad">0</property>
2818                           <property name="ypad">0</property>
2819                         </widget>
2820                         <packing>
2821                           <property name="padding">0</property>
2822                           <property name="expand">False</property>
2823                           <property name="fill">False</property>
2824                         </packing>
2825                       </child>
2826
2827                       <child>
2828                         <widget class="GtkLabel" id="okLabel">
2829                           <property name="visible">True</property>
2830                           <property name="label" translatable="yes">bla bla bla</property>
2831                           <property name="use_underline">True</property>
2832                           <property name="use_markup">False</property>
2833                           <property name="justify">GTK_JUSTIFY_LEFT</property>
2834                           <property name="wrap">False</property>
2835                           <property name="selectable">False</property>
2836                           <property name="xalign">0.5</property>
2837                           <property name="yalign">0.5</property>
2838                           <property name="xpad">0</property>
2839                           <property name="ypad">0</property>
2840                           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2841                           <property name="width_chars">-1</property>
2842                           <property name="single_line_mode">False</property>
2843                           <property name="angle">0</property>
2844                         </widget>
2845                         <packing>
2846                           <property name="padding">0</property>
2847                           <property name="expand">False</property>
2848                           <property name="fill">False</property>
2849                         </packing>
2850                       </child>
2851                     </widget>
2852                   </child>
2853                 </widget>
2854               </child>
2855             </widget>
2856           </child>
2857
2858           <child>
2859             <widget class="GtkButton" id="uriChoiceForwardButton">
2860               <property name="visible">True</property>
2861               <property name="can_default">True</property>
2862               <property name="can_focus">True</property>
2863               <property name="label">gtk-go-forward</property>
2864               <property name="use_stock">True</property>
2865               <property name="relief">GTK_RELIEF_NORMAL</property>
2866               <property name="focus_on_click">True</property>
2867               <property name="response_id">0</property>
2868             </widget>
2869           </child>
2870         </widget>
2871         <packing>
2872           <property name="padding">0</property>
2873           <property name="expand">False</property>
2874           <property name="fill">True</property>
2875           <property name="pack_type">GTK_PACK_END</property>
2876         </packing>
2877       </child>
2878
2879       <child>
2880         <widget class="GtkVBox" id="vbox2">
2881           <property name="visible">True</property>
2882           <property name="homogeneous">False</property>
2883           <property name="spacing">3</property>
2884
2885           <child>
2886             <widget class="GtkLabel" id="UriChoiceLabel">
2887               <property name="visible">True</property>
2888               <property name="label" translatable="yes">some informative message here ...</property>
2889               <property name="use_underline">False</property>
2890               <property name="use_markup">False</property>
2891               <property name="justify">GTK_JUSTIFY_LEFT</property>
2892               <property name="wrap">False</property>
2893               <property name="selectable">False</property>
2894               <property name="xalign">0.5</property>
2895               <property name="yalign">0.5</property>
2896               <property name="xpad">0</property>
2897               <property name="ypad">0</property>
2898               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2899               <property name="width_chars">-1</property>
2900               <property name="single_line_mode">False</property>
2901               <property name="angle">0</property>
2902             </widget>
2903             <packing>
2904               <property name="padding">0</property>
2905               <property name="expand">False</property>
2906               <property name="fill">False</property>
2907             </packing>
2908           </child>
2909
2910           <child>
2911             <widget class="GtkScrolledWindow" id="scrolledwindow1">
2912               <property name="width_request">400</property>
2913               <property name="visible">True</property>
2914               <property name="can_focus">True</property>
2915               <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
2916               <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
2917               <property name="shadow_type">GTK_SHADOW_NONE</property>
2918               <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
2919
2920               <child>
2921                 <widget class="GtkTreeView" id="UriChoiceTreeView">
2922                   <property name="visible">True</property>
2923                   <property name="can_focus">True</property>
2924                   <property name="headers_visible">False</property>
2925                   <property name="rules_hint">False</property>
2926                   <property name="reorderable">False</property>
2927                   <property name="enable_search">True</property>
2928                   <property name="fixed_height_mode">False</property>
2929                   <property name="hover_selection">False</property>
2930                   <property name="hover_expand">False</property>
2931                 </widget>
2932               </child>
2933             </widget>
2934             <packing>
2935               <property name="padding">0</property>
2936               <property name="expand">True</property>
2937               <property name="fill">True</property>
2938             </packing>
2939           </child>
2940
2941           <child>
2942             <widget class="GtkHBox" id="uriEntryHBox">
2943               <property name="visible">True</property>
2944               <property name="homogeneous">False</property>
2945               <property name="spacing">0</property>
2946
2947               <child>
2948                 <widget class="GtkLabel" id="label2">
2949                   <property name="visible">True</property>
2950                   <property name="label" translatable="yes">URI: </property>
2951                   <property name="use_underline">False</property>
2952                   <property name="use_markup">False</property>
2953                   <property name="justify">GTK_JUSTIFY_LEFT</property>
2954                   <property name="wrap">False</property>
2955                   <property name="selectable">False</property>
2956                   <property name="xalign">0.5</property>
2957                   <property name="yalign">0.5</property>
2958                   <property name="xpad">0</property>
2959                   <property name="ypad">0</property>
2960                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2961                   <property name="width_chars">-1</property>
2962                   <property name="single_line_mode">False</property>
2963                   <property name="angle">0</property>
2964                 </widget>
2965                 <packing>
2966                   <property name="padding">0</property>
2967                   <property name="expand">False</property>
2968                   <property name="fill">False</property>
2969                 </packing>
2970               </child>
2971
2972               <child>
2973                 <widget class="GtkEntry" id="entry1">
2974                   <property name="visible">True</property>
2975                   <property name="can_focus">True</property>
2976                   <property name="editable">True</property>
2977                   <property name="visibility">True</property>
2978                   <property name="max_length">0</property>
2979                   <property name="text" translatable="yes"></property>
2980                   <property name="has_frame">True</property>
2981                   <property name="invisible_char">*</property>
2982                   <property name="activates_default">False</property>
2983                 </widget>
2984                 <packing>
2985                   <property name="padding">0</property>
2986                   <property name="expand">True</property>
2987                   <property name="fill">True</property>
2988                 </packing>
2989               </child>
2990             </widget>
2991             <packing>
2992               <property name="padding">0</property>
2993               <property name="expand">False</property>
2994               <property name="fill">True</property>
2995             </packing>
2996           </child>
2997         </widget>
2998         <packing>
2999           <property name="padding">0</property>
3000           <property name="expand">True</property>
3001           <property name="fill">True</property>
3002         </packing>
3003       </child>
3004     </widget>
3005   </child>
3006 </widget>
3007
3008 <widget class="GtkWindow" id="FindReplWin">
3009   <property name="border_width">5</property>
3010   <property name="title" translatable="yes">Find &amp; Replace</property>
3011   <property name="type">GTK_WINDOW_TOPLEVEL</property>
3012   <property name="window_position">GTK_WIN_POS_MOUSE</property>
3013   <property name="modal">False</property>
3014   <property name="resizable">False</property>
3015   <property name="destroy_with_parent">False</property>
3016   <property name="decorated">True</property>
3017   <property name="skip_taskbar_hint">False</property>
3018   <property name="skip_pager_hint">False</property>
3019   <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
3020   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
3021   <property name="focus_on_map">True</property>
3022   <property name="urgency_hint">False</property>
3023
3024   <child>
3025     <widget class="GtkTable" id="table1">
3026       <property name="visible">True</property>
3027       <property name="n_rows">3</property>
3028       <property name="n_columns">2</property>
3029       <property name="homogeneous">False</property>
3030       <property name="row_spacing">5</property>
3031       <property name="column_spacing">0</property>
3032
3033       <child>
3034         <widget class="GtkHBox" id="hbox19">
3035           <property name="visible">True</property>
3036           <property name="homogeneous">False</property>
3037           <property name="spacing">5</property>
3038
3039           <child>
3040             <widget class="GtkVBox" id="vbox9">
3041               <property name="visible">True</property>
3042               <property name="homogeneous">False</property>
3043               <property name="spacing">0</property>
3044
3045               <child>
3046                 <placeholder/>
3047               </child>
3048
3049               <child>
3050                 <placeholder/>
3051               </child>
3052             </widget>
3053             <packing>
3054               <property name="padding">0</property>
3055               <property name="expand">True</property>
3056               <property name="fill">True</property>
3057             </packing>
3058           </child>
3059
3060           <child>
3061             <widget class="GtkButton" id="findButton">
3062               <property name="visible">True</property>
3063               <property name="can_focus">True</property>
3064               <property name="label">gtk-find</property>
3065               <property name="use_stock">True</property>
3066               <property name="relief">GTK_RELIEF_NORMAL</property>
3067               <property name="focus_on_click">True</property>
3068             </widget>
3069             <packing>
3070               <property name="padding">0</property>
3071               <property name="expand">False</property>
3072               <property name="fill">False</property>
3073             </packing>
3074           </child>
3075
3076           <child>
3077             <widget class="GtkButton" id="findReplButton">
3078               <property name="visible">True</property>
3079               <property name="can_focus">True</property>
3080               <property name="relief">GTK_RELIEF_NORMAL</property>
3081               <property name="focus_on_click">True</property>
3082
3083               <child>
3084                 <widget class="GtkAlignment" id="alignment13">
3085                   <property name="visible">True</property>
3086                   <property name="xalign">0.5</property>
3087                   <property name="yalign">0.5</property>
3088                   <property name="xscale">0</property>
3089                   <property name="yscale">0</property>
3090                   <property name="top_padding">0</property>
3091                   <property name="bottom_padding">0</property>
3092                   <property name="left_padding">0</property>
3093                   <property name="right_padding">0</property>
3094
3095                   <child>
3096                     <widget class="GtkHBox" id="hbox20">
3097                       <property name="visible">True</property>
3098                       <property name="homogeneous">False</property>
3099                       <property name="spacing">2</property>
3100
3101                       <child>
3102                         <widget class="GtkImage" id="image357">
3103                           <property name="visible">True</property>
3104                           <property name="stock">gtk-find-and-replace</property>
3105                           <property name="icon_size">4</property>
3106                           <property name="xalign">0.5</property>
3107                           <property name="yalign">0.5</property>
3108                           <property name="xpad">0</property>
3109                           <property name="ypad">0</property>
3110                         </widget>
3111                         <packing>
3112                           <property name="padding">0</property>
3113                           <property name="expand">False</property>
3114                           <property name="fill">False</property>
3115                         </packing>
3116                       </child>
3117
3118                       <child>
3119                         <widget class="GtkLabel" id="label19">
3120                           <property name="visible">True</property>
3121                           <property name="label">_Replace</property>
3122                           <property name="use_underline">True</property>
3123                           <property name="use_markup">False</property>
3124                           <property name="justify">GTK_JUSTIFY_LEFT</property>
3125                           <property name="wrap">False</property>
3126                           <property name="selectable">False</property>
3127                           <property name="xalign">0.5</property>
3128                           <property name="yalign">0.5</property>
3129                           <property name="xpad">0</property>
3130                           <property name="ypad">0</property>
3131                           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
3132                           <property name="width_chars">-1</property>
3133                           <property name="single_line_mode">False</property>
3134                           <property name="angle">0</property>
3135                         </widget>
3136                         <packing>
3137                           <property name="padding">0</property>
3138                           <property name="expand">False</property>
3139                           <property name="fill">False</property>
3140                         </packing>
3141                       </child>
3142                     </widget>
3143                   </child>
3144                 </widget>
3145               </child>
3146             </widget>
3147             <packing>
3148               <property name="padding">0</property>
3149               <property name="expand">False</property>
3150               <property name="fill">False</property>
3151             </packing>
3152           </child>
3153
3154           <child>
3155             <widget class="GtkButton" id="cancelButton">
3156               <property name="visible">True</property>
3157               <property name="can_focus">True</property>
3158               <property name="label">gtk-cancel</property>
3159               <property name="use_stock">True</property>
3160               <property name="relief">GTK_RELIEF_NORMAL</property>
3161               <property name="focus_on_click">True</property>
3162             </widget>
3163             <packing>
3164               <property name="padding">0</property>
3165               <property name="expand">False</property>
3166               <property name="fill">False</property>
3167             </packing>
3168           </child>
3169         </widget>
3170         <packing>
3171           <property name="left_attach">0</property>
3172           <property name="right_attach">2</property>
3173           <property name="top_attach">2</property>
3174           <property name="bottom_attach">3</property>
3175           <property name="y_padding">5</property>
3176         </packing>
3177       </child>
3178
3179       <child>
3180         <widget class="GtkEntry" id="replaceEntry">
3181           <property name="visible">True</property>
3182           <property name="can_focus">True</property>
3183           <property name="editable">True</property>
3184           <property name="visibility">True</property>
3185           <property name="max_length">0</property>
3186           <property name="text" translatable="yes"></property>
3187           <property name="has_frame">True</property>
3188           <property name="invisible_char">*</property>
3189           <property name="activates_default">False</property>
3190         </widget>
3191         <packing>
3192           <property name="left_attach">1</property>
3193           <property name="right_attach">2</property>
3194           <property name="top_attach">1</property>
3195           <property name="bottom_attach">2</property>
3196           <property name="y_options"></property>
3197         </packing>
3198       </child>
3199
3200       <child>
3201         <widget class="GtkEntry" id="findEntry">
3202           <property name="visible">True</property>
3203           <property name="can_default">True</property>
3204           <property name="has_default">True</property>
3205           <property name="can_focus">True</property>
3206           <property name="has_focus">True</property>
3207           <property name="editable">True</property>
3208           <property name="visibility">True</property>
3209           <property name="max_length">0</property>
3210           <property name="text" translatable="yes"></property>
3211           <property name="has_frame">True</property>
3212           <property name="invisible_char">*</property>
3213           <property name="activates_default">False</property>
3214         </widget>
3215         <packing>
3216           <property name="left_attach">1</property>
3217           <property name="right_attach">2</property>
3218           <property name="top_attach">0</property>
3219           <property name="bottom_attach">1</property>
3220           <property name="y_options"></property>
3221         </packing>
3222       </child>
3223
3224       <child>
3225         <widget class="GtkLabel" id="label18">
3226           <property name="visible">True</property>
3227           <property name="label" translatable="yes">Replace with: </property>
3228           <property name="use_underline">False</property>
3229           <property name="use_markup">False</property>
3230           <property name="justify">GTK_JUSTIFY_LEFT</property>
3231           <property name="wrap">False</property>
3232           <property name="selectable">False</property>
3233           <property name="xalign">0</property>
3234           <property name="yalign">0.5</property>
3235           <property name="xpad">0</property>
3236           <property name="ypad">0</property>
3237           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
3238           <property name="width_chars">-1</property>
3239           <property name="single_line_mode">False</property>
3240           <property name="angle">0</property>
3241         </widget>
3242         <packing>
3243           <property name="left_attach">0</property>
3244           <property name="right_attach">1</property>
3245           <property name="top_attach">1</property>
3246           <property name="bottom_attach">2</property>
3247           <property name="x_options"></property>
3248           <property name="y_options"></property>
3249         </packing>
3250       </child>
3251
3252       <child>
3253         <widget class="GtkLabel" id="label17">
3254           <property name="visible">True</property>
3255           <property name="label" translatable="yes">Find:</property>
3256           <property name="use_underline">False</property>
3257           <property name="use_markup">False</property>
3258           <property name="justify">GTK_JUSTIFY_LEFT</property>
3259           <property name="wrap">False</property>
3260           <property name="selectable">False</property>
3261           <property name="xalign">0</property>
3262           <property name="yalign">0.5</property>
3263           <property name="xpad">0</property>
3264           <property name="ypad">0</property>
3265           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
3266           <property name="width_chars">-1</property>
3267           <property name="single_line_mode">False</property>
3268           <property name="angle">0</property>
3269         </widget>
3270         <packing>
3271           <property name="left_attach">0</property>
3272           <property name="right_attach">1</property>
3273           <property name="top_attach">0</property>
3274           <property name="bottom_attach">1</property>
3275           <property name="x_options"></property>
3276           <property name="y_options"></property>
3277         </packing>
3278       </child>
3279     </widget>
3280   </child>
3281 </widget>
3282
3283 <widget class="GtkDialog" id="DisambiguationErrors">
3284   <property name="width_request">450</property>
3285   <property name="height_request">400</property>
3286   <property name="title" translatable="yes">title</property>
3287   <property name="type">GTK_WINDOW_TOPLEVEL</property>
3288   <property name="window_position">GTK_WIN_POS_NONE</property>
3289   <property name="modal">True</property>
3290   <property name="resizable">True</property>
3291   <property name="destroy_with_parent">False</property>
3292   <property name="decorated">True</property>
3293   <property name="skip_taskbar_hint">False</property>
3294   <property name="skip_pager_hint">False</property>
3295   <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
3296   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
3297   <property name="focus_on_map">True</property>
3298   <property name="urgency_hint">False</property>
3299   <property name="has_separator">True</property>
3300
3301   <child internal-child="vbox">
3302     <widget class="GtkVBox" id="vbox14">
3303       <property name="visible">True</property>
3304       <property name="homogeneous">False</property>
3305       <property name="spacing">0</property>
3306
3307       <child internal-child="action_area">
3308         <widget class="GtkHButtonBox" id="hbuttonbox2">
3309           <property name="visible">True</property>
3310           <property name="layout_style">GTK_BUTTONBOX_END</property>
3311
3312           <child>
3313             <widget class="GtkButton" id="button6">
3314               <property name="visible">True</property>
3315               <property name="can_default">True</property>
3316               <property name="can_focus">True</property>
3317               <property name="label">gtk-help</property>
3318               <property name="use_stock">True</property>
3319               <property name="relief">GTK_RELIEF_NORMAL</property>
3320               <property name="focus_on_click">True</property>
3321               <property name="response_id">-11</property>
3322             </widget>
3323           </child>
3324
3325           <child>
3326             <widget class="GtkButton" id="disambiguationErrorsMoreErrors">
3327               <property name="visible">True</property>
3328               <property name="can_default">True</property>
3329               <property name="can_focus">True</property>
3330               <property name="relief">GTK_RELIEF_NORMAL</property>
3331               <property name="focus_on_click">True</property>
3332               <property name="response_id">-6</property>
3333
3334               <child>
3335                 <widget class="GtkAlignment" id="alignment18">
3336                   <property name="visible">True</property>
3337                   <property name="xalign">0.5</property>
3338                   <property name="yalign">0.5</property>
3339                   <property name="xscale">0</property>
3340                   <property name="yscale">0</property>
3341                   <property name="top_padding">0</property>
3342                   <property name="bottom_padding">0</property>
3343                   <property name="left_padding">0</property>
3344                   <property name="right_padding">0</property>
3345
3346                   <child>
3347                     <widget class="GtkHBox" id="hbox29">
3348                       <property name="visible">True</property>
3349                       <property name="homogeneous">False</property>
3350                       <property name="spacing">2</property>
3351
3352                       <child>
3353                         <widget class="GtkImage" id="image926">
3354                           <property name="visible">True</property>
3355                           <property name="stock">gtk-zoom-in</property>
3356                           <property name="icon_size">4</property>
3357                           <property name="xalign">0.5</property>
3358                           <property name="yalign">0.5</property>
3359                           <property name="xpad">0</property>
3360                           <property name="ypad">0</property>
3361                         </widget>
3362                         <packing>
3363                           <property name="padding">0</property>
3364                           <property name="expand">False</property>
3365                           <property name="fill">False</property>
3366                         </packing>
3367                       </child>
3368
3369                       <child>
3370                         <widget class="GtkLabel" id="label28">
3371                           <property name="visible">True</property>
3372                           <property name="label">More</property>
3373                           <property name="use_underline">True</property>
3374                           <property name="use_markup">False</property>
3375                           <property name="justify">GTK_JUSTIFY_LEFT</property>
3376                           <property name="wrap">False</property>
3377                           <property name="selectable">False</property>
3378                           <property name="xalign">0.5</property>
3379                           <property name="yalign">0.5</property>
3380                           <property name="xpad">0</property>
3381                           <property name="ypad">0</property>
3382                           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
3383                           <property name="width_chars">-1</property>
3384                           <property name="single_line_mode">False</property>
3385                           <property name="angle">0</property>
3386                         </widget>
3387                         <packing>
3388                           <property name="padding">0</property>
3389                           <property name="expand">False</property>
3390                           <property name="fill">False</property>
3391                         </packing>
3392                       </child>
3393                     </widget>
3394                   </child>
3395                 </widget>
3396               </child>
3397             </widget>
3398           </child>
3399
3400           <child>
3401             <widget class="GtkButton" id="disambiguationErrorsCancelButton">
3402               <property name="visible">True</property>
3403               <property name="can_default">True</property>
3404               <property name="has_default">True</property>
3405               <property name="can_focus">True</property>
3406               <property name="label">gtk-cancel</property>
3407               <property name="use_stock">True</property>
3408               <property name="relief">GTK_RELIEF_NORMAL</property>
3409               <property name="focus_on_click">True</property>
3410               <property name="response_id">-6</property>
3411             </widget>
3412           </child>
3413
3414           <child>
3415             <widget class="GtkButton" id="disambiguationErrorsOkButton">
3416               <property name="visible">True</property>
3417               <property name="can_default">True</property>
3418               <property name="can_focus">True</property>
3419               <property name="label">gtk-ok</property>
3420               <property name="use_stock">True</property>
3421               <property name="relief">GTK_RELIEF_NORMAL</property>
3422               <property name="focus_on_click">True</property>
3423               <property name="response_id">-5</property>
3424             </widget>
3425           </child>
3426         </widget>
3427         <packing>
3428           <property name="padding">0</property>
3429           <property name="expand">False</property>
3430           <property name="fill">True</property>
3431           <property name="pack_type">GTK_PACK_END</property>
3432         </packing>
3433       </child>
3434
3435       <child>
3436         <widget class="GtkVBox" id="vbox15">
3437           <property name="visible">True</property>
3438           <property name="homogeneous">False</property>
3439           <property name="spacing">0</property>
3440
3441           <child>
3442             <widget class="GtkLabel" id="disambiguationErrorsLabel">
3443               <property name="visible">True</property>
3444               <property name="label" translatable="yes">some informative message here ...</property>
3445               <property name="use_underline">False</property>
3446               <property name="use_markup">False</property>
3447               <property name="justify">GTK_JUSTIFY_LEFT</property>
3448               <property name="wrap">False</property>
3449               <property name="selectable">False</property>
3450               <property name="xalign">0.5</property>
3451               <property name="yalign">0.5</property>
3452               <property name="xpad">0</property>
3453               <property name="ypad">0</property>
3454               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
3455               <property name="width_chars">-1</property>
3456               <property name="single_line_mode">False</property>
3457               <property name="angle">0</property>
3458             </widget>
3459             <packing>
3460               <property name="padding">0</property>
3461               <property name="expand">False</property>
3462               <property name="fill">False</property>
3463             </packing>
3464           </child>
3465
3466           <child>
3467             <widget class="GtkScrolledWindow" id="scrolledwindow12">
3468               <property name="visible">True</property>
3469               <property name="can_focus">True</property>
3470               <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
3471               <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
3472               <property name="shadow_type">GTK_SHADOW_IN</property>
3473               <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
3474
3475               <child>
3476                 <widget class="GtkTreeView" id="treeview">
3477                   <property name="visible">True</property>
3478                   <property name="can_focus">True</property>
3479                   <property name="headers_visible">False</property>
3480                   <property name="rules_hint">False</property>
3481                   <property name="reorderable">False</property>
3482                   <property name="enable_search">True</property>
3483                   <property name="fixed_height_mode">False</property>
3484                   <property name="hover_selection">False</property>
3485                   <property name="hover_expand">False</property>
3486                 </widget>
3487               </child>
3488             </widget>
3489             <packing>
3490               <property name="padding">0</property>
3491               <property name="expand">True</property>
3492               <property name="fill">True</property>
3493             </packing>
3494           </child>
3495         </widget>
3496         <packing>
3497           <property name="padding">0</property>
3498           <property name="expand">True</property>
3499           <property name="fill">True</property>
3500         </packing>
3501       </child>
3502     </widget>
3503   </child>
3504 </widget>
3505
3506 <widget class="GtkWindow" id="AutoWin">
3507   <property name="width_request">600</property>
3508   <property name="height_request">400</property>
3509   <property name="visible">True</property>
3510   <property name="title" translatable="yes">Auto</property>
3511   <property name="type">GTK_WINDOW_TOPLEVEL</property>
3512   <property name="window_position">GTK_WIN_POS_NONE</property>
3513   <property name="modal">False</property>
3514   <property name="resizable">True</property>
3515   <property name="destroy_with_parent">False</property>
3516   <property name="decorated">True</property>
3517   <property name="skip_taskbar_hint">False</property>
3518   <property name="skip_pager_hint">False</property>
3519   <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
3520   <property name="gravity">GDK_GRAVITY_SOUTH_EAST</property>
3521   <property name="focus_on_map">True</property>
3522   <property name="urgency_hint">False</property>
3523
3524   <child>
3525     <widget class="GtkVBox" id="vbox17">
3526       <property name="visible">True</property>
3527       <property name="homogeneous">False</property>
3528       <property name="spacing">0</property>
3529
3530       <child>
3531         <widget class="GtkHBox" id="hbox30">
3532           <property name="visible">True</property>
3533           <property name="homogeneous">False</property>
3534           <property name="spacing">2</property>
3535
3536           <child>
3537             <widget class="GtkScrolledWindow" id="scrolledwindowAREA">
3538               <property name="visible">True</property>
3539               <property name="can_focus">True</property>
3540               <property name="hscrollbar_policy">GTK_POLICY_ALWAYS</property>
3541               <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
3542               <property name="shadow_type">GTK_SHADOW_IN</property>
3543               <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
3544
3545               <child>
3546                 <widget class="GtkViewport" id="viewportAREA">
3547                   <property name="visible">True</property>
3548                   <property name="shadow_type">GTK_SHADOW_IN</property>
3549
3550                   <child>
3551                     <widget class="GtkTable" id="table">
3552                       <property name="visible">True</property>
3553                       <property name="n_rows">3</property>
3554                       <property name="n_columns">3</property>
3555                       <property name="homogeneous">False</property>
3556                       <property name="row_spacing">0</property>
3557                       <property name="column_spacing">0</property>
3558                     </widget>
3559                   </child>
3560                 </widget>
3561               </child>
3562             </widget>
3563             <packing>
3564               <property name="padding">0</property>
3565               <property name="expand">True</property>
3566               <property name="fill">True</property>
3567             </packing>
3568           </child>
3569
3570           <child>
3571             <widget class="GtkVBox" id="vbox18">
3572               <property name="visible">True</property>
3573               <property name="homogeneous">False</property>
3574               <property name="spacing">0</property>
3575
3576               <child>
3577                 <widget class="GtkButton" id="buttonUP">
3578                   <property name="visible">True</property>
3579                   <property name="can_focus">True</property>
3580                   <property name="relief">GTK_RELIEF_NORMAL</property>
3581                   <property name="focus_on_click">True</property>
3582
3583                   <child>
3584                     <widget class="GtkAlignment" id="alignment19">
3585                       <property name="visible">True</property>
3586                       <property name="xalign">0.5</property>
3587                       <property name="yalign">0.5</property>
3588                       <property name="xscale">0</property>
3589                       <property name="yscale">0</property>
3590                       <property name="top_padding">0</property>
3591                       <property name="bottom_padding">0</property>
3592                       <property name="left_padding">0</property>
3593                       <property name="right_padding">0</property>
3594
3595                       <child>
3596                         <widget class="GtkHBox" id="hbox31">
3597                           <property name="visible">True</property>
3598                           <property name="homogeneous">False</property>
3599                           <property name="spacing">2</property>
3600
3601                           <child>
3602                             <widget class="GtkImage" id="image1066">
3603                               <property name="visible">True</property>
3604                               <property name="stock">gtk-go-up</property>
3605                               <property name="icon_size">4</property>
3606                               <property name="xalign">0.5</property>
3607                               <property name="yalign">0.5</property>
3608                               <property name="xpad">0</property>
3609                               <property name="ypad">0</property>
3610                             </widget>
3611                             <packing>
3612                               <property name="padding">0</property>
3613                               <property name="expand">False</property>
3614                               <property name="fill">False</property>
3615                             </packing>
3616                           </child>
3617
3618                           <child>
3619                             <widget class="GtkLabel" id="label30">
3620                               <property name="visible">True</property>
3621                               <property name="label" translatable="yes"></property>
3622                               <property name="use_underline">True</property>
3623                               <property name="use_markup">False</property>
3624                               <property name="justify">GTK_JUSTIFY_LEFT</property>
3625                               <property name="wrap">False</property>
3626                               <property name="selectable">False</property>
3627                               <property name="xalign">0.5</property>
3628                               <property name="yalign">0.5</property>
3629                               <property name="xpad">0</property>
3630                               <property name="ypad">0</property>
3631                               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
3632                               <property name="width_chars">-1</property>
3633                               <property name="single_line_mode">False</property>
3634                               <property name="angle">0</property>
3635                             </widget>
3636                             <packing>
3637                               <property name="padding">0</property>
3638                               <property name="expand">False</property>
3639                               <property name="fill">False</property>
3640                             </packing>
3641                           </child>
3642                         </widget>
3643                       </child>
3644                     </widget>
3645                   </child>
3646                 </widget>
3647                 <packing>
3648                   <property name="padding">0</property>
3649                   <property name="expand">True</property>
3650                   <property name="fill">True</property>
3651                 </packing>
3652               </child>
3653
3654               <child>
3655                 <widget class="GtkButton" id="buttonDOWN">
3656                   <property name="visible">True</property>
3657                   <property name="can_focus">True</property>
3658                   <property name="relief">GTK_RELIEF_NORMAL</property>
3659                   <property name="focus_on_click">True</property>
3660
3661                   <child>
3662                     <widget class="GtkImage" id="image1065">
3663                       <property name="visible">True</property>
3664                       <property name="stock">gtk-go-down</property>
3665                       <property name="icon_size">4</property>
3666                       <property name="xalign">0.5</property>
3667                       <property name="yalign">0.5</property>
3668                       <property name="xpad">0</property>
3669                       <property name="ypad">0</property>
3670                     </widget>
3671                   </child>
3672                 </widget>
3673                 <packing>
3674                   <property name="padding">0</property>
3675                   <property name="expand">True</property>
3676                   <property name="fill">True</property>
3677                 </packing>
3678               </child>
3679             </widget>
3680             <packing>
3681               <property name="padding">0</property>
3682               <property name="expand">False</property>
3683               <property name="fill">False</property>
3684             </packing>
3685           </child>
3686         </widget>
3687         <packing>
3688           <property name="padding">0</property>
3689           <property name="expand">True</property>
3690           <property name="fill">True</property>
3691         </packing>
3692       </child>
3693
3694       <child>
3695         <widget class="GtkHSeparator" id="hseparator3">
3696           <property name="visible">True</property>
3697         </widget>
3698         <packing>
3699           <property name="padding">3</property>
3700           <property name="expand">False</property>
3701           <property name="fill">True</property>
3702         </packing>
3703       </child>
3704
3705       <child>
3706         <widget class="GtkHBox" id="hbox32">
3707           <property name="visible">True</property>
3708           <property name="homogeneous">False</property>
3709           <property name="spacing">0</property>
3710
3711           <child>
3712             <widget class="GtkLabel" id="labelLAST">
3713               <property name="visible">True</property>
3714               <property name="label" translatable="yes">Last:</property>
3715               <property name="use_underline">False</property>
3716               <property name="use_markup">False</property>
3717               <property name="justify">GTK_JUSTIFY_LEFT</property>
3718               <property name="wrap">False</property>
3719               <property name="selectable">False</property>
3720               <property name="xalign">0</property>
3721               <property name="yalign">0.5</property>
3722               <property name="xpad">0</property>
3723               <property name="ypad">0</property>
3724               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
3725               <property name="width_chars">-1</property>
3726               <property name="single_line_mode">False</property>
3727               <property name="angle">0</property>
3728             </widget>
3729             <packing>
3730               <property name="padding">0</property>
3731               <property name="expand">True</property>
3732               <property name="fill">True</property>
3733             </packing>
3734           </child>
3735
3736           <child>
3737             <widget class="GtkHButtonBox" id="hbuttonbox3">
3738               <property name="border_width">4</property>
3739               <property name="visible">True</property>
3740               <property name="layout_style">GTK_BUTTONBOX_END</property>
3741               <property name="spacing">4</property>
3742
3743               <child>
3744                 <widget class="GtkButton" id="buttonPAUSE">
3745                   <property name="visible">True</property>
3746                   <property name="can_default">True</property>
3747                   <property name="can_focus">True</property>
3748                   <property name="label">gtk-media-pause</property>
3749                   <property name="use_stock">True</property>
3750                   <property name="relief">GTK_RELIEF_NORMAL</property>
3751                   <property name="focus_on_click">True</property>
3752                 </widget>
3753               </child>
3754
3755               <child>
3756                 <widget class="GtkButton" id="buttonPLAY">
3757                   <property name="visible">True</property>
3758                   <property name="can_default">True</property>
3759                   <property name="can_focus">True</property>
3760                   <property name="label">gtk-media-play</property>
3761                   <property name="use_stock">True</property>
3762                   <property name="relief">GTK_RELIEF_NORMAL</property>
3763                   <property name="focus_on_click">True</property>
3764                 </widget>
3765               </child>
3766
3767               <child>
3768                 <widget class="GtkButton" id="buttonNEXT">
3769                   <property name="visible">True</property>
3770                   <property name="can_default">True</property>
3771                   <property name="can_focus">True</property>
3772                   <property name="label">gtk-media-next</property>
3773                   <property name="use_stock">True</property>
3774                   <property name="relief">GTK_RELIEF_NORMAL</property>
3775                   <property name="focus_on_click">True</property>
3776                 </widget>
3777               </child>
3778
3779               <child>
3780                 <widget class="GtkButton" id="buttonCLOSE">
3781                   <property name="visible">True</property>
3782                   <property name="can_default">True</property>
3783                   <property name="can_focus">True</property>
3784                   <property name="label">gtk-close</property>
3785                   <property name="use_stock">True</property>
3786                   <property name="relief">GTK_RELIEF_NORMAL</property>
3787                   <property name="focus_on_click">True</property>
3788                 </widget>
3789               </child>
3790             </widget>
3791             <packing>
3792               <property name="padding">0</property>
3793               <property name="expand">True</property>
3794               <property name="fill">True</property>
3795             </packing>
3796           </child>
3797         </widget>
3798         <packing>
3799           <property name="padding">0</property>
3800           <property name="expand">False</property>
3801           <property name="fill">True</property>
3802         </packing>
3803       </child>
3804     </widget>
3805   </child>
3806 </widget>
3807
3808 <widget class="GtkWindow" id="SearchWin">
3809   <property name="visible">True</property>
3810   <property name="title" translatable="yes">SearchWin</property>
3811   <property name="type">GTK_WINDOW_TOPLEVEL</property>
3812   <property name="window_position">GTK_WIN_POS_CENTER_ON_PARENT</property>
3813   <property name="modal">False</property>
3814   <property name="default_width">640</property>
3815   <property name="default_height">480</property>
3816   <property name="resizable">True</property>
3817   <property name="destroy_with_parent">False</property>
3818   <property name="decorated">True</property>
3819   <property name="skip_taskbar_hint">False</property>
3820   <property name="skip_pager_hint">False</property>
3821   <property name="type_hint">GDK_WINDOW_TYPE_HINT_NORMAL</property>
3822   <property name="gravity">GDK_GRAVITY_CENTER</property>
3823   <property name="focus_on_map">True</property>
3824   <property name="urgency_hint">False</property>
3825
3826   <child>
3827     <widget class="GtkVBox" id="vbox20">
3828       <property name="visible">True</property>
3829       <property name="homogeneous">False</property>
3830       <property name="spacing">0</property>
3831
3832       <child>
3833         <widget class="GtkHBox" id="hbox35">
3834           <property name="border_width">4</property>
3835           <property name="visible">True</property>
3836           <property name="homogeneous">False</property>
3837           <property name="spacing">4</property>
3838
3839           <child>
3840             <widget class="GtkVBox" id="vbox22">
3841               <property name="visible">True</property>
3842               <property name="homogeneous">False</property>
3843               <property name="spacing">0</property>
3844
3845               <child>
3846                 <placeholder/>
3847               </child>
3848
3849               <child>
3850                 <placeholder/>
3851               </child>
3852             </widget>
3853             <packing>
3854               <property name="padding">0</property>
3855               <property name="expand">True</property>
3856               <property name="fill">True</property>
3857             </packing>
3858           </child>
3859
3860           <child>
3861             <widget class="GtkEntry" id="entrySearch">
3862               <property name="visible">True</property>
3863               <property name="can_focus">True</property>
3864               <property name="editable">True</property>
3865               <property name="visibility">True</property>
3866               <property name="max_length">0</property>
3867               <property name="text" translatable="yes"></property>
3868               <property name="has_frame">True</property>
3869               <property name="invisible_char">●</property>
3870               <property name="activates_default">False</property>
3871             </widget>
3872             <packing>
3873               <property name="padding">0</property>
3874               <property name="expand">True</property>
3875               <property name="fill">True</property>
3876             </packing>
3877           </child>
3878
3879           <child>
3880             <widget class="GtkButton" id="buttonSearch">
3881               <property name="visible">True</property>
3882               <property name="can_focus">True</property>
3883               <property name="relief">GTK_RELIEF_NORMAL</property>
3884               <property name="focus_on_click">True</property>
3885
3886               <child>
3887                 <widget class="GtkAlignment" id="alignment21">
3888                   <property name="visible">True</property>
3889                   <property name="xalign">0.5</property>
3890                   <property name="yalign">0.5</property>
3891                   <property name="xscale">0</property>
3892                   <property name="yscale">0</property>
3893                   <property name="top_padding">0</property>
3894                   <property name="bottom_padding">0</property>
3895                   <property name="left_padding">0</property>
3896                   <property name="right_padding">0</property>
3897
3898                   <child>
3899                     <widget class="GtkHBox" id="hbox36">
3900                       <property name="visible">True</property>
3901                       <property name="homogeneous">False</property>
3902                       <property name="spacing">2</property>
3903
3904                       <child>
3905                         <widget class="GtkImage" id="image1068">
3906                           <property name="visible">True</property>
3907                           <property name="stock">gtk-find</property>
3908                           <property name="icon_size">4</property>
3909                           <property name="xalign">0.5</property>
3910                           <property name="yalign">0.5</property>
3911                           <property name="xpad">0</property>
3912                           <property name="ypad">0</property>
3913                         </widget>
3914                         <packing>
3915                           <property name="padding">0</property>
3916                           <property name="expand">False</property>
3917                           <property name="fill">False</property>
3918                         </packing>
3919                       </child>
3920
3921                       <child>
3922                         <widget class="GtkLabel" id="label32">
3923                           <property name="visible">True</property>
3924                           <property name="label" translatable="yes">Search</property>
3925                           <property name="use_underline">True</property>
3926                           <property name="use_markup">False</property>
3927                           <property name="justify">GTK_JUSTIFY_LEFT</property>
3928                           <property name="wrap">False</property>
3929                           <property name="selectable">False</property>
3930                           <property name="xalign">0.5</property>
3931                           <property name="yalign">0.5</property>
3932                           <property name="xpad">0</property>
3933                           <property name="ypad">0</property>
3934                           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
3935                           <property name="width_chars">-1</property>
3936                           <property name="single_line_mode">False</property>
3937                           <property name="angle">0</property>
3938                         </widget>
3939                         <packing>
3940                           <property name="padding">0</property>
3941                           <property name="expand">False</property>
3942                           <property name="fill">False</property>
3943                         </packing>
3944                       </child>
3945                     </widget>
3946                   </child>
3947                 </widget>
3948               </child>
3949             </widget>
3950             <packing>
3951               <property name="padding">0</property>
3952               <property name="expand">False</property>
3953               <property name="fill">False</property>
3954             </packing>
3955           </child>
3956         </widget>
3957         <packing>
3958           <property name="padding">0</property>
3959           <property name="expand">False</property>
3960           <property name="fill">True</property>
3961         </packing>
3962       </child>
3963
3964       <child>
3965         <widget class="GtkScrolledWindow" id="scrolledwinContent">
3966           <property name="border_width">3</property>
3967           <property name="visible">True</property>
3968           <property name="can_focus">True</property>
3969           <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
3970           <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
3971           <property name="shadow_type">GTK_SHADOW_IN</property>
3972           <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
3973
3974           <child>
3975             <placeholder/>
3976           </child>
3977         </widget>
3978         <packing>
3979           <property name="padding">0</property>
3980           <property name="expand">True</property>
3981           <property name="fill">True</property>
3982         </packing>
3983       </child>
3984
3985       <child>
3986         <widget class="GtkHSeparator" id="hseparator4">
3987           <property name="visible">True</property>
3988         </widget>
3989         <packing>
3990           <property name="padding">4</property>
3991           <property name="expand">False</property>
3992           <property name="fill">True</property>
3993         </packing>
3994       </child>
3995
3996       <child>
3997         <widget class="GtkHBox" id="hbox33">
3998           <property name="border_width">4</property>
3999           <property name="visible">True</property>
4000           <property name="homogeneous">False</property>
4001           <property name="spacing">0</property>
4002
4003           <child>
4004             <widget class="GtkVBox" id="vbox21">
4005               <property name="visible">True</property>
4006               <property name="homogeneous">False</property>
4007               <property name="spacing">0</property>
4008
4009               <child>
4010                 <placeholder/>
4011               </child>
4012
4013               <child>
4014                 <placeholder/>
4015               </child>
4016             </widget>
4017             <packing>
4018               <property name="padding">0</property>
4019               <property name="expand">True</property>
4020               <property name="fill">True</property>
4021             </packing>
4022           </child>
4023
4024           <child>
4025             <widget class="GtkButton" id="buttonClose">
4026               <property name="visible">True</property>
4027               <property name="can_focus">True</property>
4028               <property name="relief">GTK_RELIEF_NORMAL</property>
4029               <property name="focus_on_click">True</property>
4030
4031               <child>
4032                 <widget class="GtkAlignment" id="alignment20">
4033                   <property name="visible">True</property>
4034                   <property name="xalign">0.5</property>
4035                   <property name="yalign">0.5</property>
4036                   <property name="xscale">0</property>
4037                   <property name="yscale">0</property>
4038                   <property name="top_padding">0</property>
4039                   <property name="bottom_padding">0</property>
4040                   <property name="left_padding">0</property>
4041                   <property name="right_padding">0</property>
4042
4043                   <child>
4044                     <widget class="GtkHBox" id="hbox34">
4045                       <property name="visible">True</property>
4046                       <property name="homogeneous">False</property>
4047                       <property name="spacing">2</property>
4048
4049                       <child>
4050                         <widget class="GtkImage" id="image1067">
4051                           <property name="visible">True</property>
4052                           <property name="stock">gtk-close</property>
4053                           <property name="icon_size">4</property>
4054                           <property name="xalign">0.5</property>
4055                           <property name="yalign">0.5</property>
4056                           <property name="xpad">0</property>
4057                           <property name="ypad">0</property>
4058                         </widget>
4059                         <packing>
4060                           <property name="padding">0</property>
4061                           <property name="expand">False</property>
4062                           <property name="fill">False</property>
4063                         </packing>
4064                       </child>
4065
4066                       <child>
4067                         <widget class="GtkLabel" id="label31">
4068                           <property name="visible">True</property>
4069                           <property name="label" translatable="yes">Close</property>
4070                           <property name="use_underline">True</property>
4071                           <property name="use_markup">False</property>
4072                           <property name="justify">GTK_JUSTIFY_LEFT</property>
4073                           <property name="wrap">False</property>
4074                           <property name="selectable">False</property>
4075                           <property name="xalign">0.5</property>
4076                           <property name="yalign">0.5</property>
4077                           <property name="xpad">0</property>
4078                           <property name="ypad">0</property>
4079                           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
4080                           <property name="width_chars">-1</property>
4081                           <property name="single_line_mode">False</property>
4082                           <property name="angle">0</property>
4083                         </widget>
4084                         <packing>
4085                           <property name="padding">0</property>
4086                           <property name="expand">False</property>
4087                           <property name="fill">False</property>
4088                         </packing>
4089                       </child>
4090                     </widget>
4091                   </child>
4092                 </widget>
4093               </child>
4094             </widget>
4095             <packing>
4096               <property name="padding">0</property>
4097               <property name="expand">False</property>
4098               <property name="fill">True</property>
4099             </packing>
4100           </child>
4101         </widget>
4102         <packing>
4103           <property name="padding">0</property>
4104           <property name="expand">False</property>
4105           <property name="fill">True</property>
4106         </packing>
4107       </child>
4108     </widget>
4109   </child>
4110 </widget>
4111
4112 </glade-interface>