[gnome-builder/wip/plugins] workspace: ensure nearby overlay scrollbars can be focused

[Christian Hergert <chergert src gnome org>]

commit f0e751504d4fbd2896d5932aaeead8cca1a0671d
Author: Christian Hergert <christian hergert me>
Date:   Sat Jun 13 12:59:01 2015 -0700

    workspace: ensure nearby overlay scrollbars can be focused

 src/workspace/gb-workspace.c |    4 ++--
 1 files changed, 2 insertions(+), 2 deletions(-)
---
diff --git a/src/workspace/gb-workspace.c b/src/workspace/gb-workspace.c
index 1d6c1a2..06f3c5f 100644
--- a/src/workspace/gb-workspace.c
+++ b/src/workspace/gb-workspace.c
@@ -25,8 +25,8 @@
 
 #define ANIMATION_MODE     IDE_ANIMATION_EASE_IN_OUT_QUAD
 #define ANIMATION_DURATION 250
-#define HORIZ_GRIP_EXTRA   10
-#define VERT_GRIP_EXTRA    10
+#define HORIZ_GRIP_EXTRA   5
+#define VERT_GRIP_EXTRA    5
 #define MIN_POSITION       100
 
 typedef struct