hashColor = defaults.getColor("Tree.hash"); rightChildIndent = defaults.getInt("Tree.rightChildIndent"); leftChildIndent = defaults.getInt("Tree.leftChildIndent"); rowHeight = defaults.getInt("Tree.rowHeight"); }
rightChildIndent = defaults.getInt("Tree.rightChildIndent"); leftChildIndent = defaults.getInt("Tree.leftChildIndent"); setRowHeight(defaults.getInt("Tree.rowHeight")); }
  protected void installDefaults(JTree tree)   {    UIDefaults defaults = UIManager.getLookAndFeelDefaults();    tree.setFont(defaults.getFont("Tree.font"));    tree.setForeground(defaults.getColor("Tree.foreground"));    tree.setBackground(defaults.getColor("Tree.background"));    tree.setOpaque(true);    hashColor = defaults.getColor("Tree.hash");    rightChildIndent = defaults.getInt("Tree.rightChildIndent");    leftChildIndent = defaults.getInt("Tree.leftChildIndent");    rowHeight = defaults.getInt("Tree.rowHeight");  }