Re: Tree display glitches?

[Joseph Schmidt]

If you have a patch for this it would be very 
welcome.
In Tree.java:1082
replace:
buffer.appendAttribute("class", "spacer");
with:
if(treeNode.isRoot()){
   buffer.appendAttribute("class", "spacer root"); // or just
   //buffer.appendAttribute("class", "root_spacer");
} else {
   buffer.appendAttribute("class", "spacer");
}

This way the users can use a CSS selector to render something 
differently there in the root.

thanks,
Joseph.