set icon false if raising windows
authoramwaterhouse <Andrew Waterhouse>
Thu, 23 Nov 2006 11:03:43 +0000 (11:03 +0000)
committeramwaterhouse <Andrew Waterhouse>
Thu, 23 Nov 2006 11:03:43 +0000 (11:03 +0000)
src/jalview/gui/Desktop.java

index 88ab53a..6617c6e 100755 (executable)
@@ -208,6 +208,7 @@ public class Desktop extends jalview.jbgui.GDesktop
 
               }
 
+
                 public void internalFrameClosed(
                     javax.swing.event.InternalFrameEvent evt)
                 {
@@ -244,7 +245,7 @@ public class Desktop extends jalview.jbgui.GDesktop
           frame.setSelected(true);
           frame.requestFocus();
         }catch(java.beans.PropertyVetoException ve)
-        {}
+        {   }
     }
 
     public void lostOwnership(Clipboard clipboard, Transferable contents)
@@ -308,9 +309,7 @@ public class Desktop extends jalview.jbgui.GDesktop
           }
         }
         catch (Exception e)
-        {
-          e.printStackTrace();
-        }
+        {      }
 
         if (files != null)
         {
@@ -339,9 +338,7 @@ public class Desktop extends jalview.jbgui.GDesktop
             }
           }
           catch (Exception ex)
-          {
-            ex.printStackTrace();
-          }
+          {      }
         }
     }
 
@@ -546,9 +543,7 @@ public class Desktop extends jalview.jbgui.GDesktop
             hb.setDisplayed(true);
         }
         catch (Exception ex)
-        {
-            ex.printStackTrace();
-        }
+        {     }
     }
 
     public void closeAll_actionPerformed(ActionEvent e)
@@ -600,7 +595,6 @@ public class Desktop extends jalview.jbgui.GDesktop
           target = null;
           if(frames[i]==null)
           {
-            System.out.println("its gone");
             continue;
           }
           if (frames[i] instanceof AlignFrame)
@@ -618,14 +612,18 @@ public class Desktop extends jalview.jbgui.GDesktop
             {
               if (close)
                 frames[i].setClosed(true);
-
-              else if (!minimize)
-                frames[i].toFront();
               else
+              {
                 frames[i].setIcon(minimize);
+                if (!minimize)
+                {
+                  frames[i].toFront();
+                }
+              }
+
             }
             catch (java.beans.PropertyVetoException ex)
-            {}
+            {       }
           }
         }
     }