/** * Creates and returns a peered tree. * * @return Tree. */ private JTree createTree() { JTree tree = new JTree(); tree.setShowsRootHandles(false); tree.setFont(new Font("Dialog", Font.PLAIN, 12)); tree.addTreeSelectionListener(this); tree.setRootVisible(false); tree.setLargeModel(true); return tree; }
public DerivationViewer(Prefixes prefixes,DerivationHistory.Fact root) { super("Derivation tree for "+root.toString(prefixes)); setDefaultCloseOperation(JFrame.DISPOSE_ON_CLOSE); m_prefixes=prefixes; m_derivationTreeTreeModel=new DerivationTreeTreeModel(root); m_derivationTree=new JTree(m_derivationTreeTreeModel); m_derivationTree.setLargeModel(true); m_derivationTree.setShowsRootHandles(true); m_derivationTree.setCellRenderer(new DerivationTreeCellRenderer()); JScrollPane scrollPane=new JScrollPane(m_derivationTree); scrollPane.setPreferredSize(new Dimension(600,400)); JButton button=new JButton("Refresh"); button.addActionListener(new ActionListener() { public void actionPerformed(ActionEvent e) { refresh(); } }); JPanel panel=new JPanel(new BorderLayout()); panel.add(scrollPane,BorderLayout.CENTER); panel.add(button,BorderLayout.SOUTH); setContentPane(panel); getRootPane().setDefaultButton(button); pack(); setLocation(150,150); setVisible(true); } public void refresh() {
m_derivationTreeTreeModel=new DerivationTreeTreeModel(root); m_derivationTree=new JTree(m_derivationTreeTreeModel); m_derivationTree.setLargeModel(true); m_derivationTree.setShowsRootHandles(true); m_derivationTree.setCellRenderer(new DerivationTreeCellRenderer());
tree.setLargeModel(true); tree.setRootVisible(false); tree.setShowsRootHandles(true);
m_subtreeTreeModel=new SubtreeTreeModel(debugger,rootNode); m_tableauTree=new JTree(m_subtreeTreeModel); m_tableauTree.setLargeModel(true); m_tableauTree.setShowsRootHandles(true); m_tableauTree.setCellRenderer(new NodeCellRenderer(debugger));
tree.setLargeModel(true); tree.setRootVisible(false); tree.setShowsRootHandles(true);
/** * Inits the FS tree. */ private void initFSTree() { FSTreeModel treeModel = new FSTreeModel(); this.fsTree = new JTree(treeModel); this.fsTree.addMouseListener(new StringFsPopupEventAdapter()); this.fsTree.setBorder(BorderFactory.createEmptyBorder(2, 4, 2, 2)); this.fsTree.setLargeModel(true); // Only one node can be selected at any one time. this.fsTree.getSelectionModel().setSelectionMode(TreeSelectionModel.SINGLE_TREE_SELECTION); this.fsTree.addTreeSelectionListener(new FSTreeSelectionListener(this)); DefaultTreeCellRenderer cellRenderer = new DefaultTreeCellRenderer(); cellRenderer.setLeafIcon(null); // cellRenderer.setIcon(null); cellRenderer.setClosedIcon(null); cellRenderer.setOpenIcon(null); this.fsTree.setCellRenderer(cellRenderer); }
browsePanel.add(scrollPane2, new GridConstraints(1, 0, 1, 1, GridConstraints.ANCHOR_CENTER, GridConstraints.FILL_BOTH, GridConstraints.SIZEPOLICY_CAN_SHRINK | GridConstraints.SIZEPOLICY_WANT_GROW, GridConstraints.SIZEPOLICY_CAN_SHRINK | GridConstraints.SIZEPOLICY_WANT_GROW, null, null, null, 0, false)); treeCategories = new JTree(); treeCategories.setLargeModel(true); treeCategories.setRootVisible(false); scrollPane2.setViewportView(treeCategories);
m_subtreeTreeModel=new SubtreeTreeModel(debugger,rootNode); m_tableauTree=new JTree(m_subtreeTreeModel); m_tableauTree.setLargeModel(true); m_tableauTree.setShowsRootHandles(true); m_tableauTree.setCellRenderer(new NodeCellRenderer(debugger));
/** * Constructor. * * Modifies a given tree to add checkboxes. * - The tree's existing cell renderer will be wrapped with a ChecklistTreeCellRenderer. * - A MouseListener will be added to the tree to detect clicks, which will toggle checkboxes. * * A secondary ChecklistTreeSelectionModel will track checkboxes' states (independent of row * highlighting). * * @param tree a tree to modify * @param dig true show that a node is partially selected by scanning its descendents, false otherwise * @checklistFilter a filter to decide which TreePaths need checkboxes, or null */ public ChecklistTreeManager( JTree tree, boolean dig, ChecklistTreePathFilter checklistFilter ) { this.tree = tree; this.checklistFilter = checklistFilter; // Note: If largemodel is not set then treenodes are getting truncated. // Need to debug further to find the problem. if ( checklistFilter != null ) tree.setLargeModel( true ); selectionModel = new ChecklistTreeSelectionModel( tree.getModel(), dig ); ChecklistTreeCellRenderer checklistRenderer = new ChecklistTreeCellRenderer( tree.getCellRenderer(), selectionModel, checklistFilter ); setCheckboxMaxX( checklistRenderer.getCheckboxMaxX() ); tree.setCellRenderer( checklistRenderer ); selectionModel.addTreeSelectionListener( this ); tree.addMouseListener( this ); }
@Override public void run() { tree = newTree; tree.getSelectionModel().setSelectionMode(TreeSelectionModel.SINGLE_TREE_SELECTION); tree.setLargeModel(true); tree.setCellRenderer(new BugRenderer()); treePanel.remove(treeScrollPane); treeScrollPane = new JScrollPane(newTree); treePanel.add(treeScrollPane); mainFrame.setFontSizeHelper(Driver.getFontSize(), treeScrollPane); tree.setRowHeight((int) (Driver.getFontSize() + 7)); mainFrame.getContentPane().validate(); mainFrame.getContentPane().repaint(); setupTreeListeners(); newModel.openPreviouslySelected(((BugTreeModel) (tree.getModel())).getOldSelectedBugs()); expandTree(10); expandToFirstLeaf(14); mainFrame.getSorter().addColumnModelListener(newModel); FilterActivity.addFilterListener(newModel.bugTreeFilterListener); mainFrame.mainFrameTree.setSorting(true); } });
_tree.putClientProperty("JTree.lineStyle" /* NOI18N */, "Angled" /* NOI18N */); _tree.setScrollsOnExpand(true); _tree.setLargeModel(true);
getTree().setLargeModel(true); getTree().getSelectionModel().setSelectionMode(TreeSelectionModel.SINGLE_TREE_SELECTION); getTree().setCellRenderer(new BugRenderer());
tree.getSelectionModel().setSelectionMode(TreeSelectionModel.SINGLE_TREE_SELECTION); tree.setExpandsSelectedPaths(true); tree.setLargeModel(true); tree.setRootVisible(false);
treeTable.setRowMargin(UIConstants.TABLE_ROW_MARGIN); treeTable.setRowHeight(UIUtils.getDefaultRowHeight() + 2); treeTable.getTree().setLargeModel(true);
jTree.setCellEditor(new CheckBoxNodeEditor(jTree)); jTree.setEditable(true); jTree.setLargeModel(true); jTree.setRowHeight(16);
int rowHeight = rend.getTreeCellRendererComponent(tree, null, false, false, false, 0, true).getPreferredSize().height; tree.setRowHeight(rowHeight); tree.setLargeModel(true);
tree.setLargeModel(true); tree.setEditable(false); tree.setExpandsSelectedPaths(true);
comp.setLargeModel(largeModel);