diff -r 8d3b1ddf789c -r ab5fda3263bf 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 Tue Feb 21 22:55:40 2012 +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