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-207217: add empty space before and after every list or tree

Browse Source 
GitOrigin-RevId: ca003fa03eee807dbb993a80b266bc73592d1a38
This commit is contained in:
Sergey Malenkov
2019-05-17 18:03:30 +03:00
committed by intellij-monorepo-bot
parent 5b2504cf20
commit b2e76bd6ba
2 changed files with 13 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-impl/src/com/intellij/ide/ui/laf/LafManagerImpl.java
+12
View File
@@ -476,6 +476,7 @@ public final class LafManagerImpl extends LafManager implements PersistentStateC
patchLafFonts(uiDefaults);
patchListUI(uiDefaults);
patchTreeUI(uiDefaults);
patchHiDPI(uiDefaults);
@@ -535,7 +536,18 @@ public final class LafManagerImpl extends LafManager implements PersistentStateC
defaults.put("PasswordField.font", defaults.getFont("TextField.font"));
}
private static void patchBorder(UIDefaults defaults, String key) {
if (defaults.getBorder(key) == null) {
defaults.put(key, JBUI.Borders.empty(1, 0).asUIResource());
}
}
private static void patchListUI(UIDefaults defaults) {
patchBorder(defaults, "List.border");
}
private static void patchTreeUI(UIDefaults defaults) {
patchBorder(defaults, "Tree.border");
if (Registry.is("ide.tree.ui.experimental")) {
defaults.put("TreeUI", "com.intellij.ui.tree.ui.DefaultTreeUI");
defaults.put("Tree.repaintWholeRow", true);
platform/platform-impl/src/com/intellij/ui/tree/ui/DefaultTreeUI.java
+1
View File
@@ -247,6 +247,7 @@ public final class DefaultTreeUI extends BasicTreeUI {
super.installDefaults();
JTree tree = getTree();
if (tree != null) {
LookAndFeel.installBorder(tree, "Tree.border");
if (tree.isForegroundSet()) tree.setForeground(null);
if (UIManager.get("Tree.showsRootHandles") == null) {
LookAndFeel.installProperty(tree, JTree.SHOWS_ROOT_HANDLES_PROPERTY, Boolean.TRUE);