zeroinstall/0launch-gui/zero-install.glade

   1 <?xml version="1.0" standalone="no"?> <!--*- mode: xml -*-->
   2 <!DOCTYPE glade-interface SYSTEM "http://glade.gnome.org/glade-2.0.dtd">
   3
   4 <glade-interface>
   5
   6 <widget class="GtkDialog" id="main">
   7   <property name="title" translatable="yes">Zero Install</property>
   8   <property name="type">GTK_WINDOW_TOPLEVEL</property>
   9   <property name="window_position">GTK_WIN_POS_NONE</property>
  10   <property name="modal">False</property>
  11   <property name="resizable">True</property>
  12   <property name="destroy_with_parent">False</property>
  13   <property name="decorated">True</property>
  14   <property name="skip_taskbar_hint">False</property>
  15   <property name="skip_pager_hint">False</property>
  16   <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
  17   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
  18   <property name="focus_on_map">True</property>
  19   <property name="urgency_hint">False</property>
  20   <property name="has_separator">False</property>
  21
  22   <child internal-child="vbox">
  23     <widget class="GtkVBox" id="dialog-vbox1">
  24       <property name="visible">True</property>
  25       <property name="homogeneous">False</property>
  26       <property name="spacing">0</property>
  27
  28       <child internal-child="action_area">
  29         <widget class="GtkHButtonBox" id="dialog-action_area1">
  30           <property name="visible">True</property>
  31           <property name="layout_style">GTK_BUTTONBOX_END</property>
  32
  33           <child>
  34             <widget class="GtkButton" id="helpbutton1">
  35               <property name="visible">True</property>
  36               <property name="can_default">True</property>
  37               <property name="can_focus">True</property>
  38               <property name="label">gtk-help</property>
  39               <property name="use_stock">True</property>
  40               <property name="relief">GTK_RELIEF_NORMAL</property>
  41               <property name="focus_on_click">True</property>
  42               <property name="response_id">-11</property>
  43             </widget>
  44           </child>
  45
  46           <child>
  47             <widget class="GtkButton" id="preferences">
  48               <property name="visible">True</property>
  49               <property name="can_default">True</property>
  50               <property name="can_focus">True</property>
  51               <property name="label">gtk-preferences</property>
  52               <property name="use_stock">True</property>
  53               <property name="relief">GTK_RELIEF_NORMAL</property>
  54               <property name="focus_on_click">True</property>
  55               <property name="response_id">0</property>
  56             </widget>
  57           </child>
  58
  59           <child>
  60             <widget class="GtkButton" id="button2">
  61               <property name="visible">True</property>
  62               <property name="can_default">True</property>
  63               <property name="can_focus">True</property>
  64               <property name="label">gtk-cancel</property>
  65               <property name="use_stock">True</property>
  66               <property name="relief">GTK_RELIEF_NORMAL</property>
  67               <property name="focus_on_click">True</property>
  68               <property name="response_id">-6</property>
  69             </widget>
  70           </child>
  71         </widget>
  72         <packing>
  73           <property name="padding">0</property>
  74           <property name="expand">False</property>
  75           <property name="fill">True</property>
  76           <property name="pack_type">GTK_PACK_END</property>
  77         </packing>
  78       </child>
  79
  80       <child>
  81         <widget class="GtkVBox" id="vbox1">
  82           <property name="border_width">4</property>
  83           <property name="visible">True</property>
  84           <property name="homogeneous">False</property>
  85           <property name="spacing">0</property>
  86
  87           <child>
  88             <widget class="GtkScrolledWindow" id="scrolledwindow1">
  89               <property name="visible">True</property>
  90               <property name="can_focus">True</property>
  91               <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
  92               <property name="vscrollbar_policy">GTK_POLICY_ALWAYS</property>
  93               <property name="shadow_type">GTK_SHADOW_IN</property>
  94               <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
  95
  96               <child>
  97                 <widget class="GtkTreeView" id="components">
  98                   <property name="visible">True</property>
  99                   <property name="can_focus">True</property>
 100                   <property name="headers_visible">True</property>
 101                   <property name="rules_hint">False</property>
 102                   <property name="reorderable">False</property>
 103                   <property name="enable_search">True</property>
 104                   <property name="fixed_height_mode">False</property>
 105                   <property name="hover_selection">False</property>
 106                   <property name="hover_expand">False</property>
 107                 </widget>
 108               </child>
 109             </widget>
 110             <packing>
 111               <property name="padding">4</property>
 112               <property name="expand">True</property>
 113               <property name="fill">True</property>
 114             </packing>
 115           </child>
 116
 117           <child>
 118             <widget class="GtkHBox" id="hbox5">
 119               <property name="visible">True</property>
 120               <property name="homogeneous">False</property>
 121               <property name="spacing">4</property>
 122
 123               <child>
 124                 <widget class="GtkButton" id="show_cache">
 125                   <property name="visible">True</property>
 126                   <property name="tooltip" translatable="yes">Show all components currently stored on this computer.</property>
 127                   <property name="can_focus">True</property>
 128                   <property name="relief">GTK_RELIEF_NORMAL</property>
 129                   <property name="focus_on_click">True</property>
 130
 131                   <child>
 132                     <widget class="GtkAlignment" id="alignment3">
 133                       <property name="visible">True</property>
 134                       <property name="xalign">0.5</property>
 135                       <property name="yalign">0.5</property>
 136                       <property name="xscale">0</property>
 137                       <property name="yscale">0</property>
 138                       <property name="top_padding">0</property>
 139                       <property name="bottom_padding">0</property>
 140                       <property name="left_padding">0</property>
 141                       <property name="right_padding">0</property>
 142
 143                       <child>
 144                         <widget class="GtkHBox" id="hbox4">
 145                           <property name="visible">True</property>
 146                           <property name="homogeneous">False</property>
 147                           <property name="spacing">2</property>
 148
 149                           <child>
 150                             <widget class="GtkImage" id="image3">
 151                               <property name="visible">True</property>
 152                               <property name="stock">gtk-open</property>
 153                               <property name="icon_size">4</property>
 154                               <property name="xalign">0.5</property>
 155                               <property name="yalign">0.5</property>
 156                               <property name="xpad">0</property>
 157                               <property name="ypad">0</property>
 158                             </widget>
 159                             <packing>
 160                               <property name="padding">0</property>
 161                               <property name="expand">False</property>
 162                               <property name="fill">False</property>
 163                             </packing>
 164                           </child>
 165
 166                           <child>
 167                             <widget class="GtkLabel" id="label4">
 168                               <property name="visible">True</property>
 169                               <property name="label" translatable="yes">Sho_w cache</property>
 170                               <property name="use_underline">True</property>
 171                               <property name="use_markup">False</property>
 172                               <property name="justify">GTK_JUSTIFY_LEFT</property>
 173                               <property name="wrap">False</property>
 174                               <property name="selectable">False</property>
 175                               <property name="xalign">0.5</property>
 176                               <property name="yalign">0.5</property>
 177                               <property name="xpad">0</property>
 178                               <property name="ypad">0</property>
 179                               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 180                               <property name="width_chars">-1</property>
 181                               <property name="single_line_mode">False</property>
 182                               <property name="angle">0</property>
 183                             </widget>
 184                             <packing>
 185                               <property name="padding">0</property>
 186                               <property name="expand">False</property>
 187                               <property name="fill">False</property>
 188                             </packing>
 189                           </child>
 190                         </widget>
 191                       </child>
 192                     </widget>
 193                   </child>
 194                 </widget>
 195                 <packing>
 196                   <property name="padding">0</property>
 197                   <property name="expand">False</property>
 198                   <property name="fill">False</property>
 199                 </packing>
 200               </child>
 201
 202               <child>
 203                 <widget class="GtkButton" id="refresh">
 204                   <property name="visible">True</property>
 205                   <property name="tooltip" translatable="yes">Check all the components for updates.</property>
 206                   <property name="can_focus">True</property>
 207                   <property name="relief">GTK_RELIEF_NORMAL</property>
 208                   <property name="focus_on_click">True</property>
 209
 210                   <child>
 211                     <widget class="GtkAlignment" id="alignment2">
 212                       <property name="visible">True</property>
 213                       <property name="xalign">0.5</property>
 214                       <property name="yalign">0.5</property>
 215                       <property name="xscale">0</property>
 216                       <property name="yscale">0</property>
 217                       <property name="top_padding">0</property>
 218                       <property name="bottom_padding">0</property>
 219                       <property name="left_padding">0</property>
 220                       <property name="right_padding">0</property>
 221
 222                       <child>
 223                         <widget class="GtkHBox" id="hbox3">
 224                           <property name="visible">True</property>
 225                           <property name="homogeneous">False</property>
 226                           <property name="spacing">2</property>
 227
 228                           <child>
 229                             <widget class="GtkImage" id="image2">
 230                               <property name="visible">True</property>
 231                               <property name="stock">gtk-refresh</property>
 232                               <property name="icon_size">4</property>
 233                               <property name="xalign">0.5</property>
 234                               <property name="yalign">0.5</property>
 235                               <property name="xpad">0</property>
 236                               <property name="ypad">0</property>
 237                             </widget>
 238                             <packing>
 239                               <property name="padding">0</property>
 240                               <property name="expand">False</property>
 241                               <property name="fill">False</property>
 242                             </packing>
 243                           </child>
 244
 245                           <child>
 246                             <widget class="GtkLabel" id="label">
 247                               <property name="visible">True</property>
 248                               <property name="label" translatable="yes">Re_fresh all now</property>
 249                               <property name="use_underline">True</property>
 250                               <property name="use_markup">False</property>
 251                               <property name="justify">GTK_JUSTIFY_LEFT</property>
 252                               <property name="wrap">False</property>
 253                               <property name="selectable">False</property>
 254                               <property name="xalign">0.5</property>
 255                               <property name="yalign">0.5</property>
 256                               <property name="xpad">0</property>
 257                               <property name="ypad">0</property>
 258                               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 259                               <property name="width_chars">-1</property>
 260                               <property name="single_line_mode">False</property>
 261                               <property name="angle">0</property>
 262                             </widget>
 263                             <packing>
 264                               <property name="padding">0</property>
 265                               <property name="expand">False</property>
 266                               <property name="fill">False</property>
 267                             </packing>
 268                           </child>
 269                         </widget>
 270                       </child>
 271                     </widget>
 272                   </child>
 273                 </widget>
 274                 <packing>
 275                   <property name="padding">0</property>
 276                   <property name="expand">False</property>
 277                   <property name="fill">False</property>
 278                 </packing>
 279               </child>
 280
 281               <child>
 282                 <widget class="GtkHBox" id="progress_area">
 283                   <property name="homogeneous">False</property>
 284                   <property name="spacing">0</property>
 285
 286                   <child>
 287                     <widget class="GtkProgressBar" id="progress">
 288                       <property name="visible">True</property>
 289                       <property name="orientation">GTK_PROGRESS_LEFT_TO_RIGHT</property>
 290                       <property name="fraction">0</property>
 291                       <property name="pulse_step">0.10000000149</property>
 292                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 293                     </widget>
 294                     <packing>
 295                       <property name="padding">4</property>
 296                       <property name="expand">True</property>
 297                       <property name="fill">True</property>
 298                     </packing>
 299                   </child>
 300
 301                   <child>
 302                     <widget class="GtkButton" id="stop">
 303                       <property name="visible">True</property>
 304                       <property name="can_focus">True</property>
 305                       <property name="label">gtk-stop</property>
 306                       <property name="use_stock">True</property>
 307                       <property name="relief">GTK_RELIEF_NORMAL</property>
 308                       <property name="focus_on_click">True</property>
 309                     </widget>
 310                     <packing>
 311                       <property name="padding">0</property>
 312                       <property name="expand">False</property>
 313                       <property name="fill">False</property>
 314                     </packing>
 315                   </child>
 316                 </widget>
 317                 <packing>
 318                   <property name="padding">0</property>
 319                   <property name="expand">True</property>
 320                   <property name="fill">True</property>
 321                 </packing>
 322               </child>
 323             </widget>
 324             <packing>
 325               <property name="padding">0</property>
 326               <property name="expand">False</property>
 327               <property name="fill">True</property>
 328             </packing>
 329           </child>
 330         </widget>
 331         <packing>
 332           <property name="padding">0</property>
 333           <property name="expand">True</property>
 334           <property name="fill">True</property>
 335         </packing>
 336       </child>
 337     </widget>
 338   </child>
 339 </widget>
 340
 341 <widget class="GtkDialog" id="preferences_box">
 342   <property name="title" translatable="yes">Zero Install Preferences</property>
 343   <property name="type">GTK_WINDOW_TOPLEVEL</property>
 344   <property name="window_position">GTK_WIN_POS_NONE</property>
 345   <property name="modal">False</property>
 346   <property name="resizable">True</property>
 347   <property name="destroy_with_parent">False</property>
 348   <property name="decorated">True</property>
 349   <property name="skip_taskbar_hint">False</property>
 350   <property name="skip_pager_hint">False</property>
 351   <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
 352   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
 353   <property name="focus_on_map">True</property>
 354   <property name="urgency_hint">False</property>
 355   <property name="has_separator">False</property>
 356
 357   <child internal-child="vbox">
 358     <widget class="GtkVBox" id="dialog-vbox2">
 359       <property name="visible">True</property>
 360       <property name="homogeneous">False</property>
 361       <property name="spacing">0</property>
 362
 363       <child internal-child="action_area">
 364         <widget class="GtkHButtonBox" id="dialog-action_area2">
 365           <property name="visible">True</property>
 366           <property name="layout_style">GTK_BUTTONBOX_END</property>
 367
 368           <child>
 369             <widget class="GtkButton" id="helpbutton2">
 370               <property name="visible">True</property>
 371               <property name="can_default">True</property>
 372               <property name="can_focus">True</property>
 373               <property name="label">gtk-help</property>
 374               <property name="use_stock">True</property>
 375               <property name="relief">GTK_RELIEF_NORMAL</property>
 376               <property name="focus_on_click">True</property>
 377               <property name="response_id">-11</property>
 378             </widget>
 379           </child>
 380
 381           <child>
 382             <widget class="GtkButton" id="closebutton1">
 383               <property name="visible">True</property>
 384               <property name="can_default">True</property>
 385               <property name="can_focus">True</property>
 386               <property name="label">gtk-close</property>
 387               <property name="use_stock">True</property>
 388               <property name="relief">GTK_RELIEF_NORMAL</property>
 389               <property name="focus_on_click">True</property>
 390               <property name="response_id">-7</property>
 391             </widget>
 392           </child>
 393         </widget>
 394         <packing>
 395           <property name="padding">0</property>
 396           <property name="expand">False</property>
 397           <property name="fill">True</property>
 398           <property name="pack_type">GTK_PACK_END</property>
 399         </packing>
 400       </child>
 401
 402       <child>
 403         <widget class="GtkVBox" id="vbox2">
 404           <property name="border_width">8</property>
 405           <property name="visible">True</property>
 406           <property name="homogeneous">False</property>
 407           <property name="spacing">12</property>
 408
 409           <child>
 410             <widget class="GtkFrame" id="frame1">
 411               <property name="visible">True</property>
 412               <property name="label_xalign">0</property>
 413               <property name="label_yalign">0.5</property>
 414               <property name="shadow_type">GTK_SHADOW_NONE</property>
 415
 416               <child>
 417                 <widget class="GtkAlignment" id="alignment6">
 418                   <property name="visible">True</property>
 419                   <property name="xalign">0.5</property>
 420                   <property name="yalign">0.5</property>
 421                   <property name="xscale">1</property>
 422                   <property name="yscale">1</property>
 423                   <property name="top_padding">0</property>
 424                   <property name="bottom_padding">0</property>
 425                   <property name="left_padding">12</property>
 426                   <property name="right_padding">0</property>
 427
 428                   <child>
 429                     <widget class="GtkVBox" id="vbox3">
 430                       <property name="visible">True</property>
 431                       <property name="homogeneous">False</property>
 432                       <property name="spacing">2</property>
 433
 434                       <child>
 435                         <widget class="GtkTable" id="table1">
 436                           <property name="visible">True</property>
 437                           <property name="n_rows">2</property>
 438                           <property name="n_columns">2</property>
 439                           <property name="homogeneous">False</property>
 440                           <property name="row_spacing">4</property>
 441                           <property name="column_spacing">0</property>
 442
 443                           <child>
 444                             <widget class="GtkLabel" id="label10">
 445                               <property name="visible">True</property>
 446                               <property name="label" translatable="yes">Network use: </property>
 447                               <property name="use_underline">False</property>
 448                               <property name="use_markup">False</property>
 449                               <property name="justify">GTK_JUSTIFY_LEFT</property>
 450                               <property name="wrap">False</property>
 451                               <property name="selectable">False</property>
 452                               <property name="xalign">1</property>
 453                               <property name="yalign">0.5</property>
 454                               <property name="xpad">0</property>
 455                               <property name="ypad">0</property>
 456                               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 457                               <property name="width_chars">-1</property>
 458                               <property name="single_line_mode">False</property>
 459                               <property name="angle">0</property>
 460                             </widget>
 461                             <packing>
 462                               <property name="left_attach">0</property>
 463                               <property name="right_attach">1</property>
 464                               <property name="top_attach">0</property>
 465                               <property name="bottom_attach">1</property>
 466                               <property name="x_options">fill</property>
 467                               <property name="y_options"></property>
 468                             </packing>
 469                           </child>
 470
 471                           <child>
 472                             <widget class="GtkLabel" id="label11">
 473                               <property name="visible">True</property>
 474                               <property name="label" translatable="yes">Freshness: </property>
 475                               <property name="use_underline">False</property>
 476                               <property name="use_markup">False</property>
 477                               <property name="justify">GTK_JUSTIFY_LEFT</property>
 478                               <property name="wrap">False</property>
 479                               <property name="selectable">False</property>
 480                               <property name="xalign">1</property>
 481                               <property name="yalign">0.5</property>
 482                               <property name="xpad">0</property>
 483                               <property name="ypad">0</property>
 484                               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 485                               <property name="width_chars">-1</property>
 486                               <property name="single_line_mode">False</property>
 487                               <property name="angle">0</property>
 488                             </widget>
 489                             <packing>
 490                               <property name="left_attach">0</property>
 491                               <property name="right_attach">1</property>
 492                               <property name="top_attach">1</property>
 493                               <property name="bottom_attach">2</property>
 494                               <property name="x_options">fill</property>
 495                               <property name="y_options"></property>
 496                             </packing>
 497                           </child>
 498
 499                           <child>
 500                             <widget class="GtkEventBox" id="eventbox1">
 501                               <property name="visible">True</property>
 502                               <property name="tooltip" translatable="yes">This controls whether Zero Install will always try to run the best version, downloading it if needed, or whether it will prefer to run an older version that is already on your machine.</property>
 503                               <property name="visible_window">True</property>
 504                               <property name="above_child">False</property>
 505
 506                               <child>
 507                                 <widget class="GtkComboBox" id="network_use">
 508                                   <property name="visible">True</property>
 509                                   <property name="items" translatable="yes"></property>
 510                                   <property name="add_tearoffs">False</property>
 511                                   <property name="focus_on_click">True</property>
 512                                 </widget>
 513                               </child>
 514                             </widget>
 515                             <packing>
 516                               <property name="left_attach">1</property>
 517                               <property name="right_attach">2</property>
 518                               <property name="top_attach">0</property>
 519                               <property name="bottom_attach">1</property>
 520                               <property name="y_options">fill</property>
 521                             </packing>
 522                           </child>
 523
 524                           <child>
 525                             <widget class="GtkEventBox" id="eventbox2">
 526                               <property name="visible">True</property>
 527                               <property name="tooltip" translatable="yes">If you run a program which hasn't been checked for this long, then Zero Install will check for updates (in the background, while the old version is actually run).</property>
 528                               <property name="visible_window">True</property>
 529                               <property name="above_child">False</property>
 530
 531                               <child>
 532                                 <widget class="GtkComboBox" id="freshness">
 533                                   <property name="visible">True</property>
 534                                   <property name="items" translatable="yes"></property>
 535                                   <property name="add_tearoffs">False</property>
 536                                   <property name="focus_on_click">True</property>
 537                                 </widget>
 538                               </child>
 539                             </widget>
 540                             <packing>
 541                               <property name="left_attach">1</property>
 542                               <property name="right_attach">2</property>
 543                               <property name="top_attach">1</property>
 544                               <property name="bottom_attach">2</property>
 545                               <property name="x_options">fill</property>
 546                               <property name="y_options">fill</property>
 547                             </packing>
 548                           </child>
 549                         </widget>
 550                         <packing>
 551                           <property name="padding">2</property>
 552                           <property name="expand">True</property>
 553                           <property name="fill">True</property>
 554                         </packing>
 555                       </child>
 556
 557                       <child>
 558                         <widget class="GtkCheckButton" id="help_test">
 559                           <property name="visible">True</property>
 560                           <property name="tooltip" translatable="yes">Try out new versions as soon as they are available, instead of waiting for them to be marked as 'stable'. This sets the default policy. Click on 'Interface Properties...' to set the policy for an individual interface.</property>
 561                           <property name="can_focus">True</property>
 562                           <property name="label" translatable="yes">Help test new versions</property>
 563                           <property name="use_underline">True</property>
 564                           <property name="relief">GTK_RELIEF_NORMAL</property>
 565                           <property name="focus_on_click">True</property>
 566                           <property name="active">False</property>
 567                           <property name="inconsistent">False</property>
 568                           <property name="draw_indicator">True</property>
 569                         </widget>
 570                         <packing>
 571                           <property name="padding">0</property>
 572                           <property name="expand">False</property>
 573                           <property name="fill">False</property>
 574                         </packing>
 575                       </child>
 576                     </widget>
 577                   </child>
 578                 </widget>
 579               </child>
 580
 581               <child>
 582                 <widget class="GtkLabel" id="label8">
 583                   <property name="visible">True</property>
 584                   <property name="label" translatable="yes">&lt;b&gt;Policy settings&lt;/b&gt;</property>
 585                   <property name="use_underline">False</property>
 586                   <property name="use_markup">True</property>
 587                   <property name="justify">GTK_JUSTIFY_LEFT</property>
 588                   <property name="wrap">False</property>
 589                   <property name="selectable">False</property>
 590                   <property name="xalign">0.5</property>
 591                   <property name="yalign">0.5</property>
 592                   <property name="xpad">0</property>
 593                   <property name="ypad">0</property>
 594                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 595                   <property name="width_chars">-1</property>
 596                   <property name="single_line_mode">False</property>
 597                   <property name="angle">0</property>
 598                 </widget>
 599                 <packing>
 600                   <property name="type">label_item</property>
 601                 </packing>
 602               </child>
 603             </widget>
 604             <packing>
 605               <property name="padding">0</property>
 606               <property name="expand">False</property>
 607               <property name="fill">True</property>
 608             </packing>
 609           </child>
 610
 611           <child>
 612             <widget class="GtkFrame" id="frame2">
 613               <property name="visible">True</property>
 614               <property name="label_xalign">0</property>
 615               <property name="label_yalign">0.5</property>
 616               <property name="shadow_type">GTK_SHADOW_NONE</property>
 617
 618               <child>
 619                 <widget class="GtkAlignment" id="alignment7">
 620                   <property name="visible">True</property>
 621                   <property name="xalign">0.5</property>
 622                   <property name="yalign">0.5</property>
 623                   <property name="xscale">1</property>
 624                   <property name="yscale">1</property>
 625                   <property name="top_padding">0</property>
 626                   <property name="bottom_padding">0</property>
 627                   <property name="left_padding">12</property>
 628                   <property name="right_padding">0</property>
 629
 630                   <child>
 631                     <widget class="GtkVBox" id="vbox4">
 632                       <property name="visible">True</property>
 633                       <property name="homogeneous">False</property>
 634                       <property name="spacing">0</property>
 635
 636                       <child>
 637                         <widget class="GtkLabel" id="label12">
 638                           <property name="visible">True</property>
 639                           <property name="label" translatable="yes">&lt;i&gt;You have said that you trust these keys to sign software updates:&lt;/i&gt;</property>
 640                           <property name="use_underline">False</property>
 641                           <property name="use_markup">True</property>
 642                           <property name="justify">GTK_JUSTIFY_LEFT</property>
 643                           <property name="wrap">False</property>
 644                           <property name="selectable">False</property>
 645                           <property name="xalign">0</property>
 646                           <property name="yalign">0.5</property>
 647                           <property name="xpad">0</property>
 648                           <property name="ypad">0</property>
 649                           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 650                           <property name="width_chars">-1</property>
 651                           <property name="single_line_mode">False</property>
 652                           <property name="angle">0</property>
 653                         </widget>
 654                         <packing>
 655                           <property name="padding">4</property>
 656                           <property name="expand">False</property>
 657                           <property name="fill">False</property>
 658                         </packing>
 659                       </child>
 660
 661                       <child>
 662                         <widget class="GtkScrolledWindow" id="scrolledwindow2">
 663                           <property name="visible">True</property>
 664                           <property name="can_focus">True</property>
 665                           <property name="hscrollbar_policy">GTK_POLICY_NEVER</property>
 666                           <property name="vscrollbar_policy">GTK_POLICY_ALWAYS</property>
 667                           <property name="shadow_type">GTK_SHADOW_IN</property>
 668                           <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
 669
 670                           <child>
 671                             <widget class="GtkTreeView" id="trusted_keys">
 672                               <property name="visible">True</property>
 673                               <property name="can_focus">True</property>
 674                               <property name="headers_visible">True</property>
 675                               <property name="rules_hint">False</property>
 676                               <property name="reorderable">False</property>
 677                               <property name="enable_search">True</property>
 678                               <property name="fixed_height_mode">False</property>
 679                               <property name="hover_selection">False</property>
 680                               <property name="hover_expand">False</property>
 681                             </widget>
 682                           </child>
 683                         </widget>
 684                         <packing>
 685                           <property name="padding">0</property>
 686                           <property name="expand">True</property>
 687                           <property name="fill">True</property>
 688                         </packing>
 689                       </child>
 690                     </widget>
 691                   </child>
 692                 </widget>
 693               </child>
 694
 695               <child>
 696                 <widget class="GtkLabel" id="label9">
 697                   <property name="visible">True</property>
 698                   <property name="label" translatable="yes">&lt;b&gt;Security&lt;/b&gt;</property>
 699                   <property name="use_underline">False</property>
 700                   <property name="use_markup">True</property>
 701                   <property name="justify">GTK_JUSTIFY_LEFT</property>
 702                   <property name="wrap">False</property>
 703                   <property name="selectable">False</property>
 704                   <property name="xalign">0.5</property>
 705                   <property name="yalign">0.5</property>
 706                   <property name="xpad">0</property>
 707                   <property name="ypad">0</property>
 708                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 709                   <property name="width_chars">-1</property>
 710                   <property name="single_line_mode">False</property>
 711                   <property name="angle">0</property>
 712                 </widget>
 713                 <packing>
 714                   <property name="type">label_item</property>
 715                 </packing>
 716               </child>
 717             </widget>
 718             <packing>
 719               <property name="padding">0</property>
 720               <property name="expand">True</property>
 721               <property name="fill">True</property>
 722             </packing>
 723           </child>
 724         </widget>
 725         <packing>
 726           <property name="padding">0</property>
 727           <property name="expand">True</property>
 728           <property name="fill">True</property>
 729         </packing>
 730       </child>
 731     </widget>
 732   </child>
 733 </widget>
 734
 735 <widget class="GtkDialog" id="interface_properties">
 736   <property name="visible">True</property>
 737   <property name="title" translatable="yes">Interface properties</property>
 738   <property name="type">GTK_WINDOW_TOPLEVEL</property>
 739   <property name="window_position">GTK_WIN_POS_NONE</property>
 740   <property name="modal">False</property>
 741   <property name="resizable">True</property>
 742   <property name="destroy_with_parent">False</property>
 743   <property name="decorated">True</property>
 744   <property name="skip_taskbar_hint">False</property>
 745   <property name="skip_pager_hint">False</property>
 746   <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
 747   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
 748   <property name="focus_on_map">True</property>
 749   <property name="urgency_hint">False</property>
 750   <property name="has_separator">True</property>
 751
 752   <child internal-child="vbox">
 753     <widget class="GtkVBox" id="dialog-vbox3">
 754       <property name="visible">True</property>
 755       <property name="homogeneous">False</property>
 756       <property name="spacing">0</property>
 757
 758       <child internal-child="action_area">
 759         <widget class="GtkHButtonBox" id="dialog-action_area3">
 760           <property name="visible">True</property>
 761           <property name="layout_style">GTK_BUTTONBOX_END</property>
 762
 763           <child>
 764             <widget class="GtkButton" id="helpbutton3">
 765               <property name="visible">True</property>
 766               <property name="can_default">True</property>
 767               <property name="can_focus">True</property>
 768               <property name="label">gtk-help</property>
 769               <property name="use_stock">True</property>
 770               <property name="relief">GTK_RELIEF_NORMAL</property>
 771               <property name="focus_on_click">True</property>
 772               <property name="response_id">-11</property>
 773             </widget>
 774           </child>
 775
 776           <child>
 777             <widget class="GtkButton" id="compile">
 778               <property name="visible">True</property>
 779               <property name="can_default">True</property>
 780               <property name="can_focus">True</property>
 781               <property name="relief">GTK_RELIEF_NORMAL</property>
 782               <property name="focus_on_click">True</property>
 783               <property name="response_id">0</property>
 784
 785               <child>
 786                 <widget class="GtkAlignment" id="alignment8">
 787                   <property name="visible">True</property>
 788                   <property name="xalign">0.5</property>
 789                   <property name="yalign">0.5</property>
 790                   <property name="xscale">0</property>
 791                   <property name="yscale">0</property>
 792                   <property name="top_padding">0</property>
 793                   <property name="bottom_padding">0</property>
 794                   <property name="left_padding">0</property>
 795                   <property name="right_padding">0</property>
 796
 797                   <child>
 798                     <widget class="GtkHBox" id="hbox9">
 799                       <property name="visible">True</property>
 800                       <property name="homogeneous">False</property>
 801                       <property name="spacing">2</property>
 802
 803                       <child>
 804                         <widget class="GtkImage" id="image6">
 805                           <property name="visible">True</property>
 806                           <property name="stock">gtk-convert</property>
 807                           <property name="icon_size">4</property>
 808                           <property name="xalign">0.5</property>
 809                           <property name="yalign">0.5</property>
 810                           <property name="xpad">0</property>
 811                           <property name="ypad">0</property>
 812                         </widget>
 813                         <packing>
 814                           <property name="padding">0</property>
 815                           <property name="expand">False</property>
 816                           <property name="fill">False</property>
 817                         </packing>
 818                       </child>
 819
 820                       <child>
 821                         <widget class="GtkLabel" id="label13">
 822                           <property name="visible">True</property>
 823                           <property name="label" translatable="yes">Compile</property>
 824                           <property name="use_underline">True</property>
 825                           <property name="use_markup">False</property>
 826                           <property name="justify">GTK_JUSTIFY_LEFT</property>
 827                           <property name="wrap">False</property>
 828                           <property name="selectable">False</property>
 829                           <property name="xalign">0.5</property>
 830                           <property name="yalign">0.5</property>
 831                           <property name="xpad">0</property>
 832                           <property name="ypad">0</property>
 833                           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 834                           <property name="width_chars">-1</property>
 835                           <property name="single_line_mode">False</property>
 836                           <property name="angle">0</property>
 837                         </widget>
 838                         <packing>
 839                           <property name="padding">0</property>
 840                           <property name="expand">False</property>
 841                           <property name="fill">False</property>
 842                         </packing>
 843                       </child>
 844                     </widget>
 845                   </child>
 846                 </widget>
 847               </child>
 848             </widget>
 849           </child>
 850
 851           <child>
 852             <widget class="GtkButton" id="button9">
 853               <property name="visible">True</property>
 854               <property name="can_default">True</property>
 855               <property name="can_focus">True</property>
 856               <property name="label">gtk-close</property>
 857               <property name="use_stock">True</property>
 858               <property name="relief">GTK_RELIEF_NORMAL</property>
 859               <property name="focus_on_click">True</property>
 860               <property name="response_id">-6</property>
 861             </widget>
 862           </child>
 863         </widget>
 864         <packing>
 865           <property name="padding">0</property>
 866           <property name="expand">False</property>
 867           <property name="fill">True</property>
 868           <property name="pack_type">GTK_PACK_END</property>
 869         </packing>
 870       </child>
 871
 872       <child>
 873         <widget class="GtkNotebook" id="interface_notebook">
 874           <property name="visible">True</property>
 875           <property name="can_focus">True</property>
 876           <property name="show_tabs">True</property>
 877           <property name="show_border">True</property>
 878           <property name="tab_pos">GTK_POS_TOP</property>
 879           <property name="scrollable">False</property>
 880           <property name="enable_popup">False</property>
 881
 882           <child>
 883             <widget class="GtkVPaned" id="vpaned1">
 884               <property name="visible">True</property>
 885               <property name="can_focus">True</property>
 886               <property name="position">0</property>
 887
 888               <child>
 889                 <widget class="GtkHBox" id="hbox10">
 890                   <property name="visible">True</property>
 891                   <property name="homogeneous">False</property>
 892                   <property name="spacing">0</property>
 893
 894                   <child>
 895                     <widget class="GtkScrolledWindow" id="scrolledwindow4">
 896                       <property name="border_width">4</property>
 897                       <property name="visible">True</property>
 898                       <property name="can_focus">True</property>
 899                       <property name="hscrollbar_policy">GTK_POLICY_NEVER</property>
 900                       <property name="vscrollbar_policy">GTK_POLICY_ALWAYS</property>
 901                       <property name="shadow_type">GTK_SHADOW_IN</property>
 902                       <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
 903
 904                       <child>
 905                         <widget class="GtkTreeView" id="feeds_list">
 906                           <property name="visible">True</property>
 907                           <property name="can_focus">True</property>
 908                           <property name="headers_visible">True</property>
 909                           <property name="rules_hint">False</property>
 910                           <property name="reorderable">False</property>
 911                           <property name="enable_search">True</property>
 912                           <property name="fixed_height_mode">False</property>
 913                           <property name="hover_selection">False</property>
 914                           <property name="hover_expand">False</property>
 915                         </widget>
 916                       </child>
 917                     </widget>
 918                     <packing>
 919                       <property name="padding">0</property>
 920                       <property name="expand">True</property>
 921                       <property name="fill">True</property>
 922                     </packing>
 923                   </child>
 924
 925                   <child>
 926                     <widget class="GtkVBox" id="vbox5">
 927                       <property name="border_width">4</property>
 928                       <property name="visible">True</property>
 929                       <property name="homogeneous">False</property>
 930                       <property name="spacing">0</property>
 931
 932                       <child>
 933                         <widget class="GtkButton" id="add_remote_feed">
 934                           <property name="visible">True</property>
 935                           <property name="can_focus">True</property>
 936                           <property name="relief">GTK_RELIEF_NORMAL</property>
 937                           <property name="focus_on_click">True</property>
 938
 939                           <child>
 940                             <widget class="GtkAlignment" id="alignment9">
 941                               <property name="visible">True</property>
 942                               <property name="xalign">0.5</property>
 943                               <property name="yalign">0.5</property>
 944                               <property name="xscale">0</property>
 945                               <property name="yscale">0</property>
 946                               <property name="top_padding">0</property>
 947                               <property name="bottom_padding">0</property>
 948                               <property name="left_padding">0</property>
 949                               <property name="right_padding">0</property>
 950
 951                               <child>
 952                                 <widget class="GtkHBox" id="hbox11">
 953                                   <property name="visible">True</property>
 954                                   <property name="homogeneous">False</property>
 955                                   <property name="spacing">2</property>
 956
 957                                   <child>
 958                                     <widget class="GtkImage" id="image7">
 959                                       <property name="visible">True</property>
 960                                       <property name="stock">gtk-add</property>
 961                                       <property name="icon_size">4</property>
 962                                       <property name="xalign">0.5</property>
 963                                       <property name="yalign">0.5</property>
 964                                       <property name="xpad">0</property>
 965                                       <property name="ypad">0</property>
 966                                     </widget>
 967                                     <packing>
 968                                       <property name="padding">0</property>
 969                                       <property name="expand">False</property>
 970                                       <property name="fill">False</property>
 971                                     </packing>
 972                                   </child>
 973
 974                                   <child>
 975                                     <widget class="GtkLabel" id="label16">
 976                                       <property name="visible">True</property>
 977                                       <property name="label" translatable="yes">Add remote feed</property>
 978                                       <property name="use_underline">True</property>
 979                                       <property name="use_markup">False</property>
 980                                       <property name="justify">GTK_JUSTIFY_LEFT</property>
 981                                       <property name="wrap">False</property>
 982                                       <property name="selectable">False</property>
 983                                       <property name="xalign">0.5</property>
 984                                       <property name="yalign">0.5</property>
 985                                       <property name="xpad">0</property>
 986                                       <property name="ypad">0</property>
 987                                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 988                                       <property name="width_chars">-1</property>
 989                                       <property name="single_line_mode">False</property>
 990                                       <property name="angle">0</property>
 991                                     </widget>
 992                                     <packing>
 993                                       <property name="padding">0</property>
 994                                       <property name="expand">False</property>
 995                                       <property name="fill">False</property>
 996                                     </packing>
 997                                   </child>
 998                                 </widget>
 999                               </child>
1000                             </widget>
1001                           </child>
1002                         </widget>
1003                         <packing>
1004                           <property name="padding">0</property>
1005                           <property name="expand">False</property>
1006                           <property name="fill">False</property>
1007                         </packing>
1008                       </child>
1009
1010                       <child>
1011                         <widget class="GtkButton" id="add_local_feed">
1012                           <property name="visible">True</property>
1013                           <property name="tooltip" translatable="yes">If you have another implementation of this interface (e.g. a CVS checkout), you can add it to the list by registering the XML feed file that came with it.</property>
1014                           <property name="can_focus">True</property>
1015                           <property name="relief">GTK_RELIEF_NORMAL</property>
1016                           <property name="focus_on_click">True</property>
1017
1018                           <child>
1019                             <widget class="GtkAlignment" id="alignment10">
1020                               <property name="visible">True</property>
1021                               <property name="xalign">0.5</property>
1022                               <property name="yalign">0.5</property>
1023                               <property name="xscale">0</property>
1024                               <property name="yscale">0</property>
1025                               <property name="top_padding">0</property>
1026                               <property name="bottom_padding">0</property>
1027                               <property name="left_padding">0</property>
1028                               <property name="right_padding">0</property>
1029
1030                               <child>
1031                                 <widget class="GtkHBox" id="hbox12">
1032                                   <property name="visible">True</property>
1033                                   <property name="homogeneous">False</property>
1034                                   <property name="spacing">2</property>
1035
1036                                   <child>
1037                                     <widget class="GtkImage" id="image8">
1038                                       <property name="visible">True</property>
1039                                       <property name="stock">gtk-add</property>
1040                                       <property name="icon_size">4</property>
1041                                       <property name="xalign">0.5</property>
1042                                       <property name="yalign">0.5</property>
1043                                       <property name="xpad">0</property>
1044                                       <property name="ypad">0</property>
1045                                     </widget>
1046                                     <packing>
1047                                       <property name="padding">0</property>
1048                                       <property name="expand">False</property>
1049                                       <property name="fill">False</property>
1050                                     </packing>
1051                                   </child>
1052
1053                                   <child>
1054                                     <widget class="GtkLabel" id="label17">
1055                                       <property name="visible">True</property>
1056                                       <property name="label" translatable="yes">Add local feed</property>
1057                                       <property name="use_underline">True</property>
1058                                       <property name="use_markup">False</property>
1059                                       <property name="justify">GTK_JUSTIFY_LEFT</property>
1060                                       <property name="wrap">False</property>
1061                                       <property name="selectable">False</property>
1062                                       <property name="xalign">0.5</property>
1063                                       <property name="yalign">0.5</property>
1064                                       <property name="xpad">0</property>
1065                                       <property name="ypad">0</property>
1066                                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1067                                       <property name="width_chars">-1</property>
1068                                       <property name="single_line_mode">False</property>
1069                                       <property name="angle">0</property>
1070                                     </widget>
1071                                     <packing>
1072                                       <property name="padding">0</property>
1073                                       <property name="expand">False</property>
1074                                       <property name="fill">False</property>
1075                                     </packing>
1076                                   </child>
1077                                 </widget>
1078                               </child>
1079                             </widget>
1080                           </child>
1081                         </widget>
1082                         <packing>
1083                           <property name="padding">0</property>
1084                           <property name="expand">False</property>
1085                           <property name="fill">False</property>
1086                         </packing>
1087                       </child>
1088
1089                       <child>
1090                         <widget class="GtkButton" id="remove_feed">
1091                           <property name="visible">True</property>
1092                           <property name="can_focus">True</property>
1093                           <property name="relief">GTK_RELIEF_NORMAL</property>
1094                           <property name="focus_on_click">True</property>
1095
1096                           <child>
1097                             <widget class="GtkAlignment" id="alignment11">
1098                               <property name="visible">True</property>
1099                               <property name="xalign">0.5</property>
1100                               <property name="yalign">0.5</property>
1101                               <property name="xscale">0</property>
1102                               <property name="yscale">0</property>
1103                               <property name="top_padding">0</property>
1104                               <property name="bottom_padding">0</property>
1105                               <property name="left_padding">0</property>
1106                               <property name="right_padding">0</property>
1107
1108                               <child>
1109                                 <widget class="GtkHBox" id="hbox13">
1110                                   <property name="visible">True</property>
1111                                   <property name="homogeneous">False</property>
1112                                   <property name="spacing">2</property>
1113
1114                                   <child>
1115                                     <widget class="GtkImage" id="image9">
1116                                       <property name="visible">True</property>
1117                                       <property name="stock">gtk-remove</property>
1118                                       <property name="icon_size">4</property>
1119                                       <property name="xalign">0.5</property>
1120                                       <property name="yalign">0.5</property>
1121                                       <property name="xpad">0</property>
1122                                       <property name="ypad">0</property>
1123                                     </widget>
1124                                     <packing>
1125                                       <property name="padding">0</property>
1126                                       <property name="expand">False</property>
1127                                       <property name="fill">False</property>
1128                                     </packing>
1129                                   </child>
1130
1131                                   <child>
1132                                     <widget class="GtkLabel" id="label18">
1133                                       <property name="visible">True</property>
1134                                       <property name="label" translatable="yes">Remove feed</property>
1135                                       <property name="use_underline">True</property>
1136                                       <property name="use_markup">False</property>
1137                                       <property name="justify">GTK_JUSTIFY_LEFT</property>
1138                                       <property name="wrap">False</property>
1139                                       <property name="selectable">False</property>
1140                                       <property name="xalign">0.5</property>
1141                                       <property name="yalign">0.5</property>
1142                                       <property name="xpad">0</property>
1143                                       <property name="ypad">0</property>
1144                                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1145                                       <property name="width_chars">-1</property>
1146                                       <property name="single_line_mode">False</property>
1147                                       <property name="angle">0</property>
1148                                     </widget>
1149                                     <packing>
1150                                       <property name="padding">0</property>
1151                                       <property name="expand">False</property>
1152                                       <property name="fill">False</property>
1153                                     </packing>
1154                                   </child>
1155                                 </widget>
1156                               </child>
1157                             </widget>
1158                           </child>
1159                         </widget>
1160                         <packing>
1161                           <property name="padding">0</property>
1162                           <property name="expand">False</property>
1163                           <property name="fill">False</property>
1164                         </packing>
1165                       </child>
1166                     </widget>
1167                     <packing>
1168                       <property name="padding">0</property>
1169                       <property name="expand">False</property>
1170                       <property name="fill">True</property>
1171                     </packing>
1172                   </child>
1173                 </widget>
1174                 <packing>
1175                   <property name="shrink">False</property>
1176                   <property name="resize">False</property>
1177                 </packing>
1178               </child>
1179
1180               <child>
1181                 <widget class="GtkScrolledWindow" id="scrolledwindow3">
1182                   <property name="border_width">4</property>
1183                   <property name="visible">True</property>
1184                   <property name="can_focus">True</property>
1185                   <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
1186                   <property name="vscrollbar_policy">GTK_POLICY_ALWAYS</property>
1187                   <property name="shadow_type">GTK_SHADOW_IN</property>
1188                   <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
1189
1190                   <child>
1191                     <widget class="GtkTextView" id="description">
1192                       <property name="visible">True</property>
1193                       <property name="can_focus">True</property>
1194                       <property name="editable">False</property>
1195                       <property name="overwrite">False</property>
1196                       <property name="accepts_tab">True</property>
1197                       <property name="justification">GTK_JUSTIFY_LEFT</property>
1198                       <property name="wrap_mode">GTK_WRAP_WORD</property>
1199                       <property name="cursor_visible">False</property>
1200                       <property name="pixels_above_lines">0</property>
1201                       <property name="pixels_below_lines">0</property>
1202                       <property name="pixels_inside_wrap">0</property>
1203                       <property name="left_margin">4</property>
1204                       <property name="right_margin">4</property>
1205                       <property name="indent">0</property>
1206                       <property name="text" translatable="yes"></property>
1207                     </widget>
1208                   </child>
1209                 </widget>
1210                 <packing>
1211                   <property name="shrink">True</property>
1212                   <property name="resize">True</property>
1213                 </packing>
1214               </child>
1215             </widget>
1216             <packing>
1217               <property name="tab_expand">False</property>
1218               <property name="tab_fill">True</property>
1219             </packing>
1220           </child>
1221
1222           <child>
1223             <widget class="GtkLabel" id="label14">
1224               <property name="visible">True</property>
1225               <property name="label" translatable="yes">Feeds</property>
1226               <property name="use_underline">False</property>
1227               <property name="use_markup">False</property>
1228               <property name="justify">GTK_JUSTIFY_LEFT</property>
1229               <property name="wrap">False</property>
1230               <property name="selectable">False</property>
1231               <property name="xalign">0.5</property>
1232               <property name="yalign">0.5</property>
1233               <property name="xpad">0</property>
1234               <property name="ypad">0</property>
1235               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1236               <property name="width_chars">-1</property>
1237               <property name="single_line_mode">False</property>
1238               <property name="angle">0</property>
1239             </widget>
1240             <packing>
1241               <property name="type">tab</property>
1242             </packing>
1243           </child>
1244
1245           <child>
1246             <widget class="GtkVBox" id="vbox6">
1247               <property name="border_width">4</property>
1248               <property name="visible">True</property>
1249               <property name="homogeneous">False</property>
1250               <property name="spacing">4</property>
1251
1252               <child>
1253                 <widget class="GtkHBox" id="hbox14">
1254                   <property name="visible">True</property>
1255                   <property name="homogeneous">False</property>
1256                   <property name="spacing">0</property>
1257
1258                   <child>
1259                     <widget class="GtkLabel" id="label19">
1260                       <property name="visible">True</property>
1261                       <property name="label" translatable="yes">Preferred stability: </property>
1262                       <property name="use_underline">False</property>
1263                       <property name="use_markup">False</property>
1264                       <property name="justify">GTK_JUSTIFY_LEFT</property>
1265                       <property name="wrap">False</property>
1266                       <property name="selectable">False</property>
1267                       <property name="xalign">0.5</property>
1268                       <property name="yalign">0.5</property>
1269                       <property name="xpad">0</property>
1270                       <property name="ypad">0</property>
1271                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1272                       <property name="width_chars">-1</property>
1273                       <property name="single_line_mode">False</property>
1274                       <property name="angle">0</property>
1275                     </widget>
1276                     <packing>
1277                       <property name="padding">0</property>
1278                       <property name="expand">False</property>
1279                       <property name="fill">False</property>
1280                     </packing>
1281                   </child>
1282
1283                   <child>
1284                     <widget class="GtkEventBox" id="eventbox3">
1285                       <property name="visible">True</property>
1286                       <property name="tooltip" translatable="yes">Implementations at this stability level or higher will be used in preference to others. You can use this to override the global &quot;Help test new versions&quot; setting just for this interface.</property>
1287                       <property name="visible_window">True</property>
1288                       <property name="above_child">False</property>
1289
1290                       <child>
1291                         <widget class="GtkComboBox" id="preferred_stability">
1292                           <property name="visible">True</property>
1293                           <property name="items" translatable="yes">Use default setting
1294 Stable
1295 Testing
1296 Developer</property>
1297                           <property name="add_tearoffs">False</property>
1298                           <property name="focus_on_click">True</property>
1299                         </widget>
1300                       </child>
1301                     </widget>
1302                     <packing>
1303                       <property name="padding">0</property>
1304                       <property name="expand">False</property>
1305                       <property name="fill">True</property>
1306                     </packing>
1307                   </child>
1308                 </widget>
1309                 <packing>
1310                   <property name="padding">0</property>
1311                   <property name="expand">False</property>
1312                   <property name="fill">True</property>
1313                 </packing>
1314               </child>
1315
1316               <child>
1317                 <widget class="GtkScrolledWindow" id="scrolledwindow5">
1318                   <property name="visible">True</property>
1319                   <property name="can_focus">True</property>
1320                   <property name="hscrollbar_policy">GTK_POLICY_NEVER</property>
1321                   <property name="vscrollbar_policy">GTK_POLICY_ALWAYS</property>
1322                   <property name="shadow_type">GTK_SHADOW_IN</property>
1323                   <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
1324
1325                   <child>
1326                     <widget class="GtkTreeView" id="versions_list">
1327                       <property name="visible">True</property>
1328                       <property name="can_focus">True</property>
1329                       <property name="headers_visible">True</property>
1330                       <property name="rules_hint">False</property>
1331                       <property name="reorderable">False</property>
1332                       <property name="enable_search">True</property>
1333                       <property name="fixed_height_mode">False</property>
1334                       <property name="hover_selection">False</property>
1335                       <property name="hover_expand">False</property>
1336                     </widget>
1337                   </child>
1338                 </widget>
1339                 <packing>
1340                   <property name="padding">0</property>
1341                   <property name="expand">True</property>
1342                   <property name="fill">True</property>
1343                 </packing>
1344               </child>
1345             </widget>
1346             <packing>
1347               <property name="tab_expand">False</property>
1348               <property name="tab_fill">True</property>
1349             </packing>
1350           </child>
1351
1352           <child>
1353             <widget class="GtkLabel" id="label15">
1354               <property name="visible">True</property>
1355               <property name="label" translatable="yes">Versions</property>
1356               <property name="use_underline">False</property>
1357               <property name="use_markup">False</property>
1358               <property name="justify">GTK_JUSTIFY_LEFT</property>
1359               <property name="wrap">False</property>
1360               <property name="selectable">False</property>
1361               <property name="xalign">0.5</property>
1362               <property name="yalign">0.5</property>
1363               <property name="xpad">0</property>
1364               <property name="ypad">0</property>
1365               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1366               <property name="width_chars">-1</property>
1367               <property name="single_line_mode">False</property>
1368               <property name="angle">0</property>
1369             </widget>
1370             <packing>
1371               <property name="type">tab</property>
1372             </packing>
1373           </child>
1374         </widget>
1375         <packing>
1376           <property name="padding">0</property>
1377           <property name="expand">True</property>
1378           <property name="fill">True</property>
1379         </packing>
1380       </child>
1381     </widget>
1382   </child>
1383 </widget>
1384
1385 </glade-interface>