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-130272 New Settings dialog: increase tree node height

Browse Source
This commit is contained in:
Sergey Malenkov
2014-09-24 18:01:32 +04:00
parent 8c3a8e7c44
commit 198c79845a
1 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-impl/src/com/intellij/openapi/options/newEditor/SettingsTreeView.java
+4 -4
View File
@@ -94,9 +94,8 @@ final class SettingsTreeView extends JComponent implements Disposable, OptionsEd
TreeUtil.installActions(myTree);
myTree.setOpaque(true);
myTree.setBorder(BorderFactory.createEmptyBorder(0, 1, 0, 0));
myTree.setBorder(BorderFactory.createEmptyBorder(0, 5, 0, 0));
myTree.setRowHeight(-1);
myTree.getSelectionModel().setSelectionMode(TreeSelectionModel.SINGLE_TREE_SELECTION);
myTree.setCellRenderer(new MyRenderer());
@@ -275,7 +274,7 @@ final class SettingsTreeView extends JComponent implements Disposable, OptionsEd
int height = mySeparator.getPreferredSize().height;
String group = findGroupNameAt(0, height);
if (group != null && group.equals(findGroupNameAt(0, 0))) {
mySeparator.setBorder(BorderFactory.createEmptyBorder(0, 18, 0, 0));
mySeparator.setBorder(BorderFactory.createEmptyBorder(1, 22, 0, 0));
mySeparator.setText(group);
Rectangle bounds = myScroller.getViewport().getBounds();
@@ -285,7 +284,7 @@ final class SettingsTreeView extends JComponent implements Disposable, OptionsEd
g.setColor(myTree.getBackground());
g.fillRect(bounds.x, bounds.y, bounds.width, bounds.height);
if (g instanceof Graphics2D) {
int h = 4; // gradient height
int h = 6; // gradient height
int y = bounds.y + bounds.height;
((Graphics2D)g).setPaint(UIUtil.getGradientPaint(
0, y, g.getColor(),
@@ -467,6 +466,7 @@ final class SettingsTreeView extends JComponent implements Disposable, OptionsEd
add(BorderLayout.CENTER, myTextLabel);
add(BorderLayout.WEST, myNodeIcon);
add(BorderLayout.EAST, myProjectIcon);
setBorder(BorderFactory.createEmptyBorder(1, 0, 3, 0));
}
public Component getTreeCellRendererComponent(JTree tree,