MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-10-01 09:03:31 +07:00
Code Issues Packages Projects Releases Wiki Activity

skinny doesn't work in most of the cases

Browse Source
This commit is contained in:
Konstantin Bulenkov
2014-01-30 14:28:45 +01:00
parent 39a3ef5a9f
commit f276863a0a
1 changed files with 11 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/util/src/com/intellij/util/ui/tree/WideSelectionTreeUI.java
+11 -2
View File
@@ -51,6 +51,7 @@ public class WideSelectionTreeUI extends BasicTreeUI {
private boolean myOldRepaintAllRowValue;
private boolean invertLineColor;
private boolean myForceDontPaintLines = false;
private boolean mySkinny = false;
@SuppressWarnings("unchecked")
public WideSelectionTreeUI() {
@@ -74,8 +75,16 @@ public class WideSelectionTreeUI extends BasicTreeUI {
return isSkinny() ? 8 : super.getRightChildIndent();
}
private static boolean isSkinny() {
return UIUtil.isUnderDarcula() || UIUtil.isUnderIntelliJLaF() || UIUtil.isUnderAquaLookAndFeel();
public boolean isSkinny() {
return mySkinny;
}
/**
* Setting to <code>true</code> make tree to reduce row offset
* @param skinny <code>true</code> to reduce row offset
*/
public void setSkinny(boolean skinny) {
mySkinny = skinny;
}
private final MouseListener mySelectionListener = new MouseAdapter() {