int () { int old = myRightIndent == null ? Registry.intValue("ide.ui.tree.indent", -1) : -1; if (old >= 0) return JBUIScale.scale(old); return Math.max(0, myRightIndent != null ? JBUIScale.scale(myRightIndent) : UIManager.getInt("Tree.rightChildIndent")); }