Closed shemnon closed 11 years ago
JTree tree nodes are stretched wide, causing unneeded scrolling in some cases
JTree tree nodes are stretched wide, causing unneeded scrolling in some cases