app-manager/app-manager.ui
author J. Ali Harlow <ali@juiblex.co.uk>
Mon Nov 17 11:30:24 2014 +0000 (2014-11-17)
changeset 26 9816b7a56c23
parent 10 8b50be3e2998
child 109 2947214c450e
permissions -rw-r--r--
Fix long-standing bug causing install prefixes not to be recorded
     1 <?xml version="1.0"?>
     2 <interface>
     3   <requires lib="gtk+" version="2.16"/>
     4   <!-- interface-naming-policy project-wide -->
     5   <object class="GtkWindow" id="MainWindow">
     6     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
     7     <property name="title" translatable="yes">Application Manager</property>
     8     <property name="default_width">600</property>
     9     <property name="default_height">400</property>
    10     <signal name="delete_event" handler="gtk_main_quit"/>
    11     <child>
    12       <object class="GtkVBox" id="vbox1">
    13         <property name="visible">True</property>
    14         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
    15         <property name="orientation">vertical</property>
    16         <property name="spacing">6</property>
    17         <child>
    18           <object class="GtkMenuBar" id="menubar1">
    19             <property name="visible">True</property>
    20             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
    21             <child>
    22               <object class="GtkMenuItem" id="menuitem1">
    23                 <property name="visible">True</property>
    24                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
    25                 <property name="label" translatable="yes">_Package</property>
    26                 <property name="use_underline">True</property>
    27                 <child type="submenu">
    28                   <object class="GtkMenu" id="menu1">
    29                     <property name="visible">True</property>
    30                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
    31                     <child>
    32                       <object class="GtkImageMenuItem" id="imagemenuitem1">
    33                         <property name="label">Open _Location...</property>
    34                         <property name="visible">True</property>
    35                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
    36                         <property name="tooltip_text" translatable="yes">Open a package repository at a known location</property>
    37                         <property name="use_underline">True</property>
    38                         <property name="image">image1</property>
    39                         <property name="use_stock">False</property>
    40                         <accelerator key="l" signal="activate" modifiers="GDK_CONTROL_MASK"/>
    41                         <signal name="activate" handler="on_open_location"/>
    42                       </object>
    43                     </child>
    44                     <child>
    45                       <object class="GtkImageMenuItem" id="menuitem5">
    46                         <property name="label" translatable="yes">_Scan local media</property>
    47                         <property name="visible">True</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="tooltip_text" translatable="yes">Scan local media for package repositories</property>
    50                         <property name="use_underline">True</property>
    51                         <property name="image">image2</property>
    52                         <property name="use_stock">False</property>
    53                         <signal name="activate" handler="on_scan_local_media"/>
    54                       </object>
    55                     </child>
    56                     <child>
    57                       <object class="GtkSeparatorMenuItem" id="separatormenuitem1">
    58                         <property name="visible">True</property>
    59                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
    60                       </object>
    61                     </child>
    62                     <child>
    63                       <object class="GtkImageMenuItem" id="imagemenuitem5">
    64                         <property name="label">gtk-quit</property>
    65                         <property name="visible">True</property>
    66                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
    67                         <property name="tooltip_text" translatable="yes">Quit the application manager</property>
    68                         <property name="use_underline">True</property>
    69                         <property name="use_stock">True</property>
    70                         <accelerator key="q" signal="activate" modifiers="GDK_CONTROL_MASK"/>
    71                         <signal name="activate" handler="gtk_main_quit"/>
    72                       </object>
    73                     </child>
    74                   </object>
    75                 </child>
    76               </object>
    77             </child>
    78             <child>
    79               <object class="GtkMenuItem" id="menuitem3">
    80                 <property name="visible">True</property>
    81                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
    82                 <property name="label" translatable="yes">_View</property>
    83                 <property name="use_underline">True</property>
    84                 <child type="submenu">
    85                   <object class="GtkMenu" id="menu2">
    86                     <property name="visible">True</property>
    87                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
    88                     <child>
    89                       <object class="GtkRadioMenuItem" id="ViewFiles">
    90                         <property name="visible">True</property>
    91                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
    92                         <property name="tooltip_text" translatable="yes">Show a list of files owned by the selected package</property>
    93                         <property name="label" translatable="yes">_File list</property>
    94                         <property name="use_underline">True</property>
    95                         <property name="draw_as_radio">True</property>
    96                         <signal name="toggled" handler="on_view_files_toggled"/>
    97                       </object>
    98                     </child>
    99                     <child>
   100                       <object class="GtkRadioMenuItem" id="menuitem6">
   101                         <property name="visible">True</property>
   102                         <property name="tooltip_text" translatable="yes">Show the description etc., of the selected package</property>
   103                         <property name="label" translatable="yes">Package _details</property>
   104                         <property name="use_underline">True</property>
   105                         <property name="active">True</property>
   106                         <property name="draw_as_radio">True</property>
   107                         <property name="group">ViewFiles</property>
   108                         <signal name="toggled" handler="on_view_details_toggled"/>
   109                       </object>
   110                     </child>
   111                   </object>
   112                 </child>
   113               </object>
   114             </child>
   115             <child>
   116               <object class="GtkMenuItem" id="menuitem4">
   117                 <property name="visible">True</property>
   118                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
   119                 <property name="label" translatable="yes">_Help</property>
   120                 <property name="use_underline">True</property>
   121                 <child type="submenu">
   122                   <object class="GtkMenu" id="menu3">
   123                     <property name="visible">True</property>
   124                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
   125                     <child>
   126                       <object class="GtkImageMenuItem" id="imagemenuitem10">
   127                         <property name="label">gtk-about</property>
   128                         <property name="visible">True</property>
   129                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
   130                         <property name="tooltip_text" translatable="yes">Display details about the application manager</property>
   131                         <property name="use_underline">True</property>
   132                         <property name="use_stock">True</property>
   133                         <signal name="activate" handler="on_help_about"/>
   134                       </object>
   135                     </child>
   136                   </object>
   137                 </child>
   138               </object>
   139             </child>
   140           </object>
   141           <packing>
   142             <property name="expand">False</property>
   143             <property name="position">0</property>
   144           </packing>
   145         </child>
   146         <child>
   147           <object class="GtkVPaned" id="vpaned2">
   148             <property name="visible">True</property>
   149             <property name="can_focus">True</property>
   150             <property name="orientation">vertical</property>
   151             <property name="position">215</property>
   152             <property name="position_set">True</property>
   153             <child>
   154               <object class="GtkAlignment" id="alignment1">
   155                 <property name="visible">True</property>
   156                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
   157                 <property name="left_padding">6</property>
   158                 <property name="right_padding">6</property>
   159                 <child>
   160                   <object class="GtkHPaned" id="hpaned1">
   161                     <property name="visible">True</property>
   162                     <property name="can_focus">True</property>
   163                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
   164                     <property name="position_set">True</property>
   165                     <child>
   166                       <object class="GtkVBox" id="vbox2">
   167                         <property name="visible">True</property>
   168                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
   169                         <property name="orientation">vertical</property>
   170                         <property name="spacing">6</property>
   171                         <child>
   172                           <object class="GtkHBox" id="hbox1">
   173                             <property name="visible">True</property>
   174                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
   175                             <property name="spacing">6</property>
   176                             <child>
   177                               <object class="GtkEntry" id="SearchEntry">
   178                                 <property name="visible">True</property>
   179                                 <property name="can_focus">True</property>
   180                                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
   181                                 <property name="invisible_char">&#x25CF;</property>
   182                                 <property name="activates_default">True</property>
   183                                 <property name="width_chars">10</property>
   184                                 <property name="caps_lock_warning">False</property>
   185                               </object>
   186                               <packing>
   187                                 <property name="position">0</property>
   188                               </packing>
   189                             </child>
   190                             <child>
   191                               <object class="GtkButton" id="button1">
   192                                 <property name="label">gtk-find</property>
   193                                 <property name="visible">True</property>
   194                                 <property name="can_focus">True</property>
   195                                 <property name="can_default">True</property>
   196                                 <property name="has_default">True</property>
   197                                 <property name="receives_default">True</property>
   198                                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
   199                                 <property name="use_stock">True</property>
   200                                 <signal name="clicked" handler="on_find_clicked"/>
   201                               </object>
   202                               <packing>
   203                                 <property name="expand">False</property>
   204                                 <property name="fill">False</property>
   205                                 <property name="position">1</property>
   206                               </packing>
   207                             </child>
   208                           </object>
   209                           <packing>
   210                             <property name="expand">False</property>
   211                             <property name="fill">False</property>
   212                             <property name="position">0</property>
   213                           </packing>
   214                         </child>
   215                         <child>
   216                           <object class="GtkHBox" id="hbox4">
   217                             <property name="visible">True</property>
   218                             <child>
   219                               <object class="GtkVSeparator" id="vseparator1">
   220                                 <property name="visible">True</property>
   221                                 <property name="orientation">vertical</property>
   222                               </object>
   223                               <packing>
   224                                 <property name="expand">False</property>
   225                                 <property name="position">0</property>
   226                               </packing>
   227                             </child>
   228                             <child>
   229                               <object class="GtkToolbar" id="toolbar1">
   230                                 <property name="visible">True</property>
   231                                 <property name="orientation">vertical</property>
   232                                 <property name="icon_size">2</property>
   233                                 <property name="icon_size_set">True</property>
   234                                 <child>
   235                                   <object class="GtkRadioToolButton" id="toolbutton1">
   236                                     <property name="visible">True</property>
   237                                     <property name="tooltip_text" translatable="yes">Show installed applications</property>
   238                                     <property name="label" translatable="yes">_Applications</property>
   239                                     <property name="use_underline">True</property>
   240                                     <property name="stock_id">plover-applications</property>
   241                                     <property name="active">True</property>
   242                                     <signal name="toggled" handler="on_applications_toggled"/>
   243                                   </object>
   244                                   <packing>
   245                                     <property name="expand">False</property>
   246                                     <property name="homogeneous">True</property>
   247                                   </packing>
   248                                 </child>
   249                                 <child>
   250                                   <object class="GtkRadioToolButton" id="toolbutton2">
   251                                     <property name="visible">True</property>
   252                                     <property name="tooltip_text" translatable="yes">Show all installed packages</property>
   253                                     <property name="label" translatable="yes">A_ll Packages</property>
   254                                     <property name="use_underline">True</property>
   255                                     <property name="stock_id">gtk-index</property>
   256                                     <property name="group">toolbutton1</property>
   257                                     <signal name="toggled" handler="on_all_packages_toggled"/>
   258                                   </object>
   259                                   <packing>
   260                                     <property name="expand">False</property>
   261                                     <property name="homogeneous">True</property>
   262                                   </packing>
   263                                 </child>
   264                                 <child>
   265                                   <object class="GtkSeparatorToolItem" id="toolbutton3">
   266                                     <property name="visible">True</property>
   267                                   </object>
   268                                   <packing>
   269                                     <property name="expand">False</property>
   270                                     <property name="homogeneous">True</property>
   271                                   </packing>
   272                                 </child>
   273                                 <child>
   274                                   <object class="GtkRadioToolButton" id="toolbutton5">
   275                                     <property name="visible">True</property>
   276                                     <property name="tooltip_text" translatable="yes">Show packages in repositories on local media</property>
   277                                     <property name="label" translatable="yes">Local _Media</property>
   278                                     <property name="use_underline">True</property>
   279                                     <property name="stock_id">gtk-cdrom</property>
   280                                     <property name="group">toolbutton1</property>
   281                                     <signal name="toggled" handler="on_local_media_toggled"/>
   282                                   </object>
   283                                   <packing>
   284                                     <property name="expand">False</property>
   285                                     <property name="homogeneous">True</property>
   286                                   </packing>
   287                                 </child>
   288                                 <child>
   289                                   <object class="GtkRadioToolButton" id="LocationButton">
   290                                     <property name="label" translatable="yes">Location</property>
   291                                     <property name="use_underline">True</property>
   292                                     <property name="stock_id">gtk-directory</property>
   293                                     <property name="group">toolbutton1</property>
   294                                     <signal name="toggled" handler="on_location_toggled"/>
   295                                   </object>
   296                                   <packing>
   297                                     <property name="expand">False</property>
   298                                     <property name="homogeneous">True</property>
   299                                   </packing>
   300                                 </child>
   301                                 <child>
   302                                   <object class="GtkRadioToolButton" id="toolbutton4">
   303                                     <property name="tooltip_text" translatable="yes">Show updates available for installed packages</property>
   304                                     <property name="label" translatable="yes">_Updates</property>
   305                                     <property name="use_underline">True</property>
   306                                     <property name="stock_id">gtk-execute</property>
   307                                     <property name="group">toolbutton1</property>
   308                                   </object>
   309                                   <packing>
   310                                     <property name="expand">False</property>
   311                                     <property name="homogeneous">True</property>
   312                                   </packing>
   313                                 </child>
   314                               </object>
   315                               <packing>
   316                                 <property name="position">1</property>
   317                               </packing>
   318                             </child>
   319                             <child>
   320                               <object class="GtkVSeparator" id="vseparator2">
   321                                 <property name="visible">True</property>
   322                                 <property name="orientation">vertical</property>
   323                               </object>
   324                               <packing>
   325                                 <property name="expand">False</property>
   326                                 <property name="position">2</property>
   327                               </packing>
   328                             </child>
   329                           </object>
   330                           <packing>
   331                             <property name="position">1</property>
   332                           </packing>
   333                         </child>
   334                       </object>
   335                       <packing>
   336                         <property name="resize">False</property>
   337                         <property name="shrink">False</property>
   338                       </packing>
   339                     </child>
   340                     <child>
   341                       <object class="GtkScrolledWindow" id="scrolledwindow2">
   342                         <property name="visible">True</property>
   343                         <property name="can_focus">True</property>
   344                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
   345                         <property name="hscrollbar_policy">automatic</property>
   346                         <property name="vscrollbar_policy">automatic</property>
   347                         <property name="shadow_type">in</property>
   348                         <child>
   349                           <object class="GtkTreeView" id="Packages">
   350                             <property name="visible">True</property>
   351                             <property name="can_focus">True</property>
   352                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
   353                           </object>
   354                         </child>
   355                       </object>
   356                       <packing>
   357                         <property name="resize">True</property>
   358                         <property name="shrink">True</property>
   359                       </packing>
   360                     </child>
   361                   </object>
   362                 </child>
   363               </object>
   364               <packing>
   365                 <property name="resize">True</property>
   366                 <property name="shrink">True</property>
   367               </packing>
   368             </child>
   369             <child>
   370               <object class="GtkAlignment" id="alignment3">
   371                 <property name="visible">True</property>
   372                 <property name="left_padding">6</property>
   373                 <property name="right_padding">6</property>
   374                 <child>
   375                   <object class="GtkHBox" id="ActivePackage">
   376                     <property name="visible">True</property>
   377                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
   378                     <property name="spacing">6</property>
   379                     <child>
   380                       <object class="GtkScrolledWindow" id="FilesScrolledWindow">
   381                         <property name="visible">True</property>
   382                         <property name="can_focus">True</property>
   383                         <property name="hscrollbar_policy">automatic</property>
   384                         <property name="vscrollbar_policy">automatic</property>
   385                         <property name="shadow_type">in</property>
   386                         <child>
   387                           <object class="GtkTreeView" id="Files">
   388                             <property name="visible">True</property>
   389                             <property name="can_focus">True</property>
   390                           </object>
   391                         </child>
   392                       </object>
   393                       <packing>
   394                         <property name="position">0</property>
   395                       </packing>
   396                     </child>
   397                     <child>
   398                       <object class="GtkScrolledWindow" id="DescriptionScrolledWindow">
   399                         <property name="visible">True</property>
   400                         <property name="can_focus">True</property>
   401                         <property name="hscrollbar_policy">automatic</property>
   402                         <property name="vscrollbar_policy">automatic</property>
   403                         <property name="shadow_type">in</property>
   404                         <child>
   405                           <object class="GtkTextView" id="textview1">
   406                             <property name="visible">True</property>
   407                             <property name="can_focus">True</property>
   408                             <property name="pixels_above_lines">6</property>
   409                             <property name="pixels_below_lines">6</property>
   410                             <property name="editable">False</property>
   411                             <property name="wrap_mode">word</property>
   412                             <property name="left_margin">6</property>
   413                             <property name="right_margin">6</property>
   414                             <property name="buffer">description</property>
   415                             <property name="accepts_tab">False</property>
   416                           </object>
   417                         </child>
   418                       </object>
   419                       <packing>
   420                         <property name="position">1</property>
   421                       </packing>
   422                     </child>
   423                     <child>
   424                       <object class="GtkVBox" id="PackageDetails">
   425                         <property name="visible">True</property>
   426                         <property name="orientation">vertical</property>
   427                         <child>
   428                           <object class="GtkAlignment" id="HomepageBox">
   429                             <property name="visible">True</property>
   430                             <property name="xscale">0</property>
   431                             <property name="yscale">0</property>
   432                             <child>
   433                               <object class="GtkHBox" id="hbox3">
   434                                 <property name="visible">True</property>
   435                                 <child>
   436                                   <object class="GtkImage" id="HomeImage">
   437                                     <property name="visible">True</property>
   438                                     <property name="stock">gtk-home</property>
   439                                   </object>
   440                                   <packing>
   441                                     <property name="fill">False</property>
   442                                     <property name="position">0</property>
   443                                   </packing>
   444                                 </child>
   445                                 <child>
   446                                   <object class="GtkLinkButton" id="Homepage">
   447                                     <property name="label" translatable="yes">www.gnome.org</property>
   448                                     <property name="visible">True</property>
   449                                     <property name="can_focus">True</property>
   450                                     <property name="receives_default">True</property>
   451                                     <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>
   452                                     <property name="relief">none</property>
   453                                     <property name="uri">http://www.city-occupational.co.uk/</property>
   454                                   </object>
   455                                   <packing>
   456                                     <property name="fill">False</property>
   457                                     <property name="position">1</property>
   458                                   </packing>
   459                                 </child>
   460                               </object>
   461                             </child>
   462                           </object>
   463                           <packing>
   464                             <property name="expand">False</property>
   465                             <property name="position">0</property>
   466                           </packing>
   467                         </child>
   468                         <child>
   469                           <object class="GtkScrolledWindow" id="DetailsScrolledWindow">
   470                             <property name="visible">True</property>
   471                             <property name="can_focus">True</property>
   472                             <property name="hscrollbar_policy">never</property>
   473                             <property name="vscrollbar_policy">automatic</property>
   474                             <child>
   475                               <object class="GtkViewport" id="DetailsViewport">
   476                                 <property name="visible">True</property>
   477                                 <property name="resize_mode">queue</property>
   478                                 <child>
   479                                   <object class="GtkAlignment" id="DetailsAlignment">
   480                                     <property name="visible">True</property>
   481                                     <property name="yalign">0</property>
   482                                     <property name="yscale">0</property>
   483                                     <child>
   484                                       <object class="GtkTable" id="Details">
   485                                         <property name="visible">True</property>
   486                                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
   487                                         <property name="border_width">6</property>
   488                                         <property name="n_rows">2</property>
   489                                         <property name="n_columns">2</property>
   490                                         <property name="column_spacing">6</property>
   491                                         <property name="row_spacing">6</property>
   492                                         <child>
   493                                           <object class="GtkLabel" id="label6">
   494                                             <property name="visible">True</property>
   495                                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
   496                                             <property name="xalign">0</property>
   497                                             <property name="label" translatable="yes">Architecture:</property>
   498                                             <property name="single_line_mode">True</property>
   499                                           </object>
   500                                           <packing>
   501                                             <property name="x_options">GTK_FILL</property>
   502                                             <property name="y_options"></property>
   503                                           </packing>
   504                                         </child>
   505                                         <child>
   506                                           <object class="GtkLabel" id="Architecture">
   507                                             <property name="visible">True</property>
   508                                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
   509                                             <property name="xalign">0</property>
   510                                             <property name="label" translatable="yes">i386</property>
   511                                             <property name="selectable">True</property>
   512                                             <property name="single_line_mode">True</property>
   513                                           </object>
   514                                           <packing>
   515                                             <property name="left_attach">1</property>
   516                                             <property name="right_attach">2</property>
   517                                             <property name="x_options">GTK_FILL</property>
   518                                             <property name="y_options"></property>
   519                                           </packing>
   520                                         </child>
   521                                         <child>
   522                                           <object class="GtkLabel" id="label4">
   523                                             <property name="visible">True</property>
   524                                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
   525                                             <property name="xalign">0</property>
   526                                             <property name="label" translatable="yes">License:</property>
   527                                             <property name="single_line_mode">True</property>
   528                                           </object>
   529                                           <packing>
   530                                             <property name="top_attach">1</property>
   531                                             <property name="bottom_attach">2</property>
   532                                             <property name="x_options">GTK_FILL</property>
   533                                             <property name="y_options"></property>
   534                                           </packing>
   535                                         </child>
   536                                         <child>
   537                                           <object class="GtkLabel" id="License">
   538                                             <property name="visible">True</property>
   539                                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
   540                                             <property name="xalign">0</property>
   541                                             <property name="label" translatable="yes">LGPL</property>
   542                                             <property name="selectable">True</property>
   543                                             <property name="single_line_mode">True</property>
   544                                           </object>
   545                                           <packing>
   546                                             <property name="left_attach">1</property>
   547                                             <property name="right_attach">2</property>
   548                                             <property name="top_attach">1</property>
   549                                             <property name="bottom_attach">2</property>
   550                                             <property name="x_options">GTK_FILL</property>
   551                                             <property name="y_options"></property>
   552                                           </packing>
   553                                         </child>
   554                                       </object>
   555                                     </child>
   556                                   </object>
   557                                 </child>
   558                               </object>
   559                             </child>
   560                           </object>
   561                           <packing>
   562                             <property name="position">1</property>
   563                           </packing>
   564                         </child>
   565                       </object>
   566                       <packing>
   567                         <property name="expand">False</property>
   568                         <property name="pack_type">end</property>
   569                         <property name="position">2</property>
   570                       </packing>
   571                     </child>
   572                   </object>
   573                 </child>
   574               </object>
   575               <packing>
   576                 <property name="resize">False</property>
   577                 <property name="shrink">True</property>
   578               </packing>
   579             </child>
   580           </object>
   581           <packing>
   582             <property name="position">1</property>
   583           </packing>
   584         </child>
   585         <child>
   586           <object class="GtkStatusbar" id="statusbar1">
   587             <property name="visible">True</property>
   588             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
   589             <property name="spacing">2</property>
   590           </object>
   591           <packing>
   592             <property name="expand">False</property>
   593             <property name="position">2</property>
   594           </packing>
   595         </child>
   596       </object>
   597     </child>
   598   </object>
   599   <object class="GtkTextBuffer" id="description"/>
   600   <object class="GtkImage" id="image1">
   601     <property name="visible">True</property>
   602     <property name="stock">gtk-open</property>
   603   </object>
   604   <object class="GtkImage" id="image2">
   605     <property name="visible">True</property>
   606     <property name="stock">gtk-cdrom</property>
   607   </object>
   608 </interface>