/** 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); }