prototype Java log window and sticky configuration

[jalview.git] / src / jalview / jbgui / GDesktop.java

diff --git a/src/jalview/jbgui/GDesktop.java b/src/jalview/jbgui/GDesktop.java
index 5ff13af..773267d 100755 (executable)
--- a/src/jalview/jbgui/GDesktop.java
+++ b/src/jalview/jbgui/GDesktop.java
@@ -87,6 +87,8 @@ public class GDesktop extends JFrame
 
   JMenuItem garbageCollect = new JMenuItem();
 
+  protected JCheckBoxMenuItem showConsole = new JCheckBoxMenuItem();
+  
   /**
    * Creates a new GDesktop object.
    */
@@ -297,6 +299,14 @@ public class GDesktop extends JFrame
         showMemusage_actionPerformed(e);
       }
     });
+    showConsole.setText("Show Java Console");
+    showConsole.addActionListener(new ActionListener()
+    {
+      public void actionPerformed(ActionEvent e)
+      {
+        showConsole_actionPerformed(e);
+      }
+    });
     desktopMenubar.add(FileMenu);
     desktopMenubar.add(toolsMenu);
     VamsasMenu.setVisible(false);
@@ -320,6 +330,7 @@ public class GDesktop extends JFrame
     VamsasMenu.add(vamsasStop);
     toolsMenu.add(preferences);
     toolsMenu.add(showMemusage);
+    toolsMenu.add(showConsole);
     toolsMenu.add(garbageCollect);
     inputMenu.add(inputLocalFileMenuItem);
     inputMenu.add(inputURLMenuItem);
@@ -331,6 +342,12 @@ public class GDesktop extends JFrame
     // inputMenu.add(vamsasLoad);
   }
 
+  protected void showConsole_actionPerformed(ActionEvent e)
+  {
+    // TODO Auto-generated method stub
+    
+  }
+
   protected void showMemusage_actionPerformed(ActionEvent e)
   {
     // TODO Auto-generated method stub