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

IDEA-143135 HiDPI on Linux: ComboBox UI bug

Browse Source
This commit is contained in:
Sergey Simonchik
2015-07-27 14:53:32 +03:00
parent 1973df20e0
commit af366833c8
1 changed files with 7 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-impl/src/com/intellij/ide/ui/laf/darcula/ui/DarculaComboBoxUI.java
+7 -7
View File
@@ -343,23 +343,23 @@ public class DarculaComboBoxUI extends BasicComboBoxUI implements Border {
g.setRenderingHint(RenderingHints.KEY_STROKE_CONTROL, RenderingHints.VALUE_STROKE_NORMALIZE);
final int R = JBUI.scale(5);
if (hasFocus) {
g.setClip(2, 2, comboBox.getWidth()- 4, comboBox.getHeight() - 4); //todo[kb] check HiDPI
g.setClip(JBUI.scale(2), JBUI.scale(2), comboBox.getWidth()- JBUI.scale(4), comboBox.getHeight() - JBUI.scale(4));
}
if (editor != null && comboBox.isEditable()) {
((JComponent)editor).setBorder(null);
g.setColor(editor.getBackground());
g.fillRoundRect(x + 1, y + 1, W, H, R, R);
g.fillRoundRect(x + JBUI.scale(1), y + JBUI.scale(1), W, H, R, R);
g.setColor(getArrowButtonFillColor(arrowButton.getBackground()));
g.fillRoundRect(xxx, y + 1, width - xxx, H, R, R);
g.fillRoundRect(xxx, y + JBUI.scale(1), width - xxx, H, R, R);
g.setColor(editor.getBackground());
g.fillRect(xxx, y + 1, 5, H);
g.fillRect(xxx, y + JBUI.scale(1), JBUI.scale(5), H);
} else {
g.setColor(UIUtil.getPanelBackground());
g.fillRoundRect(x + 1, y + 1, W, H, R, R);
g.fillRoundRect(x + JBUI.scale(1), y + JBUI.scale(1), W, H, R, R);
g.setColor(getArrowButtonFillColor(arrowButton.getBackground()));
g.fillRoundRect(xxx, y + 1, width - xxx, H, R, R);
g.fillRoundRect(xxx, y + JBUI.scale(1), width - xxx, H, R, R);
g.setColor(UIUtil.getPanelBackground());
g.fillRect(xxx, y + 1, 5, H);
g.fillRect(xxx, y + JBUI.scale(1), JBUI.scale(5), H);
}
final Color borderColor = getBorderColor();//ColorUtil.shift(UIUtil.getBorderColor(), 4);
g.setColor(getArrowButtonFillColor(borderColor));