1.1 --- a/app-manager/app-manager.ui	Fri Apr 30 20:37:08 2010 +0100
     1.2 +++ b/app-manager/app-manager.ui	Fri Jun 08 12:14:49 2018 +0100
     1.3 @@ -1,9 +1,8 @@
     1.4  <?xml version="1.0"?>
     1.5  <interface>
     1.6    <requires lib="gtk+" version="2.16"/>
     1.7 -  <!-- interface-naming-policy toplevel-contextual -->
     1.8 +  <!-- interface-naming-policy project-wide -->
     1.9    <object class="GtkWindow" id="MainWindow">
    1.10 -    <property name="visible">True</property>
    1.11      <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
    1.12      <property name="title" translatable="yes">Application Manager</property>
    1.13      <property name="default_width">600</property>
    1.14 @@ -368,7 +367,7 @@
    1.15                </packing>
    1.16              </child>
    1.17              <child>
    1.18 -              <object class="GtkAlignment" id="alignment2">
    1.19 +              <object class="GtkAlignment" id="alignment3">
    1.20                  <property name="visible">True</property>
    1.21                  <property name="left_padding">6</property>
    1.22                  <property name="right_padding">6</property>