plover: app-manager/app-manager.ui@6575679d2e8e

     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>

author	J. Ali Harlow <ali@juiblex.co.uk>
	Fri Jun 08 14:48:00 2018 +0100 (2018-06-08)
changeset 75	6575679d2e8e
parent 10	8b50be3e2998
child 109	2947214c450e
permissions	-rw-r--r--