app-manager/app-manager.ui
author J. Ali Harlow <ali@juiblex.co.uk>
Tue Apr 25 17:41:00 2023 +0100 (2023-04-25)
changeset 109 2947214c450e
parent 24 2b9f54d14cc2
permissions -rw-r--r--
Partial fix for #5537
     1 <?xml version="1.0" encoding="UTF-8"?>
     2 <interface>
     3   <requires lib="gtk+" version="2.16"/>
     4   <!-- interface-naming-policy project-wide -->
     5   <object class="GtkTextBuffer" id="description"/>
     6   <object class="GtkImage" id="image1">
     7     <property name="visible">True</property>
     8     <property name="can_focus">False</property>
     9     <property name="stock">gtk-open</property>
    10   </object>
    11   <object class="GtkImage" id="image2">
    12     <property name="visible">True</property>
    13     <property name="can_focus">False</property>
    14     <property name="stock">gtk-cdrom</property>
    15   </object>
    16   <object class="GtkImage" id="image3">
    17     <property name="visible">True</property>
    18     <property name="can_focus">False</property>
    19     <property name="stock">gtk-file</property>
    20   </object>
    21   <object class="GtkImage" id="image4">
    22     <property name="visible">True</property>
    23     <property name="can_focus">False</property>
    24     <property name="stock">gtk-open</property>
    25   </object>
    26   <object class="GtkWindow" id="MainWindow">
    27     <property name="can_focus">False</property>
    28     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
    29     <property name="title" translatable="yes">Application Manager</property>
    30     <property name="default_width">600</property>
    31     <property name="default_height">400</property>
    32     <signal name="delete-event" handler="gtk_main_quit" swapped="no"/>
    33     <child>
    34       <object class="GtkVBox" id="vbox1">
    35         <property name="visible">True</property>
    36         <property name="can_focus">False</property>
    37         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
    38         <property name="spacing">6</property>
    39         <child>
    40           <object class="GtkMenuBar" id="menubar1">
    41             <property name="visible">True</property>
    42             <property name="can_focus">False</property>
    43             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
    44             <child>
    45               <object class="GtkMenuItem" id="menuitem1">
    46                 <property name="visible">True</property>
    47                 <property name="can_focus">False</property>
    48                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
    49                 <property name="label" translatable="yes">_Database</property>
    50                 <property name="use_underline">True</property>
    51                 <child type="submenu">
    52                   <object class="GtkMenu" id="menu4">
    53                     <property name="visible">True</property>
    54                     <property name="can_focus">False</property>
    55                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
    56                     <child>
    57                       <object class="GtkImageMenuItem" id="imagemenuitem3">
    58                         <property name="label">_Open...</property>
    59                         <property name="visible">True</property>
    60                         <property name="can_focus">False</property>
    61                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
    62                         <property name="tooltip_text" translatable="yes">Open an existing package database</property>
    63                         <property name="use_underline">True</property>
    64                         <property name="image">image4</property>
    65                         <property name="use_stock">False</property>
    66                         <accelerator key="o" signal="activate" modifiers="GDK_CONTROL_MASK"/>
    67                         <signal name="activate" handler="on_open_database" swapped="no"/>
    68                       </object>
    69                     </child>
    70                     <child>
    71                       <object class="GtkSeparatorMenuItem" id="separatormenuitem1">
    72                         <property name="visible">True</property>
    73                         <property name="can_focus">False</property>
    74                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
    75                       </object>
    76                     </child>
    77                     <child>
    78                       <object class="GtkImageMenuItem" id="imagemenuitem5">
    79                         <property name="label">gtk-quit</property>
    80                         <property name="visible">True</property>
    81                         <property name="can_focus">False</property>
    82                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
    83                         <property name="tooltip_text" translatable="yes">Quit the application manager</property>
    84                         <property name="use_underline">True</property>
    85                         <property name="use_stock">True</property>
    86                         <accelerator key="q" signal="activate" modifiers="GDK_CONTROL_MASK"/>
    87                         <signal name="activate" handler="gtk_main_quit" swapped="no"/>
    88                       </object>
    89                     </child>
    90                   </object>
    91                 </child>
    92               </object>
    93             </child>
    94             <child>
    95               <object class="GtkMenuItem" id="menuitem2">
    96                 <property name="visible">True</property>
    97                 <property name="can_focus">False</property>
    98                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
    99                 <property name="label" translatable="yes">_Repository</property>
   100                 <property name="use_underline">True</property>
   101                 <child type="submenu">
   102                   <object class="GtkMenu" id="menu1">
   103                     <property name="visible">True</property>
   104                     <property name="can_focus">False</property>
   105                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
   106                     <child>
   107                       <object class="GtkImageMenuItem" id="imagemenuitem1">
   108                         <property name="label">Open _Location...</property>
   109                         <property name="visible">True</property>
   110                         <property name="can_focus">False</property>
   111                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
   112                         <property name="tooltip_text" translatable="yes">Open a package repository at a known location</property>
   113                         <property name="use_underline">True</property>
   114                         <property name="image">image1</property>
   115                         <property name="use_stock">False</property>
   116                         <accelerator key="l" signal="activate" modifiers="GDK_CONTROL_MASK"/>
   117                         <signal name="activate" handler="on_open_location" swapped="no"/>
   118                       </object>
   119                     </child>
   120                     <child>
   121                       <object class="GtkImageMenuItem" id="menuitem5">
   122                         <property name="label" translatable="yes">_Scan local media</property>
   123                         <property name="visible">True</property>
   124                         <property name="can_focus">False</property>
   125                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
   126                         <property name="tooltip_text" translatable="yes">Scan local media for package repositories</property>
   127                         <property name="use_underline">True</property>
   128                         <property name="image">image2</property>
   129                         <property name="use_stock">False</property>
   130                         <signal name="activate" handler="on_scan_local_media" swapped="no"/>
   131                       </object>
   132                     </child>
   133                     <child>
   134                       <object class="GtkImageMenuItem" id="imagemenuitem2">
   135                         <property name="label">Open _Archive...</property>
   136                         <property name="visible">True</property>
   137                         <property name="can_focus">False</property>
   138                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
   139                         <property name="tooltip_text" translatable="yes">Open an archived package repository</property>
   140                         <property name="use_underline">True</property>
   141                         <property name="image">image3</property>
   142                         <property name="use_stock">False</property>
   143                         <accelerator key="a" signal="activate" modifiers="GDK_CONTROL_MASK"/>
   144                         <signal name="activate" handler="on_open_archive" swapped="no"/>
   145                       </object>
   146                     </child>
   147                   </object>
   148                 </child>
   149               </object>
   150             </child>
   151             <child>
   152               <object class="GtkMenuItem" id="menuitem3">
   153                 <property name="visible">True</property>
   154                 <property name="can_focus">False</property>
   155                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
   156                 <property name="label" translatable="yes">_View</property>
   157                 <property name="use_underline">True</property>
   158                 <child type="submenu">
   159                   <object class="GtkMenu" id="menu2">
   160                     <property name="visible">True</property>
   161                     <property name="can_focus">False</property>
   162                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
   163                     <child>
   164                       <object class="GtkRadioMenuItem" id="ViewFiles">
   165                         <property name="visible">True</property>
   166                         <property name="can_focus">False</property>
   167                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
   168                         <property name="tooltip_text" translatable="yes">Show a list of files owned by the selected package</property>
   169                         <property name="label" translatable="yes">_File list</property>
   170                         <property name="use_underline">True</property>
   171                         <property name="draw_as_radio">True</property>
   172                         <signal name="toggled" handler="on_view_files_toggled" swapped="no"/>
   173                       </object>
   174                     </child>
   175                     <child>
   176                       <object class="GtkRadioMenuItem" id="menuitem6">
   177                         <property name="visible">True</property>
   178                         <property name="can_focus">False</property>
   179                         <property name="tooltip_text" translatable="yes">Show the description etc., of the selected package</property>
   180                         <property name="label" translatable="yes">Package _details</property>
   181                         <property name="use_underline">True</property>
   182                         <property name="active">True</property>
   183                         <property name="draw_as_radio">True</property>
   184                         <property name="group">ViewFiles</property>
   185                         <signal name="toggled" handler="on_view_details_toggled" swapped="no"/>
   186                       </object>
   187                     </child>
   188                   </object>
   189                 </child>
   190               </object>
   191             </child>
   192             <child>
   193               <object class="GtkMenuItem" id="menuitem4">
   194                 <property name="visible">True</property>
   195                 <property name="can_focus">False</property>
   196                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
   197                 <property name="label" translatable="yes">_Help</property>
   198                 <property name="use_underline">True</property>
   199                 <child type="submenu">
   200                   <object class="GtkMenu" id="menu3">
   201                     <property name="visible">True</property>
   202                     <property name="can_focus">False</property>
   203                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
   204                     <child>
   205                       <object class="GtkImageMenuItem" id="imagemenuitem10">
   206                         <property name="label">gtk-about</property>
   207                         <property name="visible">True</property>
   208                         <property name="can_focus">False</property>
   209                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
   210                         <property name="tooltip_text" translatable="yes">Display details about the application manager</property>
   211                         <property name="use_underline">True</property>
   212                         <property name="use_stock">True</property>
   213                         <signal name="activate" handler="on_help_about" swapped="no"/>
   214                       </object>
   215                     </child>
   216                   </object>
   217                 </child>
   218               </object>
   219             </child>
   220           </object>
   221           <packing>
   222             <property name="expand">False</property>
   223             <property name="fill">True</property>
   224             <property name="position">0</property>
   225           </packing>
   226         </child>
   227         <child>
   228           <object class="GtkVPaned" id="vpaned2">
   229             <property name="visible">True</property>
   230             <property name="can_focus">True</property>
   231             <property name="position">215</property>
   232             <property name="position_set">True</property>
   233             <child>
   234               <object class="GtkAlignment" id="alignment1">
   235                 <property name="visible">True</property>
   236                 <property name="can_focus">False</property>
   237                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
   238                 <property name="left_padding">6</property>
   239                 <property name="right_padding">6</property>
   240                 <child>
   241                   <object class="GtkHPaned" id="hpaned1">
   242                     <property name="visible">True</property>
   243                     <property name="can_focus">True</property>
   244                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
   245                     <property name="position_set">True</property>
   246                     <child>
   247                       <object class="GtkVBox" id="vbox2">
   248                         <property name="visible">True</property>
   249                         <property name="can_focus">False</property>
   250                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
   251                         <property name="spacing">6</property>
   252                         <child>
   253                           <object class="GtkHBox" id="hbox1">
   254                             <property name="visible">True</property>
   255                             <property name="can_focus">False</property>
   256                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
   257                             <property name="spacing">6</property>
   258                             <child>
   259                               <object class="GtkEntry" id="SearchEntry">
   260                                 <property name="visible">True</property>
   261                                 <property name="can_focus">True</property>
   262                                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
   263                                 <property name="invisible_char">●</property>
   264                                 <property name="activates_default">True</property>
   265                                 <property name="width_chars">10</property>
   266                                 <property name="caps_lock_warning">False</property>
   267                                 <property name="primary_icon_activatable">False</property>
   268                                 <property name="secondary_icon_activatable">False</property>
   269                                 <property name="primary_icon_sensitive">True</property>
   270                                 <property name="secondary_icon_sensitive">True</property>
   271                               </object>
   272                               <packing>
   273                                 <property name="expand">True</property>
   274                                 <property name="fill">True</property>
   275                                 <property name="position">0</property>
   276                               </packing>
   277                             </child>
   278                             <child>
   279                               <object class="GtkButton" id="button1">
   280                                 <property name="label">gtk-find</property>
   281                                 <property name="visible">True</property>
   282                                 <property name="can_focus">True</property>
   283                                 <property name="can_default">True</property>
   284                                 <property name="has_default">True</property>
   285                                 <property name="receives_default">True</property>
   286                                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
   287                                 <property name="use_stock">True</property>
   288                                 <signal name="clicked" handler="on_find_clicked" swapped="no"/>
   289                               </object>
   290                               <packing>
   291                                 <property name="expand">False</property>
   292                                 <property name="fill">False</property>
   293                                 <property name="position">1</property>
   294                               </packing>
   295                             </child>
   296                           </object>
   297                           <packing>
   298                             <property name="expand">False</property>
   299                             <property name="fill">False</property>
   300                             <property name="position">0</property>
   301                           </packing>
   302                         </child>
   303                         <child>
   304                           <object class="GtkHBox" id="hbox4">
   305                             <property name="visible">True</property>
   306                             <property name="can_focus">False</property>
   307                             <child>
   308                               <object class="GtkVSeparator" id="vseparator1">
   309                                 <property name="visible">True</property>
   310                                 <property name="can_focus">False</property>
   311                               </object>
   312                               <packing>
   313                                 <property name="expand">False</property>
   314                                 <property name="fill">True</property>
   315                                 <property name="position">0</property>
   316                               </packing>
   317                             </child>
   318                             <child>
   319                               <object class="GtkToolbar" id="toolbar1">
   320                                 <property name="visible">True</property>
   321                                 <property name="can_focus">False</property>
   322                                 <property name="orientation">vertical</property>
   323                                 <property name="icon_size">2</property>
   324                                 <property name="icon_size_set">True</property>
   325                                 <child>
   326                                   <object class="GtkRadioToolButton" id="toolbutton1">
   327                                     <property name="visible">True</property>
   328                                     <property name="can_focus">False</property>
   329                                     <property name="tooltip_text" translatable="yes">Show installed applications</property>
   330                                     <property name="label" translatable="yes">_Applications</property>
   331                                     <property name="use_underline">True</property>
   332                                     <property name="stock_id">plover-applications</property>
   333                                     <property name="active">True</property>
   334                                     <signal name="toggled" handler="on_applications_toggled" swapped="no"/>
   335                                   </object>
   336                                   <packing>
   337                                     <property name="expand">False</property>
   338                                     <property name="homogeneous">True</property>
   339                                   </packing>
   340                                 </child>
   341                                 <child>
   342                                   <object class="GtkRadioToolButton" id="toolbutton2">
   343                                     <property name="visible">True</property>
   344                                     <property name="can_focus">False</property>
   345                                     <property name="tooltip_text" translatable="yes">Show all installed packages</property>
   346                                     <property name="label" translatable="yes">A_ll Packages</property>
   347                                     <property name="use_underline">True</property>
   348                                     <property name="stock_id">gtk-index</property>
   349                                     <property name="group">toolbutton1</property>
   350                                     <signal name="toggled" handler="on_all_packages_toggled" swapped="no"/>
   351                                   </object>
   352                                   <packing>
   353                                     <property name="expand">False</property>
   354                                     <property name="homogeneous">True</property>
   355                                   </packing>
   356                                 </child>
   357                                 <child>
   358                                   <object class="GtkSeparatorToolItem" id="toolbutton3">
   359                                     <property name="visible">True</property>
   360                                     <property name="can_focus">False</property>
   361                                   </object>
   362                                   <packing>
   363                                     <property name="expand">False</property>
   364                                     <property name="homogeneous">True</property>
   365                                   </packing>
   366                                 </child>
   367                                 <child>
   368                                   <object class="GtkRadioToolButton" id="toolbutton5">
   369                                     <property name="visible">True</property>
   370                                     <property name="can_focus">False</property>
   371                                     <property name="tooltip_text" translatable="yes">Show packages in repositories on local media</property>
   372                                     <property name="label" translatable="yes">Local _Media</property>
   373                                     <property name="use_underline">True</property>
   374                                     <property name="stock_id">gtk-cdrom</property>
   375                                     <property name="group">toolbutton1</property>
   376                                     <signal name="toggled" handler="on_local_media_toggled" swapped="no"/>
   377                                   </object>
   378                                   <packing>
   379                                     <property name="expand">False</property>
   380                                     <property name="homogeneous">True</property>
   381                                   </packing>
   382                                 </child>
   383                                 <child>
   384                                   <object class="GtkRadioToolButton" id="LocationButton">
   385                                     <property name="can_focus">False</property>
   386                                     <property name="label" translatable="yes">Location</property>
   387                                     <property name="use_underline">True</property>
   388                                     <property name="stock_id">gtk-directory</property>
   389                                     <property name="group">toolbutton1</property>
   390                                     <signal name="toggled" handler="on_location_toggled" swapped="no"/>
   391                                   </object>
   392                                   <packing>
   393                                     <property name="expand">False</property>
   394                                     <property name="homogeneous">True</property>
   395                                   </packing>
   396                                 </child>
   397                                 <child>
   398                                   <object class="GtkRadioToolButton" id="toolbutton4">
   399                                     <property name="can_focus">False</property>
   400                                     <property name="tooltip_text" translatable="yes">Show updates available for installed packages</property>
   401                                     <property name="label" translatable="yes">_Updates</property>
   402                                     <property name="use_underline">True</property>
   403                                     <property name="stock_id">gtk-execute</property>
   404                                     <property name="group">toolbutton1</property>
   405                                   </object>
   406                                   <packing>
   407                                     <property name="expand">False</property>
   408                                     <property name="homogeneous">True</property>
   409                                   </packing>
   410                                 </child>
   411                               </object>
   412                               <packing>
   413                                 <property name="expand">True</property>
   414                                 <property name="fill">True</property>
   415                                 <property name="position">1</property>
   416                               </packing>
   417                             </child>
   418                             <child>
   419                               <object class="GtkVSeparator" id="vseparator2">
   420                                 <property name="visible">True</property>
   421                                 <property name="can_focus">False</property>
   422                               </object>
   423                               <packing>
   424                                 <property name="expand">False</property>
   425                                 <property name="fill">True</property>
   426                                 <property name="position">2</property>
   427                               </packing>
   428                             </child>
   429                           </object>
   430                           <packing>
   431                             <property name="expand">True</property>
   432                             <property name="fill">True</property>
   433                             <property name="position">1</property>
   434                           </packing>
   435                         </child>
   436                       </object>
   437                       <packing>
   438                         <property name="resize">False</property>
   439                         <property name="shrink">False</property>
   440                       </packing>
   441                     </child>
   442                     <child>
   443                       <object class="GtkScrolledWindow" id="scrolledwindow2">
   444                         <property name="visible">True</property>
   445                         <property name="can_focus">True</property>
   446                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
   447                         <property name="hscrollbar_policy">automatic</property>
   448                         <property name="vscrollbar_policy">automatic</property>
   449                         <property name="shadow_type">in</property>
   450                         <child>
   451                           <object class="GtkTreeView" id="Packages">
   452                             <property name="visible">True</property>
   453                             <property name="can_focus">True</property>
   454                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
   455                           </object>
   456                         </child>
   457                       </object>
   458                       <packing>
   459                         <property name="resize">True</property>
   460                         <property name="shrink">True</property>
   461                       </packing>
   462                     </child>
   463                   </object>
   464                 </child>
   465               </object>
   466               <packing>
   467                 <property name="resize">True</property>
   468                 <property name="shrink">True</property>
   469               </packing>
   470             </child>
   471             <child>
   472               <object class="GtkAlignment" id="alignment3">
   473                 <property name="visible">True</property>
   474                 <property name="can_focus">False</property>
   475                 <property name="left_padding">6</property>
   476                 <property name="right_padding">6</property>
   477                 <child>
   478                   <object class="GtkHBox" id="ActivePackage">
   479                     <property name="visible">True</property>
   480                     <property name="can_focus">False</property>
   481                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
   482                     <property name="spacing">6</property>
   483                     <child>
   484                       <object class="GtkScrolledWindow" id="FilesScrolledWindow">
   485                         <property name="visible">True</property>
   486                         <property name="can_focus">True</property>
   487                         <property name="hscrollbar_policy">automatic</property>
   488                         <property name="vscrollbar_policy">automatic</property>
   489                         <property name="shadow_type">in</property>
   490                         <child>
   491                           <object class="GtkTreeView" id="Files">
   492                             <property name="visible">True</property>
   493                             <property name="can_focus">True</property>
   494                           </object>
   495                         </child>
   496                       </object>
   497                       <packing>
   498                         <property name="expand">True</property>
   499                         <property name="fill">True</property>
   500                         <property name="position">0</property>
   501                       </packing>
   502                     </child>
   503                     <child>
   504                       <object class="GtkScrolledWindow" id="DescriptionScrolledWindow">
   505                         <property name="visible">True</property>
   506                         <property name="can_focus">True</property>
   507                         <property name="hscrollbar_policy">automatic</property>
   508                         <property name="vscrollbar_policy">automatic</property>
   509                         <property name="shadow_type">in</property>
   510                         <child>
   511                           <object class="GtkTextView" id="textview1">
   512                             <property name="visible">True</property>
   513                             <property name="can_focus">True</property>
   514                             <property name="pixels_above_lines">6</property>
   515                             <property name="pixels_below_lines">6</property>
   516                             <property name="editable">False</property>
   517                             <property name="wrap_mode">word</property>
   518                             <property name="left_margin">6</property>
   519                             <property name="right_margin">6</property>
   520                             <property name="buffer">description</property>
   521                             <property name="accepts_tab">False</property>
   522                           </object>
   523                         </child>
   524                       </object>
   525                       <packing>
   526                         <property name="expand">True</property>
   527                         <property name="fill">True</property>
   528                         <property name="position">1</property>
   529                       </packing>
   530                     </child>
   531                     <child>
   532                       <object class="GtkVBox" id="PackageDetails">
   533                         <property name="visible">True</property>
   534                         <property name="can_focus">False</property>
   535                         <child>
   536                           <object class="GtkAlignment" id="HomepageBox">
   537                             <property name="visible">True</property>
   538                             <property name="can_focus">False</property>
   539                             <property name="xscale">0</property>
   540                             <property name="yscale">0</property>
   541                             <child>
   542                               <object class="GtkHBox" id="hbox3">
   543                                 <property name="visible">True</property>
   544                                 <property name="can_focus">False</property>
   545                                 <child>
   546                                   <object class="GtkImage" id="HomeImage">
   547                                     <property name="visible">True</property>
   548                                     <property name="can_focus">False</property>
   549                                     <property name="stock">gtk-home</property>
   550                                   </object>
   551                                   <packing>
   552                                     <property name="expand">True</property>
   553                                     <property name="fill">False</property>
   554                                     <property name="position">0</property>
   555                                   </packing>
   556                                 </child>
   557                                 <child>
   558                                   <object class="GtkLinkButton" id="Homepage">
   559                                     <property name="label" translatable="yes">www.gnome.org</property>
   560                                     <property name="visible">True</property>
   561                                     <property name="can_focus">True</property>
   562                                     <property name="receives_default">True</property>
   563                                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_MOTION_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
   564                                     <property name="relief">none</property>
   565                                     <property name="uri">http://www.city-occupational.co.uk/</property>
   566                                   </object>
   567                                   <packing>
   568                                     <property name="expand">True</property>
   569                                     <property name="fill">False</property>
   570                                     <property name="position">1</property>
   571                                   </packing>
   572                                 </child>
   573                               </object>
   574                             </child>
   575                           </object>
   576                           <packing>
   577                             <property name="expand">False</property>
   578                             <property name="fill">True</property>
   579                             <property name="position">0</property>
   580                           </packing>
   581                         </child>
   582                         <child>
   583                           <object class="GtkScrolledWindow" id="DetailsScrolledWindow">
   584                             <property name="visible">True</property>
   585                             <property name="can_focus">True</property>
   586                             <property name="hscrollbar_policy">never</property>
   587                             <property name="vscrollbar_policy">automatic</property>
   588                             <child>
   589                               <object class="GtkViewport" id="DetailsViewport">
   590                                 <property name="visible">True</property>
   591                                 <property name="can_focus">False</property>
   592                                 <property name="resize_mode">queue</property>
   593                                 <child>
   594                                   <object class="GtkAlignment" id="DetailsAlignment">
   595                                     <property name="visible">True</property>
   596                                     <property name="can_focus">False</property>
   597                                     <property name="yalign">0</property>
   598                                     <property name="yscale">0</property>
   599                                     <child>
   600                                       <object class="GtkTable" id="Details">
   601                                         <property name="visible">True</property>
   602                                         <property name="can_focus">False</property>
   603                                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
   604                                         <property name="border_width">6</property>
   605                                         <property name="n_rows">2</property>
   606                                         <property name="n_columns">2</property>
   607                                         <property name="column_spacing">6</property>
   608                                         <property name="row_spacing">6</property>
   609                                         <child>
   610                                           <object class="GtkLabel" id="label6">
   611                                             <property name="visible">True</property>
   612                                             <property name="can_focus">False</property>
   613                                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
   614                                             <property name="xalign">0</property>
   615                                             <property name="label" translatable="yes">Architecture:</property>
   616                                             <property name="single_line_mode">True</property>
   617                                           </object>
   618                                           <packing>
   619                                             <property name="x_options">GTK_FILL</property>
   620                                             <property name="y_options"/>
   621                                           </packing>
   622                                         </child>
   623                                         <child>
   624                                           <object class="GtkLabel" id="Architecture">
   625                                             <property name="visible">True</property>
   626                                             <property name="can_focus">False</property>
   627                                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
   628                                             <property name="xalign">0</property>
   629                                             <property name="label" translatable="yes">i386</property>
   630                                             <property name="selectable">True</property>
   631                                             <property name="single_line_mode">True</property>
   632                                           </object>
   633                                           <packing>
   634                                             <property name="left_attach">1</property>
   635                                             <property name="right_attach">2</property>
   636                                             <property name="x_options">GTK_FILL</property>
   637                                             <property name="y_options"/>
   638                                           </packing>
   639                                         </child>
   640                                         <child>
   641                                           <object class="GtkLabel" id="label4">
   642                                             <property name="visible">True</property>
   643                                             <property name="can_focus">False</property>
   644                                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
   645                                             <property name="xalign">0</property>
   646                                             <property name="label" translatable="yes">License:</property>
   647                                             <property name="single_line_mode">True</property>
   648                                           </object>
   649                                           <packing>
   650                                             <property name="top_attach">1</property>
   651                                             <property name="bottom_attach">2</property>
   652                                             <property name="x_options">GTK_FILL</property>
   653                                             <property name="y_options"/>
   654                                           </packing>
   655                                         </child>
   656                                         <child>
   657                                           <object class="GtkLabel" id="License">
   658                                             <property name="visible">True</property>
   659                                             <property name="can_focus">False</property>
   660                                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
   661                                             <property name="xalign">0</property>
   662                                             <property name="label" translatable="yes">LGPL</property>
   663                                             <property name="selectable">True</property>
   664                                             <property name="single_line_mode">True</property>
   665                                           </object>
   666                                           <packing>
   667                                             <property name="left_attach">1</property>
   668                                             <property name="right_attach">2</property>
   669                                             <property name="top_attach">1</property>
   670                                             <property name="bottom_attach">2</property>
   671                                             <property name="x_options">GTK_FILL</property>
   672                                             <property name="y_options"/>
   673                                           </packing>
   674                                         </child>
   675                                       </object>
   676                                     </child>
   677                                   </object>
   678                                 </child>
   679                               </object>
   680                             </child>
   681                           </object>
   682                           <packing>
   683                             <property name="expand">True</property>
   684                             <property name="fill">True</property>
   685                             <property name="position">1</property>
   686                           </packing>
   687                         </child>
   688                       </object>
   689                       <packing>
   690                         <property name="expand">False</property>
   691                         <property name="fill">True</property>
   692                         <property name="pack_type">end</property>
   693                         <property name="position">2</property>
   694                       </packing>
   695                     </child>
   696                   </object>
   697                 </child>
   698               </object>
   699               <packing>
   700                 <property name="resize">False</property>
   701                 <property name="shrink">True</property>
   702               </packing>
   703             </child>
   704           </object>
   705           <packing>
   706             <property name="expand">True</property>
   707             <property name="fill">True</property>
   708             <property name="position">1</property>
   709           </packing>
   710         </child>
   711         <child>
   712           <object class="GtkStatusbar" id="statusbar1">
   713             <property name="visible">True</property>
   714             <property name="can_focus">False</property>
   715             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
   716             <property name="spacing">2</property>
   717           </object>
   718           <packing>
   719             <property name="expand">False</property>
   720             <property name="fill">True</property>
   721             <property name="position">2</property>
   722           </packing>
   723         </child>
   724       </object>
   725     </child>
   726   </object>
   727   <object class="GtkDialog" id="OpenDatabase">
   728     <property name="can_focus">False</property>
   729     <property name="border_width">5</property>
   730     <property name="title" translatable="yes">Open Database</property>
   731     <property name="type_hint">dialog</property>
   732     <property name="transient_for">MainWindow</property>
   733     <child internal-child="vbox">
   734       <object class="GtkVBox" id="dialog-vbox1">
   735         <property name="visible">True</property>
   736         <property name="can_focus">False</property>
   737         <property name="spacing">2</property>
   738         <child internal-child="action_area">
   739           <object class="GtkHButtonBox" id="dialog-action_area1">
   740             <property name="visible">True</property>
   741             <property name="can_focus">False</property>
   742             <property name="layout_style">end</property>
   743             <child>
   744               <object class="GtkButton" id="button2">
   745                 <property name="label">gtk-cancel</property>
   746                 <property name="visible">True</property>
   747                 <property name="can_focus">True</property>
   748                 <property name="receives_default">True</property>
   749                 <property name="use_stock">True</property>
   750               </object>
   751               <packing>
   752                 <property name="expand">False</property>
   753                 <property name="fill">False</property>
   754                 <property name="position">0</property>
   755               </packing>
   756             </child>
   757             <child>
   758               <object class="GtkButton" id="button3">
   759                 <property name="label">gtk-open</property>
   760                 <property name="visible">True</property>
   761                 <property name="can_focus">True</property>
   762                 <property name="receives_default">True</property>
   763                 <property name="use_stock">True</property>
   764               </object>
   765               <packing>
   766                 <property name="expand">False</property>
   767                 <property name="fill">False</property>
   768                 <property name="position">1</property>
   769               </packing>
   770             </child>
   771           </object>
   772           <packing>
   773             <property name="expand">True</property>
   774             <property name="fill">True</property>
   775             <property name="position">0</property>
   776           </packing>
   777         </child>
   778         <child>
   779           <object class="GtkVBox" id="vbox3">
   780             <property name="visible">True</property>
   781             <property name="can_focus">False</property>
   782             <property name="border_width">6</property>
   783             <child>
   784               <object class="GtkLabel" id="label1">
   785                 <property name="visible">True</property>
   786                 <property name="can_focus">False</property>
   787                 <property name="xalign">0</property>
   788                 <property name="label" translatable="yes">The primary package database for a system is known as the global
   789 database. If a system needs to contain multiple package sets, then
   790 additional ones may be configured as distribution-local databases.
   791 This allows packages within each package set to be independent of
   792 each other.
   793 
   794 If there are no distribution-local databases (or no global one), then
   795 this option will not be available:</property>
   796               </object>
   797               <packing>
   798                 <property name="expand">True</property>
   799                 <property name="fill">True</property>
   800                 <property name="position">0</property>
   801               </packing>
   802             </child>
   803             <child>
   804               <object class="GtkVBox" id="vbox4">
   805                 <property name="visible">True</property>
   806                 <property name="can_focus">False</property>
   807                 <property name="border_width">6</property>
   808                 <child>
   809                   <object class="GtkRadioButton" id="distribution_global">
   810                     <property name="label" translatable="yes">Global</property>
   811                     <property name="visible">True</property>
   812                     <property name="can_focus">True</property>
   813                     <property name="receives_default">False</property>
   814                     <property name="active">True</property>
   815                     <property name="draw_indicator">True</property>
   816                   </object>
   817                   <packing>
   818                     <property name="expand">True</property>
   819                     <property name="fill">True</property>
   820                     <property name="position">0</property>
   821                   </packing>
   822                 </child>
   823                 <child>
   824                   <object class="GtkRadioButton" id="distribution_local">
   825                     <property name="label" translatable="yes">Distribution-local</property>
   826                     <property name="visible">True</property>
   827                     <property name="can_focus">True</property>
   828                     <property name="receives_default">False</property>
   829                     <property name="active">True</property>
   830                     <property name="draw_indicator">True</property>
   831                     <property name="group">distribution_global</property>
   832                   </object>
   833                   <packing>
   834                     <property name="expand">True</property>
   835                     <property name="fill">True</property>
   836                     <property name="position">1</property>
   837                   </packing>
   838                 </child>
   839               </object>
   840               <packing>
   841                 <property name="expand">True</property>
   842                 <property name="fill">True</property>
   843                 <property name="position">1</property>
   844               </packing>
   845             </child>
   846             <child>
   847               <object class="GtkLabel" id="local_databases_label">
   848                 <property name="visible">True</property>
   849                 <property name="can_focus">False</property>
   850                 <property name="xalign">0</property>
   851                 <property name="label" translatable="yes">Each distribution-local database has an associated name and vendor:</property>
   852               </object>
   853               <packing>
   854                 <property name="expand">True</property>
   855                 <property name="fill">True</property>
   856                 <property name="position">2</property>
   857               </packing>
   858             </child>
   859             <child>
   860               <object class="GtkVBox" id="vbox5">
   861                 <property name="visible">True</property>
   862                 <property name="can_focus">False</property>
   863                 <property name="border_width">6</property>
   864                 <child>
   865                   <object class="GtkComboBox" id="local_databases">
   866                     <property name="visible">True</property>
   867                     <property name="can_focus">False</property>
   868                   </object>
   869                   <packing>
   870                     <property name="expand">True</property>
   871                     <property name="fill">True</property>
   872                     <property name="position">0</property>
   873                   </packing>
   874                 </child>
   875               </object>
   876               <packing>
   877                 <property name="expand">True</property>
   878                 <property name="fill">True</property>
   879                 <property name="position">3</property>
   880               </packing>
   881             </child>
   882           </object>
   883           <packing>
   884             <property name="expand">True</property>
   885             <property name="fill">True</property>
   886             <property name="position">1</property>
   887           </packing>
   888         </child>
   889       </object>
   890     </child>
   891     <action-widgets>
   892       <action-widget response="-6">button2</action-widget>
   893       <action-widget response="-3">button3</action-widget>
   894     </action-widgets>
   895   </object>
   896 </interface>