5 import java.awt.event.*;
7 public class GTreePanel extends JInternalFrame
9 BorderLayout borderLayout1 = new BorderLayout();
10 protected JScrollPane scrollPane = new JScrollPane();
11 JMenuBar jMenuBar1 = new JMenuBar();
12 JMenu jMenu1 = new JMenu();
13 JMenuItem saveMenu = new JMenuItem();
14 JMenuItem printMenu = new JMenuItem();
15 JMenu jMenu2 = new JMenu();
16 protected JMenuItem fontSize = new JMenuItem();
17 protected JCheckBoxMenuItem bootstrapMenu = new JCheckBoxMenuItem();
18 protected JCheckBoxMenuItem distanceMenu = new JCheckBoxMenuItem();
19 protected JCheckBoxMenuItem fitToWindow = new JCheckBoxMenuItem();
20 JMenuItem pngTree = new JMenuItem();
21 JMenuItem epsTree = new JMenuItem();
28 this.setJMenuBar(jMenuBar1);
36 private void jbInit() throws Exception
38 this.getContentPane().setLayout(borderLayout1);
39 this.setBackground(Color.white);
40 this.setFont(new java.awt.Font("Verdana", 0, 12));
41 scrollPane.setOpaque(false);
42 jMenu1.setText("File");
43 saveMenu.setText("Save");
44 saveMenu.addActionListener(new java.awt.event.ActionListener()
46 public void actionPerformed(ActionEvent e)
48 saveMenu_actionPerformed(e);
51 printMenu.setText("Print");
52 printMenu.addActionListener(new java.awt.event.ActionListener()
54 public void actionPerformed(ActionEvent e)
56 printMenu_actionPerformed(e);
59 jMenu2.setText("View");
60 fontSize.setText("Font Size - 12");
61 fontSize.addActionListener(new java.awt.event.ActionListener()
63 public void actionPerformed(ActionEvent e)
65 fontSize_actionPerformed(e);
68 bootstrapMenu.setText("Show Bootstrap values");
69 bootstrapMenu.addActionListener(new java.awt.event.ActionListener()
71 public void actionPerformed(ActionEvent e)
73 bootstrapMenu_actionPerformed(e);
76 distanceMenu.setText("Show Distances");
77 distanceMenu.addActionListener(new java.awt.event.ActionListener()
79 public void actionPerformed(ActionEvent e)
81 distanceMenu_actionPerformed(e);
84 fitToWindow.setSelected(true);
85 fitToWindow.setText("Fit to window");
86 fitToWindow.addActionListener(new java.awt.event.ActionListener()
88 public void actionPerformed(ActionEvent e)
90 fitToWindow_actionPerformed(e);
93 epsTree.setText("Save as EPS file");
94 epsTree.addActionListener(new java.awt.event.ActionListener()
96 public void actionPerformed(ActionEvent e)
98 epsTree_actionPerformed(e);
101 pngTree.setText("Save as PNG image");
102 pngTree.addActionListener(new java.awt.event.ActionListener()
104 public void actionPerformed(ActionEvent e)
106 pngTree_actionPerformed(e);
109 this.getContentPane().add(scrollPane, BorderLayout.CENTER);
110 jMenuBar1.add(jMenu1);
111 jMenuBar1.add(jMenu2);
112 jMenu1.add(saveMenu);
115 jMenu1.add(printMenu);
116 jMenu2.add(fitToWindow);
117 jMenu2.add(fontSize);
118 jMenu2.add(distanceMenu);
119 jMenu2.add(bootstrapMenu);
122 protected void saveMenu_actionPerformed(ActionEvent e)
127 protected void printMenu_actionPerformed(ActionEvent e)
132 protected void fontSize_actionPerformed(ActionEvent e)
137 protected void distanceMenu_actionPerformed(ActionEvent e)
142 protected void bootstrapMenu_actionPerformed(ActionEvent e)
147 protected void fitToWindow_actionPerformed(ActionEvent e)
152 protected void pngTree_actionPerformed(ActionEvent e)
157 protected void epsTree_actionPerformed(ActionEvent e)