git://source.jalview.org
/
jalview.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
4545be0
)
eps and png output
author
amwaterhouse
<Andrew Waterhouse>
Fri, 18 Mar 2005 18:28:17 +0000
(18:28 +0000)
committer
amwaterhouse
<Andrew Waterhouse>
Fri, 18 Mar 2005 18:28:17 +0000
(18:28 +0000)
src/jalview/jbgui/GTreePanel.java
patch
|
blob
|
history
diff --git
a/src/jalview/jbgui/GTreePanel.java
b/src/jalview/jbgui/GTreePanel.java
index
00d5fe1
..
25829ae
100755
(executable)
--- a/
src/jalview/jbgui/GTreePanel.java
+++ b/
src/jalview/jbgui/GTreePanel.java
@@
-17,6
+17,8
@@
public class GTreePanel extends JInternalFrame
protected JCheckBoxMenuItem bootstrapMenu = new JCheckBoxMenuItem();
protected JCheckBoxMenuItem distanceMenu = new JCheckBoxMenuItem();
protected JCheckBoxMenuItem fitToWindow = new JCheckBoxMenuItem();
protected JCheckBoxMenuItem bootstrapMenu = new JCheckBoxMenuItem();
protected JCheckBoxMenuItem distanceMenu = new JCheckBoxMenuItem();
protected JCheckBoxMenuItem fitToWindow = new JCheckBoxMenuItem();
+ JMenuItem pngTree = new JMenuItem();
+ JMenuItem epsTree = new JMenuItem();
public GTreePanel()
{
public GTreePanel()
{
@@
-88,10
+90,28
@@
public class GTreePanel extends JInternalFrame
fitToWindow_actionPerformed(e);
}
});
fitToWindow_actionPerformed(e);
}
});
+ 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);
+ }
+ });
this.getContentPane().add(scrollPane, BorderLayout.CENTER);
jMenuBar1.add(jMenu1);
jMenuBar1.add(jMenu2);
jMenu1.add(saveMenu);
this.getContentPane().add(scrollPane, BorderLayout.CENTER);
jMenuBar1.add(jMenu1);
jMenuBar1.add(jMenu2);
jMenu1.add(saveMenu);
+ jMenu1.add(epsTree);
+ jMenu1.add(pngTree);
jMenu1.add(printMenu);
jMenu2.add(fitToWindow);
jMenu2.add(fontSize);
jMenu1.add(printMenu);
jMenu2.add(fitToWindow);
jMenu2.add(fontSize);
@@
-129,9
+149,14
@@
public class GTreePanel extends JInternalFrame
}
}
+ protected void pngTree_actionPerformed(ActionEvent e)
+ {
+ }
+ protected void epsTree_actionPerformed(ActionEvent e)
+ {
-
+ }
}
}