MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

Use registry key ide.splitter.mouseZone (it's 6 by default) instead of hardcoded '6'

Browse Source
This commit is contained in:
Vassiliy.Kudryashov
2017-01-23 23:01:46 +03:00
parent 6416fd399d
commit a62329693a
1 changed files with 2 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-api/src/com/intellij/openapi/ui/OnePixelDivider.java
+2 -1
View File
@@ -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