+ epsTree.setText("Save as EPS file");
+ epsTree.addActionListener(new java.awt.event.ActionListener()
+ {
+ public void actionPerformed(ActionEvent e)
+ {
+ epsTree_actionPerformed(e);
+ }
+ });
+ pngTree.setText("Save as PNG image");
+ pngTree.addActionListener(new java.awt.event.ActionListener()
+ {
+ public void actionPerformed(ActionEvent e)
+ {
+ pngTree_actionPerformed(e);
+ }
+ });