mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
IDEA-189709: use *.currentOverloadBackground instead of *.borderColor for selection
This commit is contained in:
@@ -57,6 +57,7 @@ public class ParameterInfoComponent extends JPanel {
|
||||
private static final Color DISABLED_COLOR = JBColor.namedColor("ParameterInfo.disabledForeground", new JBColor(0xA8A8A8, 0x777777));
|
||||
private static final Color CONTEXT_HELP_FOREGROUND = JBColor.namedColor("ParameterInfo.infoForeground", new JBColor(0x787878, 0x878787));
|
||||
static final Color BORDER_COLOR = JBColor.namedColor("ParameterInfo.borderColor", HintUtil.INFORMATION_BORDER_COLOR);
|
||||
private static final Color HIGHLIGHTED_BACKGROUND = JBColor.namedColor("ParameterInfo.currentOverloadBackground", BORDER_COLOR);
|
||||
private static final Color SEPARATOR_COLOR = JBColor.namedColor("ParameterInfo.lineSeparatorColor", BORDER_COLOR);
|
||||
private static final Border EMPTY_BORDER = JBUI.Borders.empty(2, 10);
|
||||
private static final Border BOTTOM_BORDER = new CompoundBorder(JBUI.Borders.customLine(SEPARATOR_COLOR, 0, 0, 1, 0), EMPTY_BORDER);
|
||||
@@ -300,7 +301,7 @@ public class ParameterInfoComponent extends JPanel {
|
||||
|
||||
@Override
|
||||
public Color getDefaultParameterColor() {
|
||||
return mySingleParameterInfo || !isHighlighted() ? BACKGROUND : BORDER_COLOR;
|
||||
return mySingleParameterInfo || !isHighlighted() ? BACKGROUND : HIGHLIGHTED_BACKGROUND;
|
||||
}
|
||||
}
|
||||
|
||||
|
||||
@@ -1378,6 +1378,7 @@ public final class UiDefaultsHardcodedKeys {
|
||||
"Panel.background",
|
||||
"ParameterInfo.background",
|
||||
"ParameterInfo.borderColor",
|
||||
"ParameterInfo.currentOverloadBackground",
|
||||
"ParameterInfo.currentParameterForeground",
|
||||
"ParameterInfo.disabledForeground",
|
||||
"ParameterInfo.foreground",
|
||||
|
||||
Reference in New Issue
Block a user