Searched refs:pixelPerfectTree (Results 1 – 1 of 1) sorted by relevance
136 private JTree pixelPerfectTree; field in Workspace587 pixelPerfectTree = new JTree(new Object[0]); in buildPixelPerfectPanel()588 pixelPerfectTree.setBorder(null); in buildPixelPerfectPanel()589 pixelPerfectTree.setBorder(BorderFactory.createEmptyBorder(6, 6, 6, 6)); in buildPixelPerfectPanel()590 pixelPerfectTree.addTreeSelectionListener(new TreeSelectionListener() { in buildPixelPerfectPanel()597 JScrollPane scroller = new JScrollPane(pixelPerfectTree); in buildPixelPerfectPanel()684 if (pixelPerfectTree == null) { in showPixelPerfectTree()687 pixelPerfectTree.setModel(new ViewsTreeModel(scene.getRoot())); in showPixelPerfectTree()688 pixelPerfectTree.setCellRenderer(new ViewsTreeCellRenderer()); in showPixelPerfectTree()689 expandAll(pixelPerfectTree, true); in showPixelPerfectTree()