/*
- * Copyright 2000-2015 JetBrains s.r.o.
+ * Copyright 2000-2016 JetBrains s.r.o.
*
* Licensed under the Apache License, Version 2.0 (the "License");
* you may not use this file except in compliance with the License.
}
public void setDividerMouseZoneSize(int size) {
- myDividerZone = size;
+ myDividerZone = JBUI.scale(size);
}
public boolean isHonorMinimumSize() {
private boolean isInside(Point p) {
if (!isVisible()) return false;
- int dndOff = myIsOnePixel ? Registry.intValue("ide.splitter.mouseZone") / 2 : 0;
+ int dndOff = myIsOnePixel ? JBUI.scale(Registry.intValue("ide.splitter.mouseZone")) / 2 : 0;
if (myVerticalSplit) {
if (p.x >= 0 && p.x < getWidth()) {
if (getHeight() > 0) {
int i = Registry.intValue("ide.popup.resizable.border.sensitivity", 4);
WindowResizeListener resizeListener = new WindowResizeListener(
myContent,
- myMovable ? new Insets(i, i, i, i) : new Insets(0, 0, i, i),
+ myMovable ? JBUI.insets(i, i, i, i) : JBUI.insets(0, 0, i, i),
isToDrawMacCorner() ? AllIcons.General.MacCorner : null) {
private Cursor myCursor;