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-215788 Remove group headers. Preferences | Appearance & Behavior | File Colors

Browse Source 
GitOrigin-RevId: 72ab356d976b22d8631433fe0c3fe2af2dc10720
This commit is contained in:
Kirill Kirichenko
2019-07-02 06:52:16 +03:00
committed by intellij-monorepo-bot
parent 8be1346696
commit a34a766425
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/lang-impl/src/com/intellij/ui/tabs/FileColorsConfigurablePanel.java
+2 -2
View File
@@ -106,7 +106,7 @@ public class FileColorsConfigurablePanel extends JPanel implements Disposable {
})
.createPanel();
final JPanel localPanel = new JPanel(new BorderLayout());
localPanel.setBorder(IdeBorderFactory.createTitledBorder("Local colors", false));
localPanel.setBorder(IdeBorderFactory.createTitledBorder("Local colors:", false, JBUI.insetsTop(8)).setShowLine(false));
localPanel.add(panel, BorderLayout.CENTER);
mainPanel.add(localPanel);
@@ -127,7 +127,7 @@ public class FileColorsConfigurablePanel extends JPanel implements Disposable {
};
final JPanel sharedPanel = new JPanel(new BorderLayout());
sharedPanel.setBorder(IdeBorderFactory.createTitledBorder("Shared colors", false));
sharedPanel.setBorder(IdeBorderFactory.createTitledBorder("Shared colors:", false, JBUI.insetsTop(8)).setShowLine(false));
final JPanel shared = ToolbarDecorator.createDecorator(mySharedTable)
.addExtraAction(new AnActionButton("Unshare", AllIcons.Actions.Unshare) {
@Override