/** Overridden to also update this tree's popup menu. */
@Override
public void updateUI() {
super.updateUI();
if (popup != null) {
SwingUtilities.updateComponentTreeUI(popup);
}
// Explicitly set DefaultTreeCellRenderers cache fonts, colors, etc.,
// and don't get updated by the JTree on LaF updates, so we must do
// so ourselves.
setCellRenderer(WorkspaceTreeRenderer.create());
}
public WorkspaceTree(ProjectPlugin plugin, Workspace workspace) {
this.plugin = plugin;
WorkspaceRootTreeNode root = new WorkspaceRootTreeNode(plugin, workspace);
model = new DefaultTreeModel(root);
installActions();
setModel(model);
setWorkspace(workspace);
setCellRenderer(WorkspaceTreeRenderer.create());
// Add a needed extra bit of space at the top.
setBorder(
BorderFactory.createCompoundBorder(
BorderFactory.createEmptyBorder(3, 3, 0, 3), getBorder()));
ToolTipManager.sharedInstance().registerComponent(this);
}
