alter vgap
[jalview.git] / src / jalview / jbgui / GTreePanel.java
index 4b18fd3..25829ae 100755 (executable)
@@ -16,6 +16,9 @@ public class GTreePanel extends JInternalFrame
   protected JMenuItem fontSize = new JMenuItem();
   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()
   {
@@ -35,10 +38,8 @@ public class GTreePanel extends JInternalFrame
     this.getContentPane().setLayout(borderLayout1);
     this.setBackground(Color.white);
     this.setFont(new java.awt.Font("Verdana", 0, 12));
-    this.setMinimumSize(new Dimension(530, 60));
     scrollPane.setOpaque(false);
     jMenu1.setText("File");
-    saveMenu.setEnabled(false);
     saveMenu.setText("Save");
     saveMenu.addActionListener(new java.awt.event.ActionListener()
     {
@@ -80,11 +81,39 @@ public class GTreePanel extends JInternalFrame
         distanceMenu_actionPerformed(e);
       }
     });
+    fitToWindow.setSelected(true);
+    fitToWindow.setText("Fit to window");
+    fitToWindow.addActionListener(new java.awt.event.ActionListener()
+    {
+      public void actionPerformed(ActionEvent 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);
+    jMenu1.add(epsTree);
+    jMenu1.add(pngTree);
     jMenu1.add(printMenu);
+    jMenu2.add(fitToWindow);
     jMenu2.add(fontSize);
     jMenu2.add(distanceMenu);
     jMenu2.add(bootstrapMenu);
@@ -115,9 +144,19 @@ public class GTreePanel extends JInternalFrame
 
   }
 
+  protected void fitToWindow_actionPerformed(ActionEvent e)
+  {
 
+  }
 
+  protected void pngTree_actionPerformed(ActionEvent e)
+  {
 
+  }
 
+  protected void epsTree_actionPerformed(ActionEvent e)
+  {
+
+  }
 
 }