1 package persistence.antlr.debug.misc; 2 3 8 9 import java.awt.*; 10 import javax.swing.*; 11 import javax.swing.tree.*; 12 import javax.swing.event.*; 13 14 public class JTreeASTPanel extends JPanel { 15 JTree tree; 16 17 public JTreeASTPanel(TreeModel tm, TreeSelectionListener listener) { 18 setLayout(new BorderLayout()); 20 21 tree = new JTree(tm); 23 24 tree.putClientProperty("JTree.lineStyle", "Angled"); 26 27 if (listener != null) 29 tree.addTreeSelectionListener(listener); 30 31 JScrollPane sp = new JScrollPane(); 33 sp.getViewport().add(tree); 34 35 add(sp, BorderLayout.CENTER); 36 } 37 } 38 | Popular Tags |