1.1 --- a/app-manager/app-manager.ui Sat Nov 15 19:04:45 2014 +0000
1.2 +++ b/app-manager/app-manager.ui Tue Apr 25 17:41:00 2023 +0100
1.3 @@ -1,61 +1,76 @@
1.4 -<?xml version="1.0"?>
1.5 +<?xml version="1.0" encoding="UTF-8"?>
1.6 <interface>
1.7 <requires lib="gtk+" version="2.16"/>
1.8 <!-- interface-naming-policy project-wide -->
1.9 + <object class="GtkTextBuffer" id="description"/>
1.10 + <object class="GtkImage" id="image1">
1.11 + <property name="visible">True</property>
1.12 + <property name="can_focus">False</property>
1.13 + <property name="stock">gtk-open</property>
1.14 + </object>
1.15 + <object class="GtkImage" id="image2">
1.16 + <property name="visible">True</property>
1.17 + <property name="can_focus">False</property>
1.18 + <property name="stock">gtk-cdrom</property>
1.19 + </object>
1.20 + <object class="GtkImage" id="image3">
1.21 + <property name="visible">True</property>
1.22 + <property name="can_focus">False</property>
1.23 + <property name="stock">gtk-file</property>
1.24 + </object>
1.25 + <object class="GtkImage" id="image4">
1.26 + <property name="visible">True</property>
1.27 + <property name="can_focus">False</property>
1.28 + <property name="stock">gtk-open</property>
1.29 + </object>
1.30 <object class="GtkWindow" id="MainWindow">
1.31 + <property name="can_focus">False</property>
1.32 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1.33 <property name="title" translatable="yes">Application Manager</property>
1.34 <property name="default_width">600</property>
1.35 <property name="default_height">400</property>
1.36 - <signal name="delete_event" handler="gtk_main_quit"/>
1.37 + <signal name="delete-event" handler="gtk_main_quit" swapped="no"/>
1.38 <child>
1.39 <object class="GtkVBox" id="vbox1">
1.40 <property name="visible">True</property>
1.41 + <property name="can_focus">False</property>
1.42 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1.43 - <property name="orientation">vertical</property>
1.44 <property name="spacing">6</property>
1.45 <child>
1.46 <object class="GtkMenuBar" id="menubar1">
1.47 <property name="visible">True</property>
1.48 + <property name="can_focus">False</property>
1.49 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1.50 <child>
1.51 <object class="GtkMenuItem" id="menuitem1">
1.52 <property name="visible">True</property>
1.53 + <property name="can_focus">False</property>
1.54 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1.55 - <property name="label" translatable="yes">_Package</property>
1.56 + <property name="label" translatable="yes">_Database</property>
1.57 <property name="use_underline">True</property>
1.58 <child type="submenu">
1.59 - <object class="GtkMenu" id="menu1">
1.60 + <object class="GtkMenu" id="menu4">
1.61 <property name="visible">True</property>
1.62 + <property name="can_focus">False</property>
1.63 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1.64 <child>
1.65 - <object class="GtkImageMenuItem" id="imagemenuitem1">
1.66 - <property name="label">Open _Location...</property>
1.67 + <object class="GtkImageMenuItem" id="imagemenuitem3">
1.68 + <property name="label">_Open...</property>
1.69 <property name="visible">True</property>
1.70 + <property name="can_focus">False</property>
1.71 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1.72 - <property name="tooltip_text" translatable="yes">Open a package repository at a known location</property>
1.73 + <property name="tooltip_text" translatable="yes">Open an existing package database</property>
1.74 <property name="use_underline">True</property>
1.75 - <property name="image">image1</property>
1.76 + <property name="image">image4</property>
1.77 <property name="use_stock">False</property>
1.78 - <accelerator key="l" signal="activate" modifiers="GDK_CONTROL_MASK"/>
1.79 - <signal name="activate" handler="on_open_location"/>
1.80 - </object>
1.81 - </child>
1.82 - <child>
1.83 - <object class="GtkImageMenuItem" id="menuitem5">
1.84 - <property name="label" translatable="yes">_Scan local media</property>
1.85 - <property name="visible">True</property>
1.86 - <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1.87 - <property name="tooltip_text" translatable="yes">Scan local media for package repositories</property>
1.88 - <property name="use_underline">True</property>
1.89 - <property name="image">image2</property>
1.90 - <property name="use_stock">False</property>
1.91 - <signal name="activate" handler="on_scan_local_media"/>
1.92 + <accelerator key="o" signal="activate" modifiers="GDK_CONTROL_MASK"/>
1.93 + <signal name="activate" handler="on_open_database" swapped="no"/>
1.94 </object>
1.95 </child>
1.96 <child>
1.97 <object class="GtkSeparatorMenuItem" id="separatormenuitem1">
1.98 <property name="visible">True</property>
1.99 + <property name="can_focus">False</property>
1.100 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1.101 </object>
1.102 </child>
1.103 @@ -63,12 +78,70 @@
1.104 <object class="GtkImageMenuItem" id="imagemenuitem5">
1.105 <property name="label">gtk-quit</property>
1.106 <property name="visible">True</property>
1.107 + <property name="can_focus">False</property>
1.108 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1.109 <property name="tooltip_text" translatable="yes">Quit the application manager</property>
1.110 <property name="use_underline">True</property>
1.111 <property name="use_stock">True</property>
1.112 <accelerator key="q" signal="activate" modifiers="GDK_CONTROL_MASK"/>
1.113 - <signal name="activate" handler="gtk_main_quit"/>
1.114 + <signal name="activate" handler="gtk_main_quit" swapped="no"/>
1.115 + </object>
1.116 + </child>
1.117 + </object>
1.118 + </child>
1.119 + </object>
1.120 + </child>
1.121 + <child>
1.122 + <object class="GtkMenuItem" id="menuitem2">
1.123 + <property name="visible">True</property>
1.124 + <property name="can_focus">False</property>
1.125 + <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1.126 + <property name="label" translatable="yes">_Repository</property>
1.127 + <property name="use_underline">True</property>
1.128 + <child type="submenu">
1.129 + <object class="GtkMenu" id="menu1">
1.130 + <property name="visible">True</property>
1.131 + <property name="can_focus">False</property>
1.132 + <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1.133 + <child>
1.134 + <object class="GtkImageMenuItem" id="imagemenuitem1">
1.135 + <property name="label">Open _Location...</property>
1.136 + <property name="visible">True</property>
1.137 + <property name="can_focus">False</property>
1.138 + <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1.139 + <property name="tooltip_text" translatable="yes">Open a package repository at a known location</property>
1.140 + <property name="use_underline">True</property>
1.141 + <property name="image">image1</property>
1.142 + <property name="use_stock">False</property>
1.143 + <accelerator key="l" signal="activate" modifiers="GDK_CONTROL_MASK"/>
1.144 + <signal name="activate" handler="on_open_location" swapped="no"/>
1.145 + </object>
1.146 + </child>
1.147 + <child>
1.148 + <object class="GtkImageMenuItem" id="menuitem5">
1.149 + <property name="label" translatable="yes">_Scan local media</property>
1.150 + <property name="visible">True</property>
1.151 + <property name="can_focus">False</property>
1.152 + <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1.153 + <property name="tooltip_text" translatable="yes">Scan local media for package repositories</property>
1.154 + <property name="use_underline">True</property>
1.155 + <property name="image">image2</property>
1.156 + <property name="use_stock">False</property>
1.157 + <signal name="activate" handler="on_scan_local_media" swapped="no"/>
1.158 + </object>
1.159 + </child>
1.160 + <child>
1.161 + <object class="GtkImageMenuItem" id="imagemenuitem2">
1.162 + <property name="label">Open _Archive...</property>
1.163 + <property name="visible">True</property>
1.164 + <property name="can_focus">False</property>
1.165 + <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1.166 + <property name="tooltip_text" translatable="yes">Open an archived package repository</property>
1.167 + <property name="use_underline">True</property>
1.168 + <property name="image">image3</property>
1.169 + <property name="use_stock">False</property>
1.170 + <accelerator key="a" signal="activate" modifiers="GDK_CONTROL_MASK"/>
1.171 + <signal name="activate" handler="on_open_archive" swapped="no"/>
1.172 </object>
1.173 </child>
1.174 </object>
1.175 @@ -78,34 +151,38 @@
1.176 <child>
1.177 <object class="GtkMenuItem" id="menuitem3">
1.178 <property name="visible">True</property>
1.179 + <property name="can_focus">False</property>
1.180 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1.181 <property name="label" translatable="yes">_View</property>
1.182 <property name="use_underline">True</property>
1.183 <child type="submenu">
1.184 <object class="GtkMenu" id="menu2">
1.185 <property name="visible">True</property>
1.186 + <property name="can_focus">False</property>
1.187 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1.188 <child>
1.189 <object class="GtkRadioMenuItem" id="ViewFiles">
1.190 <property name="visible">True</property>
1.191 + <property name="can_focus">False</property>
1.192 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1.193 <property name="tooltip_text" translatable="yes">Show a list of files owned by the selected package</property>
1.194 <property name="label" translatable="yes">_File list</property>
1.195 <property name="use_underline">True</property>
1.196 <property name="draw_as_radio">True</property>
1.197 - <signal name="toggled" handler="on_view_files_toggled"/>
1.198 + <signal name="toggled" handler="on_view_files_toggled" swapped="no"/>
1.199 </object>
1.200 </child>
1.201 <child>
1.202 <object class="GtkRadioMenuItem" id="menuitem6">
1.203 <property name="visible">True</property>
1.204 + <property name="can_focus">False</property>
1.205 <property name="tooltip_text" translatable="yes">Show the description etc., of the selected package</property>
1.206 <property name="label" translatable="yes">Package _details</property>
1.207 <property name="use_underline">True</property>
1.208 <property name="active">True</property>
1.209 <property name="draw_as_radio">True</property>
1.210 <property name="group">ViewFiles</property>
1.211 - <signal name="toggled" handler="on_view_details_toggled"/>
1.212 + <signal name="toggled" handler="on_view_details_toggled" swapped="no"/>
1.213 </object>
1.214 </child>
1.215 </object>
1.216 @@ -115,22 +192,25 @@
1.217 <child>
1.218 <object class="GtkMenuItem" id="menuitem4">
1.219 <property name="visible">True</property>
1.220 + <property name="can_focus">False</property>
1.221 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1.222 <property name="label" translatable="yes">_Help</property>
1.223 <property name="use_underline">True</property>
1.224 <child type="submenu">
1.225 <object class="GtkMenu" id="menu3">
1.226 <property name="visible">True</property>
1.227 + <property name="can_focus">False</property>
1.228 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1.229 <child>
1.230 <object class="GtkImageMenuItem" id="imagemenuitem10">
1.231 <property name="label">gtk-about</property>
1.232 <property name="visible">True</property>
1.233 + <property name="can_focus">False</property>
1.234 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1.235 <property name="tooltip_text" translatable="yes">Display details about the application manager</property>
1.236 <property name="use_underline">True</property>
1.237 <property name="use_stock">True</property>
1.238 - <signal name="activate" handler="on_help_about"/>
1.239 + <signal name="activate" handler="on_help_about" swapped="no"/>
1.240 </object>
1.241 </child>
1.242 </object>
1.243 @@ -140,6 +220,7 @@
1.244 </object>
1.245 <packing>
1.246 <property name="expand">False</property>
1.247 + <property name="fill">True</property>
1.248 <property name="position">0</property>
1.249 </packing>
1.250 </child>
1.251 @@ -147,12 +228,12 @@
1.252 <object class="GtkVPaned" id="vpaned2">
1.253 <property name="visible">True</property>
1.254 <property name="can_focus">True</property>
1.255 - <property name="orientation">vertical</property>
1.256 <property name="position">215</property>
1.257 <property name="position_set">True</property>
1.258 <child>
1.259 <object class="GtkAlignment" id="alignment1">
1.260 <property name="visible">True</property>
1.261 + <property name="can_focus">False</property>
1.262 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1.263 <property name="left_padding">6</property>
1.264 <property name="right_padding">6</property>
1.265 @@ -165,12 +246,13 @@
1.266 <child>
1.267 <object class="GtkVBox" id="vbox2">
1.268 <property name="visible">True</property>
1.269 + <property name="can_focus">False</property>
1.270 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1.271 - <property name="orientation">vertical</property>
1.272 <property name="spacing">6</property>
1.273 <child>
1.274 <object class="GtkHBox" id="hbox1">
1.275 <property name="visible">True</property>
1.276 + <property name="can_focus">False</property>
1.277 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1.278 <property name="spacing">6</property>
1.279 <child>
1.280 @@ -178,12 +260,18 @@
1.281 <property name="visible">True</property>
1.282 <property name="can_focus">True</property>
1.283 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1.284 - <property name="invisible_char">●</property>
1.285 + <property name="invisible_char">●</property>
1.286 <property name="activates_default">True</property>
1.287 <property name="width_chars">10</property>
1.288 <property name="caps_lock_warning">False</property>
1.289 + <property name="primary_icon_activatable">False</property>
1.290 + <property name="secondary_icon_activatable">False</property>
1.291 + <property name="primary_icon_sensitive">True</property>
1.292 + <property name="secondary_icon_sensitive">True</property>
1.293 </object>
1.294 <packing>
1.295 + <property name="expand">True</property>
1.296 + <property name="fill">True</property>
1.297 <property name="position">0</property>
1.298 </packing>
1.299 </child>
1.300 @@ -197,7 +285,7 @@
1.301 <property name="receives_default">True</property>
1.302 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1.303 <property name="use_stock">True</property>
1.304 - <signal name="clicked" handler="on_find_clicked"/>
1.305 + <signal name="clicked" handler="on_find_clicked" swapped="no"/>
1.306 </object>
1.307 <packing>
1.308 <property name="expand">False</property>
1.309 @@ -215,31 +303,35 @@
1.310 <child>
1.311 <object class="GtkHBox" id="hbox4">
1.312 <property name="visible">True</property>
1.313 + <property name="can_focus">False</property>
1.314 <child>
1.315 <object class="GtkVSeparator" id="vseparator1">
1.316 <property name="visible">True</property>
1.317 - <property name="orientation">vertical</property>
1.318 + <property name="can_focus">False</property>
1.319 </object>
1.320 <packing>
1.321 <property name="expand">False</property>
1.322 + <property name="fill">True</property>
1.323 <property name="position">0</property>
1.324 </packing>
1.325 </child>
1.326 <child>
1.327 <object class="GtkToolbar" id="toolbar1">
1.328 <property name="visible">True</property>
1.329 + <property name="can_focus">False</property>
1.330 <property name="orientation">vertical</property>
1.331 <property name="icon_size">2</property>
1.332 <property name="icon_size_set">True</property>
1.333 <child>
1.334 <object class="GtkRadioToolButton" id="toolbutton1">
1.335 <property name="visible">True</property>
1.336 + <property name="can_focus">False</property>
1.337 <property name="tooltip_text" translatable="yes">Show installed applications</property>
1.338 <property name="label" translatable="yes">_Applications</property>
1.339 <property name="use_underline">True</property>
1.340 <property name="stock_id">plover-applications</property>
1.341 <property name="active">True</property>
1.342 - <signal name="toggled" handler="on_applications_toggled"/>
1.343 + <signal name="toggled" handler="on_applications_toggled" swapped="no"/>
1.344 </object>
1.345 <packing>
1.346 <property name="expand">False</property>
1.347 @@ -249,12 +341,13 @@
1.348 <child>
1.349 <object class="GtkRadioToolButton" id="toolbutton2">
1.350 <property name="visible">True</property>
1.351 + <property name="can_focus">False</property>
1.352 <property name="tooltip_text" translatable="yes">Show all installed packages</property>
1.353 <property name="label" translatable="yes">A_ll Packages</property>
1.354 <property name="use_underline">True</property>
1.355 <property name="stock_id">gtk-index</property>
1.356 <property name="group">toolbutton1</property>
1.357 - <signal name="toggled" handler="on_all_packages_toggled"/>
1.358 + <signal name="toggled" handler="on_all_packages_toggled" swapped="no"/>
1.359 </object>
1.360 <packing>
1.361 <property name="expand">False</property>
1.362 @@ -264,6 +357,7 @@
1.363 <child>
1.364 <object class="GtkSeparatorToolItem" id="toolbutton3">
1.365 <property name="visible">True</property>
1.366 + <property name="can_focus">False</property>
1.367 </object>
1.368 <packing>
1.369 <property name="expand">False</property>
1.370 @@ -273,12 +367,13 @@
1.371 <child>
1.372 <object class="GtkRadioToolButton" id="toolbutton5">
1.373 <property name="visible">True</property>
1.374 + <property name="can_focus">False</property>
1.375 <property name="tooltip_text" translatable="yes">Show packages in repositories on local media</property>
1.376 <property name="label" translatable="yes">Local _Media</property>
1.377 <property name="use_underline">True</property>
1.378 <property name="stock_id">gtk-cdrom</property>
1.379 <property name="group">toolbutton1</property>
1.380 - <signal name="toggled" handler="on_local_media_toggled"/>
1.381 + <signal name="toggled" handler="on_local_media_toggled" swapped="no"/>
1.382 </object>
1.383 <packing>
1.384 <property name="expand">False</property>
1.385 @@ -287,11 +382,12 @@
1.386 </child>
1.387 <child>
1.388 <object class="GtkRadioToolButton" id="LocationButton">
1.389 + <property name="can_focus">False</property>
1.390 <property name="label" translatable="yes">Location</property>
1.391 <property name="use_underline">True</property>
1.392 <property name="stock_id">gtk-directory</property>
1.393 <property name="group">toolbutton1</property>
1.394 - <signal name="toggled" handler="on_location_toggled"/>
1.395 + <signal name="toggled" handler="on_location_toggled" swapped="no"/>
1.396 </object>
1.397 <packing>
1.398 <property name="expand">False</property>
1.399 @@ -300,6 +396,7 @@
1.400 </child>
1.401 <child>
1.402 <object class="GtkRadioToolButton" id="toolbutton4">
1.403 + <property name="can_focus">False</property>
1.404 <property name="tooltip_text" translatable="yes">Show updates available for installed packages</property>
1.405 <property name="label" translatable="yes">_Updates</property>
1.406 <property name="use_underline">True</property>
1.407 @@ -313,21 +410,26 @@
1.408 </child>
1.409 </object>
1.410 <packing>
1.411 + <property name="expand">True</property>
1.412 + <property name="fill">True</property>
1.413 <property name="position">1</property>
1.414 </packing>
1.415 </child>
1.416 <child>
1.417 <object class="GtkVSeparator" id="vseparator2">
1.418 <property name="visible">True</property>
1.419 - <property name="orientation">vertical</property>
1.420 + <property name="can_focus">False</property>
1.421 </object>
1.422 <packing>
1.423 <property name="expand">False</property>
1.424 + <property name="fill">True</property>
1.425 <property name="position">2</property>
1.426 </packing>
1.427 </child>
1.428 </object>
1.429 <packing>
1.430 + <property name="expand">True</property>
1.431 + <property name="fill">True</property>
1.432 <property name="position">1</property>
1.433 </packing>
1.434 </child>
1.435 @@ -369,11 +471,13 @@
1.436 <child>
1.437 <object class="GtkAlignment" id="alignment3">
1.438 <property name="visible">True</property>
1.439 + <property name="can_focus">False</property>
1.440 <property name="left_padding">6</property>
1.441 <property name="right_padding">6</property>
1.442 <child>
1.443 <object class="GtkHBox" id="ActivePackage">
1.444 <property name="visible">True</property>
1.445 + <property name="can_focus">False</property>
1.446 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1.447 <property name="spacing">6</property>
1.448 <child>
1.449 @@ -391,6 +495,8 @@
1.450 </child>
1.451 </object>
1.452 <packing>
1.453 + <property name="expand">True</property>
1.454 + <property name="fill">True</property>
1.455 <property name="position">0</property>
1.456 </packing>
1.457 </child>
1.458 @@ -417,27 +523,33 @@
1.459 </child>
1.460 </object>
1.461 <packing>
1.462 + <property name="expand">True</property>
1.463 + <property name="fill">True</property>
1.464 <property name="position">1</property>
1.465 </packing>
1.466 </child>
1.467 <child>
1.468 <object class="GtkVBox" id="PackageDetails">
1.469 <property name="visible">True</property>
1.470 - <property name="orientation">vertical</property>
1.471 + <property name="can_focus">False</property>
1.472 <child>
1.473 <object class="GtkAlignment" id="HomepageBox">
1.474 <property name="visible">True</property>
1.475 + <property name="can_focus">False</property>
1.476 <property name="xscale">0</property>
1.477 <property name="yscale">0</property>
1.478 <child>
1.479 <object class="GtkHBox" id="hbox3">
1.480 <property name="visible">True</property>
1.481 + <property name="can_focus">False</property>
1.482 <child>
1.483 <object class="GtkImage" id="HomeImage">
1.484 <property name="visible">True</property>
1.485 + <property name="can_focus">False</property>
1.486 <property name="stock">gtk-home</property>
1.487 </object>
1.488 <packing>
1.489 + <property name="expand">True</property>
1.490 <property name="fill">False</property>
1.491 <property name="position">0</property>
1.492 </packing>
1.493 @@ -453,6 +565,7 @@
1.494 <property name="uri">http://www.city-occupational.co.uk/</property>
1.495 </object>
1.496 <packing>
1.497 + <property name="expand">True</property>
1.498 <property name="fill">False</property>
1.499 <property name="position">1</property>
1.500 </packing>
1.501 @@ -462,6 +575,7 @@
1.502 </object>
1.503 <packing>
1.504 <property name="expand">False</property>
1.505 + <property name="fill">True</property>
1.506 <property name="position">0</property>
1.507 </packing>
1.508 </child>
1.509 @@ -474,15 +588,18 @@
1.510 <child>
1.511 <object class="GtkViewport" id="DetailsViewport">
1.512 <property name="visible">True</property>
1.513 + <property name="can_focus">False</property>
1.514 <property name="resize_mode">queue</property>
1.515 <child>
1.516 <object class="GtkAlignment" id="DetailsAlignment">
1.517 <property name="visible">True</property>
1.518 + <property name="can_focus">False</property>
1.519 <property name="yalign">0</property>
1.520 <property name="yscale">0</property>
1.521 <child>
1.522 <object class="GtkTable" id="Details">
1.523 <property name="visible">True</property>
1.524 + <property name="can_focus">False</property>
1.525 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1.526 <property name="border_width">6</property>
1.527 <property name="n_rows">2</property>
1.528 @@ -492,6 +609,7 @@
1.529 <child>
1.530 <object class="GtkLabel" id="label6">
1.531 <property name="visible">True</property>
1.532 + <property name="can_focus">False</property>
1.533 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1.534 <property name="xalign">0</property>
1.535 <property name="label" translatable="yes">Architecture:</property>
1.536 @@ -499,12 +617,13 @@
1.537 </object>
1.538 <packing>
1.539 <property name="x_options">GTK_FILL</property>
1.540 - <property name="y_options"></property>
1.541 + <property name="y_options"/>
1.542 </packing>
1.543 </child>
1.544 <child>
1.545 <object class="GtkLabel" id="Architecture">
1.546 <property name="visible">True</property>
1.547 + <property name="can_focus">False</property>
1.548 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1.549 <property name="xalign">0</property>
1.550 <property name="label" translatable="yes">i386</property>
1.551 @@ -515,12 +634,13 @@
1.552 <property name="left_attach">1</property>
1.553 <property name="right_attach">2</property>
1.554 <property name="x_options">GTK_FILL</property>
1.555 - <property name="y_options"></property>
1.556 + <property name="y_options"/>
1.557 </packing>
1.558 </child>
1.559 <child>
1.560 <object class="GtkLabel" id="label4">
1.561 <property name="visible">True</property>
1.562 + <property name="can_focus">False</property>
1.563 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1.564 <property name="xalign">0</property>
1.565 <property name="label" translatable="yes">License:</property>
1.566 @@ -530,12 +650,13 @@
1.567 <property name="top_attach">1</property>
1.568 <property name="bottom_attach">2</property>
1.569 <property name="x_options">GTK_FILL</property>
1.570 - <property name="y_options"></property>
1.571 + <property name="y_options"/>
1.572 </packing>
1.573 </child>
1.574 <child>
1.575 <object class="GtkLabel" id="License">
1.576 <property name="visible">True</property>
1.577 + <property name="can_focus">False</property>
1.578 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1.579 <property name="xalign">0</property>
1.580 <property name="label" translatable="yes">LGPL</property>
1.581 @@ -548,7 +669,7 @@
1.582 <property name="top_attach">1</property>
1.583 <property name="bottom_attach">2</property>
1.584 <property name="x_options">GTK_FILL</property>
1.585 - <property name="y_options"></property>
1.586 + <property name="y_options"/>
1.587 </packing>
1.588 </child>
1.589 </object>
1.590 @@ -559,12 +680,15 @@
1.591 </child>
1.592 </object>
1.593 <packing>
1.594 + <property name="expand">True</property>
1.595 + <property name="fill">True</property>
1.596 <property name="position">1</property>
1.597 </packing>
1.598 </child>
1.599 </object>
1.600 <packing>
1.601 <property name="expand">False</property>
1.602 + <property name="fill">True</property>
1.603 <property name="pack_type">end</property>
1.604 <property name="position">2</property>
1.605 </packing>
1.606 @@ -579,30 +703,194 @@
1.607 </child>
1.608 </object>
1.609 <packing>
1.610 + <property name="expand">True</property>
1.611 + <property name="fill">True</property>
1.612 <property name="position">1</property>
1.613 </packing>
1.614 </child>
1.615 <child>
1.616 <object class="GtkStatusbar" id="statusbar1">
1.617 <property name="visible">True</property>
1.618 + <property name="can_focus">False</property>
1.619 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1.620 <property name="spacing">2</property>
1.621 </object>
1.622 <packing>
1.623 <property name="expand">False</property>
1.624 + <property name="fill">True</property>
1.625 <property name="position">2</property>
1.626 </packing>
1.627 </child>
1.628 </object>
1.629 </child>
1.630 </object>
1.631 - <object class="GtkTextBuffer" id="description"/>
1.632 - <object class="GtkImage" id="image1">
1.633 - <property name="visible">True</property>
1.634 - <property name="stock">gtk-open</property>
1.635 - </object>
1.636 - <object class="GtkImage" id="image2">
1.637 - <property name="visible">True</property>
1.638 - <property name="stock">gtk-cdrom</property>
1.639 + <object class="GtkDialog" id="OpenDatabase">
1.640 + <property name="can_focus">False</property>
1.641 + <property name="border_width">5</property>
1.642 + <property name="title" translatable="yes">Open Database</property>
1.643 + <property name="type_hint">dialog</property>
1.644 + <property name="transient_for">MainWindow</property>
1.645 + <child internal-child="vbox">
1.646 + <object class="GtkVBox" id="dialog-vbox1">
1.647 + <property name="visible">True</property>
1.648 + <property name="can_focus">False</property>
1.649 + <property name="spacing">2</property>
1.650 + <child internal-child="action_area">
1.651 + <object class="GtkHButtonBox" id="dialog-action_area1">
1.652 + <property name="visible">True</property>
1.653 + <property name="can_focus">False</property>
1.654 + <property name="layout_style">end</property>
1.655 + <child>
1.656 + <object class="GtkButton" id="button2">
1.657 + <property name="label">gtk-cancel</property>
1.658 + <property name="visible">True</property>
1.659 + <property name="can_focus">True</property>
1.660 + <property name="receives_default">True</property>
1.661 + <property name="use_stock">True</property>
1.662 + </object>
1.663 + <packing>
1.664 + <property name="expand">False</property>
1.665 + <property name="fill">False</property>
1.666 + <property name="position">0</property>
1.667 + </packing>
1.668 + </child>
1.669 + <child>
1.670 + <object class="GtkButton" id="button3">
1.671 + <property name="label">gtk-open</property>
1.672 + <property name="visible">True</property>
1.673 + <property name="can_focus">True</property>
1.674 + <property name="receives_default">True</property>
1.675 + <property name="use_stock">True</property>
1.676 + </object>
1.677 + <packing>
1.678 + <property name="expand">False</property>
1.679 + <property name="fill">False</property>
1.680 + <property name="position">1</property>
1.681 + </packing>
1.682 + </child>
1.683 + </object>
1.684 + <packing>
1.685 + <property name="expand">True</property>
1.686 + <property name="fill">True</property>
1.687 + <property name="position">0</property>
1.688 + </packing>
1.689 + </child>
1.690 + <child>
1.691 + <object class="GtkVBox" id="vbox3">
1.692 + <property name="visible">True</property>
1.693 + <property name="can_focus">False</property>
1.694 + <property name="border_width">6</property>
1.695 + <child>
1.696 + <object class="GtkLabel" id="label1">
1.697 + <property name="visible">True</property>
1.698 + <property name="can_focus">False</property>
1.699 + <property name="xalign">0</property>
1.700 + <property name="label" translatable="yes">The primary package database for a system is known as the global
1.701 +database. If a system needs to contain multiple package sets, then
1.702 +additional ones may be configured as distribution-local databases.
1.703 +This allows packages within each package set to be independent of
1.704 +each other.
1.705 +
1.706 +If there are no distribution-local databases (or no global one), then
1.707 +this option will not be available:</property>
1.708 + </object>
1.709 + <packing>
1.710 + <property name="expand">True</property>
1.711 + <property name="fill">True</property>
1.712 + <property name="position">0</property>
1.713 + </packing>
1.714 + </child>
1.715 + <child>
1.716 + <object class="GtkVBox" id="vbox4">
1.717 + <property name="visible">True</property>
1.718 + <property name="can_focus">False</property>
1.719 + <property name="border_width">6</property>
1.720 + <child>
1.721 + <object class="GtkRadioButton" id="distribution_global">
1.722 + <property name="label" translatable="yes">Global</property>
1.723 + <property name="visible">True</property>
1.724 + <property name="can_focus">True</property>
1.725 + <property name="receives_default">False</property>
1.726 + <property name="active">True</property>
1.727 + <property name="draw_indicator">True</property>
1.728 + </object>
1.729 + <packing>
1.730 + <property name="expand">True</property>
1.731 + <property name="fill">True</property>
1.732 + <property name="position">0</property>
1.733 + </packing>
1.734 + </child>
1.735 + <child>
1.736 + <object class="GtkRadioButton" id="distribution_local">
1.737 + <property name="label" translatable="yes">Distribution-local</property>
1.738 + <property name="visible">True</property>
1.739 + <property name="can_focus">True</property>
1.740 + <property name="receives_default">False</property>
1.741 + <property name="active">True</property>
1.742 + <property name="draw_indicator">True</property>
1.743 + <property name="group">distribution_global</property>
1.744 + </object>
1.745 + <packing>
1.746 + <property name="expand">True</property>
1.747 + <property name="fill">True</property>
1.748 + <property name="position">1</property>
1.749 + </packing>
1.750 + </child>
1.751 + </object>
1.752 + <packing>
1.753 + <property name="expand">True</property>
1.754 + <property name="fill">True</property>
1.755 + <property name="position">1</property>
1.756 + </packing>
1.757 + </child>
1.758 + <child>
1.759 + <object class="GtkLabel" id="local_databases_label">
1.760 + <property name="visible">True</property>
1.761 + <property name="can_focus">False</property>
1.762 + <property name="xalign">0</property>
1.763 + <property name="label" translatable="yes">Each distribution-local database has an associated name and vendor:</property>
1.764 + </object>
1.765 + <packing>
1.766 + <property name="expand">True</property>
1.767 + <property name="fill">True</property>
1.768 + <property name="position">2</property>
1.769 + </packing>
1.770 + </child>
1.771 + <child>
1.772 + <object class="GtkVBox" id="vbox5">
1.773 + <property name="visible">True</property>
1.774 + <property name="can_focus">False</property>
1.775 + <property name="border_width">6</property>
1.776 + <child>
1.777 + <object class="GtkComboBox" id="local_databases">
1.778 + <property name="visible">True</property>
1.779 + <property name="can_focus">False</property>
1.780 + </object>
1.781 + <packing>
1.782 + <property name="expand">True</property>
1.783 + <property name="fill">True</property>
1.784 + <property name="position">0</property>
1.785 + </packing>
1.786 + </child>
1.787 + </object>
1.788 + <packing>
1.789 + <property name="expand">True</property>
1.790 + <property name="fill">True</property>
1.791 + <property name="position">3</property>
1.792 + </packing>
1.793 + </child>
1.794 + </object>
1.795 + <packing>
1.796 + <property name="expand">True</property>
1.797 + <property name="fill">True</property>
1.798 + <property name="position">1</property>
1.799 + </packing>
1.800 + </child>
1.801 + </object>
1.802 + </child>
1.803 + <action-widgets>
1.804 + <action-widget response="-6">button2</action-widget>
1.805 + <action-widget response="-3">button3</action-widget>
1.806 + </action-widgets>
1.807 </object>
1.808 </interface>