diff -r 8b50be3e2998 -r d2d88f14283e app-manager/app-manager.ui
--- a/app-manager/app-manager.ui	Fri Apr 30 20:37:08 2010 +0100
+++ b/app-manager/app-manager.ui	Wed Jul 15 11:54:06 2020 +0100
@@ -1,9 +1,8 @@
 <?xml version="1.0"?>
 <interface>
   <requires lib="gtk+" version="2.16"/>
-  <!-- interface-naming-policy toplevel-contextual -->
+  <!-- interface-naming-policy project-wide -->
   <object class="GtkWindow" id="MainWindow">
-    <property name="visible">True</property>
     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
     <property name="title" translatable="yes">Application Manager</property>
     <property name="default_width">600</property>
@@ -368,7 +367,7 @@
               </packing>
             </child>
             <child>
-              <object class="GtkAlignment" id="alignment2">
+              <object class="GtkAlignment" id="alignment3">
                 <property name="visible">True</property>
                 <property name="left_padding">6</property>
                 <property name="right_padding">6</property>