diff -r 8d3b1ddf789c -r 5cbb66c24fc6 app-manager/app-manager.ui --- a/app-manager/app-manager.ui Sat Feb 20 12:11:02 2010 +0000 +++ b/app-manager/app-manager.ui Fri Mar 23 20:29:50 2012 +0000 @@ -87,7 +87,7 @@ True GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK - + True GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK Show a list of files owned by the selected package @@ -105,7 +105,7 @@ True True True - menuitem2 + ViewFiles @@ -149,7 +149,7 @@ True True vertical - 200 + 215 True @@ -238,7 +238,7 @@ Show installed applications _Applications True - plover-applications + plover-applications True