mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
IDEA-231627: Async stack trace separator is too small in presentation mode
GitOrigin-RevId: 5505675d5a569cbea30595be03f7dc4b3372bfe9
This commit is contained in:
committed by
intellij-monorepo-bot
parent
b35f11759f
commit
c42c5fae4a
@@ -12,6 +12,8 @@ import javax.swing.border.EmptyBorder;
|
||||
import javax.swing.tree.TreeCellRenderer;
|
||||
import java.awt.*;
|
||||
|
||||
import static com.intellij.ui.RelativeFont.BOLD;
|
||||
|
||||
public abstract class GroupedElementsRenderer {
|
||||
protected SeparatorWithText mySeparatorComponent = createSeparator();
|
||||
|
||||
@@ -70,6 +72,10 @@ public abstract class GroupedElementsRenderer {
|
||||
aComponent.setForeground(selected ? getSelectionForeground() : getForeground());
|
||||
}
|
||||
|
||||
protected void setSeparatorFont(Font font) {
|
||||
mySeparatorComponent.setFont(BOLD.derive(font));
|
||||
}
|
||||
|
||||
protected abstract Color getSelectionBackground();
|
||||
|
||||
protected abstract Color getSelectionForeground();
|
||||
|
||||
@@ -266,7 +266,6 @@ public class PluginManagerConfigurable
|
||||
return new SeparatorWithText() {
|
||||
{
|
||||
setTextForeground(JBColor.BLACK);
|
||||
setFont(UIUtil.getLabelFont());
|
||||
setCaptionCentered(false);
|
||||
}
|
||||
|
||||
@@ -276,6 +275,11 @@ public class PluginManagerConfigurable
|
||||
};
|
||||
}
|
||||
|
||||
@Override
|
||||
protected void setSeparatorFont(Font font) {
|
||||
mySeparatorComponent.setFont(font);
|
||||
}
|
||||
|
||||
@Override
|
||||
protected Border getDefaultItemComponentBorder() {
|
||||
return new EmptyBorder(JBInsets.create(UIUtil.getListCellVPadding(), 15));
|
||||
|
||||
@@ -44,6 +44,7 @@ public class GroupedItemsListRenderer<E> extends GroupedElementsRenderer.List im
|
||||
String caption = myDescriptor.getCaptionAboveOf(value);
|
||||
boolean hasSeparator = myDescriptor.hasSeparatorAboveOf(value);
|
||||
if (index == 0 && StringUtil.isEmptyOrSpaces(caption)) hasSeparator = false;
|
||||
if (hasSeparator) setSeparatorFont(list.getFont());
|
||||
|
||||
Icon icon = isSelected ? myDescriptor.getSelectedIconFor(value) : myDescriptor.getIconFor(value);
|
||||
final JComponent result = configureComponent(myDescriptor.getTextFor(value), myDescriptor.getTooltipFor(value),
|
||||
|
||||
Reference in New Issue
Block a user