app-manager/app-manager.ui
author J. Ali Harlow <ali@juiblex.co.uk>
Sat Jul 16 11:07:18 2016 +0100 (2016-07-16)
changeset 61 31fb35727621
parent 10 8b50be3e2998
child 109 2947214c450e
permissions -rw-r--r--
Support parallel installations. The idea is that for CAD screener, we want
to be able to install this on the same machine as a standard AVOT setup
(most notably for John's laptop). To allow for the possibility of a second
application that might have the same requirements, we add the concept of
vendor-specific distributions. Thus we can have one distribution for CAD
screener and one for The Next Big Thing. It doesn't seem trivial to have
both CAD screener and AVOT under the same vendor tag so we'll have to have
AVOT under "City Occupational" and CAD screener under "City Occupational Ltd"
or some such kludge.

Most of this is done although we are very short of test cases (in particular
we don't test that it's actually possible to install CAD screener in parallel
with AVOT or to update either of them once installed, which is fundamental).

We also have a lot of baggage left over, including an intercept of razor_set.
The problem that this was introduced to debug has been fixed but it looks
like there are a number of memory leaks which it might be useful to help
track down so it has been left in place for now.

There is still a lot of confusion in plover between path-based and URI-based
API. We should review the API, decide what we want and have a general clear up.

There is also confusion as to the purpose of RAZOR_ROOT (and meaning; path or
URI). This is not used at all in librazor (although it is used in razor.exe).
Ideally we shouldn't use it in plover or plover-gtk either although again, we
might want to support it or an equivalent in (some of) the various executables.

Work that would still to nice to do for CAD screener:

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