desktop window scaled to current window geometry, prototype Java log window and stick...
authorjprocter <Jim Procter>
Tue, 13 Oct 2009 15:21:55 +0000 (15:21 +0000)
committerjprocter <Jim Procter>
Tue, 13 Oct 2009 15:21:55 +0000 (15:21 +0000)
src/jalview/gui/Desktop.java

index e499326..90af881 100755 (executable)
@@ -18,6 +18,7 @@
  */
 package jalview.gui;
 
+import jalview.bin.Cache;
 import jalview.io.*;
 
 import java.awt.*;
@@ -89,6 +90,8 @@ public class Desktop extends jalview.jbgui.GDesktop implements
     setDefaultCloseOperation(JFrame.EXIT_ON_CLOSE);
     boolean selmemusage = jalview.bin.Cache.getDefault("SHOW_MEMUSAGE",
             false);
+    boolean showjconsole = jalview.bin.Cache.getDefault(
+            "SHOW_JAVA_CONSOLE", false);
     desktop = new MyDesktopPane(selmemusage);
     showMemusage.setSelected(selmemusage);
     desktop.setBackground(Color.white);
@@ -100,22 +103,19 @@ public class Desktop extends jalview.jbgui.GDesktop implements
     // if previous window was maximised
     desktop.setDesktopManager(new DefaultDesktopManager());
 
-    Dimension screenSize = Toolkit.getDefaultToolkit().getScreenSize();
-    String x = jalview.bin.Cache.getProperty("SCREEN_X");
-    String y = jalview.bin.Cache.getProperty("SCREEN_Y");
-    String width = jalview.bin.Cache.getProperty("SCREEN_WIDTH");
-    String height = jalview.bin.Cache.getProperty("SCREEN_HEIGHT");
-
-    if ((x != null) && (y != null) && (width != null) && (height != null))
-    {
-      setBounds(Integer.parseInt(x), Integer.parseInt(y), Integer
-              .parseInt(width), Integer.parseInt(height));
+    Rectangle dims = getLastKnownDimensions("");
+    if (dims!=null)
+    {      
+      setBounds(dims);
     }
     else
     {
+      Dimension screenSize = Toolkit.getDefaultToolkit().getScreenSize();
       setBounds((int) (screenSize.width - 900) / 2,
               (int) (screenSize.height - 650) / 2, 900, 650);
     }
+    jconsole = new Console(this);
+    showConsole(showjconsole);
 
     this.addWindowListener(new WindowAdapter()
     {
@@ -138,12 +138,63 @@ public class Desktop extends jalview.jbgui.GDesktop implements
 
     this.setDropTarget(new java.awt.dnd.DropTarget(desktop, this));
     // Spawn a thread that shows the splashscreen
-    new SplashScreen();
+    SwingUtilities.invokeLater(new Runnable()
+    {
+      public void run()
+      {
+        new SplashScreen();
+      }
+    });
 
     discoverer = new jalview.ws.Discoverer(); // Only gets started if gui is
     // displayed.
   }
 
+  /**
+   * recover the last known dimensions for a jalview window
+   * @param windowName
+   *          - empty string is desktop, all other windows have unique prefix
+   * @return null or last known dimensions scaled to current geometry (if last
+   *         window geom was known)
+   */
+  Rectangle getLastKnownDimensions(String windowName)
+  {
+    Dimension screenSize = Toolkit.getDefaultToolkit().getScreenSize();
+    String x = jalview.bin.Cache.getProperty(windowName + "SCREEN_X");
+    String y = jalview.bin.Cache.getProperty(windowName + "SCREEN_Y");
+    String width = jalview.bin.Cache.getProperty(windowName
+            + "SCREEN_WIDTH");
+    String height = jalview.bin.Cache.getProperty(windowName
+            + "SCREEN_HEIGHT");
+    if ((x != null) && (y != null) && (width != null) && (height != null))
+    {
+      int ix = Integer.parseInt(x), iy = Integer.parseInt(y), iw = Integer
+              .parseInt(width), ih = Integer.parseInt(height);
+      if (jalview.bin.Cache.getProperty("SCREENGEOMETRY_WIDTH") != null)
+      {
+        // attempt #1 - try to cope with change in screen geometry - this
+        // version doesn't preserve original jv aspect ratio.
+        // take ratio of current screen size vs original screen size.
+        double sw = ( (1f*screenSize.width)
+                / (1f*Integer.parseInt(jalview.bin.Cache
+                        .getProperty("SCREENGEOMETRY_WIDTH"))))
+                        ;
+        double sh = ( (1f*screenSize.height)
+                / (1f*Integer.parseInt(jalview.bin.Cache
+                        .getProperty("SCREENGEOMETRY_HEIGHT"))));
+        // rescale the bounds depending upon the current screen geometry.
+        ix = (int) (ix * sw);
+        iw = (int) (iw * sw);
+        iy = (int) (iy * sh);
+        ih = (int) (ih * sh);
+        jalview.bin.Cache.log.debug("Got last known dimensions for "+windowName+": x:"+ix + " y:"+iy + " width:"+iw+" height:"+ih);
+      }
+      // return dimensions for new instance 
+      return new Rectangle(ix, iy, iw, ih);
+    }
+    return null;
+  }
+
   private void doVamsasClientCheck()
   {
     if (jalview.bin.Cache.vamsasJarsPresent())
@@ -442,7 +493,8 @@ public class Desktop extends jalview.jbgui.GDesktop implements
         for (int i = 0; i < files.size(); i++)
         {
           String file = files.get(i).toString();
-          String protocol = (protocols==null) ? FormatAdapter.FILE : (String) protocols.get(i);
+          String protocol = (protocols == null) ? FormatAdapter.FILE
+                  : (String) protocols.get(i);
           String format = null;
 
           if (file.endsWith(".jar"))
@@ -610,13 +662,32 @@ public class Desktop extends jalview.jbgui.GDesktop implements
    */
   public void quit()
   {
-    jalview.bin.Cache.setProperty("SCREEN_X", getBounds().x + "");
-    jalview.bin.Cache.setProperty("SCREEN_Y", getBounds().y + "");
-    jalview.bin.Cache.setProperty("SCREEN_WIDTH", getWidth() + "");
-    jalview.bin.Cache.setProperty("SCREEN_HEIGHT", getHeight() + "");
+    Dimension screen = Toolkit.getDefaultToolkit().getScreenSize();
+    jalview.bin.Cache
+            .setProperty("SCREENGEOMETRY_WIDTH", screen.width + "");
+    jalview.bin.Cache.setProperty("SCREENGEOMETRY_HEIGHT", screen.height
+            + "");
+    storeLastKnownDimensions("",new Rectangle(getBounds().x,getBounds().y, getWidth(), getHeight()));
+
+    if (jconsole != null)
+    {
+      storeLastKnownDimensions("JAVA_CONSOLE_",jconsole.getBounds());
+      jconsole.stopConsole();
+    }
     System.exit(0);
   }
 
+  private void storeLastKnownDimensions(String string, Rectangle jc)
+  {
+    jalview.bin.Cache.log.debug("Storing last known dimensions for "+string+": x:"+jc.x + " y:"+jc.y + " width:"+jc.width+" height:"+jc.height);
+    
+    jalview.bin.Cache.setProperty(string+"SCREEN_X",jc.x + "");
+    jalview.bin.Cache.setProperty(string+"SCREEN_Y", jc.y + "");
+    jalview.bin.Cache.setProperty(string+"SCREEN_WIDTH", jc.width + "");
+    jalview.bin.Cache.setProperty(string+"SCREEN_HEIGHT", jc.height
+            + "");
+  }
+
   /**
    * DOCUMENT ME!
    * 
@@ -736,6 +807,34 @@ public class Desktop extends jalview.jbgui.GDesktop implements
     desktop.showMemoryUsage(showMemusage.isSelected());
   }
 
+  /*
+   * (non-Javadoc)
+   * 
+   * @see
+   * jalview.jbgui.GDesktop#showConsole_actionPerformed(java.awt.event.ActionEvent
+   * )
+   */
+  protected void showConsole_actionPerformed(ActionEvent e)
+  {
+    showConsole(showConsole.isSelected());
+  }
+
+  Console jconsole = null;
+
+  /**
+   * control whether the java console is visible or not
+   * 
+   * @param selected
+   */
+  void showConsole(boolean selected)
+  {
+    showConsole.setSelected(selected);
+    // TODO: decide if we should update properties file
+    Cache.setProperty("SHOW_JAVA_CONSOLE", Boolean.valueOf(selected)
+            .toString());
+    jconsole.setVisible(selected);
+  }
+
   void reorderAssociatedWindows(boolean minimize, boolean close)
   {
     JInternalFrame[] frames = desktop.getAllFrames();
@@ -845,7 +944,8 @@ public class Desktop extends jalview.jbgui.GDesktop implements
     if (value == JalviewFileChooser.APPROVE_OPTION)
     {
       java.io.File choice = chooser.getSelectedFile();
-      JProgressBar progpanel = addProgressPanel("Saving jalview project "+choice.getName());
+      JProgressBar progpanel = addProgressPanel("Saving jalview project "
+              + choice.getName());
       jalview.bin.Cache.setProperty("LAST_DIRECTORY", choice.getParent());
       // TODO catch and handle errors for savestate
       new Jalview2XML().SaveState(choice);
@@ -874,11 +974,12 @@ public class Desktop extends jalview.jbgui.GDesktop implements
     if (value == JalviewFileChooser.APPROVE_OPTION)
     {
       String choice = chooser.getSelectedFile().getAbsolutePath();
-      setProgressBar("loading jalview project "+chooser.getSelectedFile().getName(),choice.hashCode());
+      setProgressBar("loading jalview project "
+              + chooser.getSelectedFile().getName(), choice.hashCode());
       jalview.bin.Cache.setProperty("LAST_DIRECTORY", chooser
               .getSelectedFile().getParent());
       new Jalview2XML().LoadJalviewAlign(choice);
-      setProgressBar(null,choice.hashCode());
+      setProgressBar(null, choice.hashCode());
     }
   }
 
@@ -964,7 +1065,7 @@ public class Desktop extends jalview.jbgui.GDesktop implements
   public static AlignmentPanel[] getAlignmentPanels(String viewId)
   {
     int count = 0;
-    if (Desktop.desktop==null)
+    if (Desktop.desktop == null)
     {
       // no frames created and in headless mode
       // TODO: verify that frames are recoverable when in headless mode
@@ -1151,8 +1252,9 @@ public class Desktop extends jalview.jbgui.GDesktop implements
   }
 
   /**
-   * import file into a new vamsas session (uses jalview.gui.VamsasApplication) 
-   * @param file 
+   * import file into a new vamsas session (uses jalview.gui.VamsasApplication)
+   * 
+   * @param file
    * @return true if import was a success and a session was started.
    */
   public boolean vamsasImport(URL url)
@@ -1160,14 +1262,14 @@ public class Desktop extends jalview.jbgui.GDesktop implements
     // TODO: create progress bar
     if (v_client != null)
     {
-      
+
       jalview.bin.Cache.log
-      .error("Implementation error - load session from a running session is not supported.");
-      return false;     
+              .error("Implementation error - load session from a running session is not supported.");
+      return false;
     }
-    
+
     try
-      {
+    {
       // copy the URL content to a temporary local file
       // TODO: be a bit cleverer here with nio (?!)
       File file = File.createTempFile("vdocfromurl", ".vdj");
@@ -1175,27 +1277,30 @@ public class Desktop extends jalview.jbgui.GDesktop implements
       BufferedInputStream bis = new BufferedInputStream(url.openStream());
       byte[] buffer = new byte[2048];
       int ln;
-      while ((ln = bis.read(buffer))>-1)
+      while ((ln = bis.read(buffer)) > -1)
       {
-        fos.write(buffer,0,ln);
+        fos.write(buffer, 0, ln);
       }
       bis.close();
       fos.close();
-      v_client = new jalview.gui.VamsasApplication(this, file, url.toExternalForm());
-      } catch (Exception ex)
-      {
-        jalview.bin.Cache.log.error(
-                "Failed to create new vamsas session from contents of URL "+url,ex);
-        return false;
-      }
-      setupVamsasConnectedGui();
-      v_client.initial_update(); // TODO: thread ?
-      return v_client.inSession();
+      v_client = new jalview.gui.VamsasApplication(this, file, url
+              .toExternalForm());
+    } catch (Exception ex)
+    {
+      jalview.bin.Cache.log.error(
+              "Failed to create new vamsas session from contents of URL "
+                      + url, ex);
+      return false;
     }
+    setupVamsasConnectedGui();
+    v_client.initial_update(); // TODO: thread ?
+    return v_client.inSession();
+  }
 
   /**
-   * import file into a new vamsas session (uses jalview.gui.VamsasApplication) 
-   * @param file 
+   * import file into a new vamsas session (uses jalview.gui.VamsasApplication)
+   * 
+   * @param file
    * @return true if import was a success and a session was started.
    */
   public boolean vamsasImport(File file)
@@ -1208,28 +1313,34 @@ public class Desktop extends jalview.jbgui.GDesktop implements
       return false;
     }
 
-    setProgressBar("Importing VAMSAS session from "+file.getName(),file.hashCode());
+    setProgressBar("Importing VAMSAS session from " + file.getName(), file
+            .hashCode());
     try
     {
-      v_client = new jalview.gui.VamsasApplication(this, file,null);
+      v_client = new jalview.gui.VamsasApplication(this, file, null);
     } catch (Exception ex)
     {
-      setProgressBar("Importing VAMSAS session from "+file.getName(),file.hashCode());
+      setProgressBar("Importing VAMSAS session from " + file.getName(),
+              file.hashCode());
       jalview.bin.Cache.log.error(
               "New vamsas session from existing session file failed:", ex);
       return false;
     }
     setupVamsasConnectedGui();
     v_client.initial_update(); // TODO: thread ?
-    setProgressBar("Importing VAMSAS session from "+file.getName(),file.hashCode());
+    setProgressBar("Importing VAMSAS session from " + file.getName(), file
+            .hashCode());
     return v_client.inSession();
   }
-  public boolean joinVamsasSession(String mysesid) {
-    if (v_client!=null)
+
+  public boolean joinVamsasSession(String mysesid)
+  {
+    if (v_client != null)
     {
-      throw new Error("Trying to join a vamsas session when another is already connected.");
+      throw new Error(
+              "Trying to join a vamsas session when another is already connected.");
     }
-    if (mysesid==null)
+    if (mysesid == null)
     {
       throw new Error("Invalid vamsas session id.");
     }
@@ -1382,7 +1493,8 @@ public class Desktop extends jalview.jbgui.GDesktop implements
       if (value == JalviewFileChooser.APPROVE_OPTION)
       {
         java.io.File choice = chooser.getSelectedFile();
-        JProgressBar progpanel = addProgressPanel("Saving VAMSAS Document to "+choice.getName());
+        JProgressBar progpanel = addProgressPanel("Saving VAMSAS Document to "
+                + choice.getName());
         jalview.bin.Cache.setProperty("LAST_DIRECTORY", choice.getParent());
         String warnmsg = null;
         String warnttl = null;
@@ -1533,7 +1645,7 @@ public class Desktop extends jalview.jbgui.GDesktop implements
 
     public void paintComponent(Graphics g)
     {
-      if (showMemoryUsage && g!=null)
+      if (showMemoryUsage && g != null)
       {
         if (percentUsage < 20)
           g.setColor(Color.red);