diff -r 8d3b1ddf789c -r 29d8bb64056c 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 Thu Nov 10 11:19:34 2011 +0000
@@ -87,7 +87,7 @@
True
GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK
-
@@ -149,7 +149,7 @@
True
True
vertical
- 200
+ 215
True