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

rollback to 0.5 border for HiDPI

Browse Source
This commit is contained in:
Konstantin Bulenkov
2015-01-24 02:31:21 +01:00
parent 90be968958
commit 81292d78be
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/DialogWrapper.java
+2 -1
View File
@@ -40,6 +40,7 @@ import com.intellij.openapi.wm.WindowManager;
import com.intellij.ui.ColorUtil;
import com.intellij.ui.JBColor;
import com.intellij.ui.UIBundle;
import com.intellij.ui.border.CustomLineBorder;
import com.intellij.ui.components.JBOptionButton;
import com.intellij.ui.components.JBScrollPane;
import com.intellij.util.Alarm;
@@ -562,7 +563,7 @@ public abstract class DialogWrapper {
}
if (getStyle() == DialogStyle.COMPACT) {
Border line = JBUI.Borders.customLine(OnePixelDivider.BACKGROUND, 1, 0, 0, 0);
Border line = new CustomLineBorder(OnePixelDivider.BACKGROUND, 1, 0, 0, 0);
panel.setBorder(new CompoundBorder(line, JBUI.Borders.empty(8, 12)));
} else {
panel.setBorder(JBUI.Borders.emptyTop(8));