From a62329693aec8c8bee14be81ac6829e512e1d320 Mon Sep 17 00:00:00 2001
From: "Vassiliy.Kudryashov" <Vassiliy.Kudryashov@jetbrains.com>
Date: Mon, 23 Jan 2017 22:44:52 +0300
Subject: [PATCH] Use registry key ide.splitter.mouseZone (it's 6 by default)
 instead of hardcoded '6'

---
 .../src/com/intellij/openapi/ui/OnePixelDivider.java           | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/platform/platform-api/src/com/intellij/openapi/ui/OnePixelDivider.java b/platform/platform-api/src/com/intellij/openapi/ui/OnePixelDivider.java
index b771855f74d3..aba652a983c7 100644
--- a/platform/platform-api/src/com/intellij/openapi/ui/OnePixelDivider.java
+++ b/platform/platform-api/src/com/intellij/openapi/ui/OnePixelDivider.java
@@ -19,6 +19,7 @@ import com.intellij.openapi.Disposable;
 import com.intellij.openapi.util.Disposer;
 import com.intellij.openapi.util.SystemInfo;
 import com.intellij.openapi.util.Weighted;
+import com.intellij.openapi.util.registry.Registry;
 import com.intellij.openapi.wm.IdeGlassPane;
 import com.intellij.openapi.wm.IdeGlassPaneUtil;
 import com.intellij.ui.Gray;
@@ -121,7 +122,7 @@ public class OnePixelDivider extends Divider {
       OnePixelDivider d = OnePixelDivider.this;
       if ((vertical ? p.x : p.y) < 0 || vertical && p.x > d.getWidth() || !vertical && p.y > d.getHeight()) return false;
       int r = Math.abs(vertical ? p.y : p.x);
-      return r < JBUI.scale(6);
+      return r < JBUI.scale(Registry.intValue("ide.splitter.mouseZone"));
     }
 
     @Override