diff -r 8d3b1ddf789c -r 43df682785f5 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 Mon Jan 30 13:35:28 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