MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-03-22 06:50:54 +07:00
Code Issues Packages Projects Releases Wiki Activity

IDEA-335664 Plugins: Share feedback banner has wrong background color in Light theme

Browse Source 
GitOrigin-RevId: 0e0973368498fffa2dab5cf1231f41cd916c1071
This commit is contained in:
Dmitry Pogrebnoy
2023-10-26 21:32:22 +02:00
committed by intellij-monorepo-bot
parent 92a61bb5cf
commit 0aa7f403c8
1 changed files with 2 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
platform/platform-impl/src/com/intellij/ide/plugins/newui/PluginDetailsPageComponent.java
View File

@@ -1701,10 +1701,9 @@ public final class PluginDetailsPageComponent extends MultiPanel {
private static @NotNull BorderLayoutPanel createBaseNotificationPanel() {
BorderLayoutPanel panel = new BorderLayoutPanel();
Border customLine = JBUI.Borders.customLine(JBColor.border(), 1, 0, 1, 0);
Border customLine = JBUI.Borders.customLine(JBUI.CurrentTheme.Banner.INFO_BACKGROUND, 1, 0, 1, 0);
panel.setBorder(JBUI.Borders.merge(JBUI.Borders.empty(10), customLine, true));
panel.setBackground(JBUI.CurrentTheme.Notification.BACKGROUND);
panel.setForeground(JBUI.CurrentTheme.Notification.FOREGROUND);
panel.setBackground(JBUI.CurrentTheme.Banner.INFO_BACKGROUND);
return panel;
}