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:
47e2393
)
set icon false if raising windows
author
amwaterhouse
<Andrew Waterhouse>
Thu, 23 Nov 2006 11:03:43 +0000
(11:03 +0000)
committer
amwaterhouse
<Andrew Waterhouse>
Thu, 23 Nov 2006 11:03:43 +0000
(11:03 +0000)
src/jalview/gui/Desktop.java
patch
|
blob
|
history
diff --git
a/src/jalview/gui/Desktop.java
b/src/jalview/gui/Desktop.java
index
88ab53a
..
6617c6e
100755
(executable)
--- a/
src/jalview/gui/Desktop.java
+++ b/
src/jalview/gui/Desktop.java
@@
-208,6
+208,7
@@
public class Desktop extends jalview.jbgui.GDesktop
}
}
+
public void internalFrameClosed(
javax.swing.event.InternalFrameEvent evt)
{
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)
frame.setSelected(true);
frame.requestFocus();
}catch(java.beans.PropertyVetoException ve)
- {}
+ { }
}
public void lostOwnership(Clipboard clipboard, Transferable contents)
}
public void lostOwnership(Clipboard clipboard, Transferable contents)
@@
-308,9
+309,7
@@
public class Desktop extends jalview.jbgui.GDesktop
}
}
catch (Exception e)
}
}
catch (Exception e)
- {
- e.printStackTrace();
- }
+ { }
if (files != null)
{
if (files != null)
{
@@
-339,9
+338,7
@@
public class Desktop extends jalview.jbgui.GDesktop
}
}
catch (Exception ex)
}
}
catch (Exception ex)
- {
- ex.printStackTrace();
- }
+ { }
}
}
}
}
@@
-546,9
+543,7
@@
public class Desktop extends jalview.jbgui.GDesktop
hb.setDisplayed(true);
}
catch (Exception ex)
hb.setDisplayed(true);
}
catch (Exception ex)
- {
- ex.printStackTrace();
- }
+ { }
}
public void closeAll_actionPerformed(ActionEvent e)
}
public void closeAll_actionPerformed(ActionEvent e)
@@
-600,7
+595,6
@@
public class Desktop extends jalview.jbgui.GDesktop
target = null;
if(frames[i]==null)
{
target = null;
if(frames[i]==null)
{
- System.out.println("its gone");
continue;
}
if (frames[i] instanceof AlignFrame)
continue;
}
if (frames[i] instanceof AlignFrame)
@@
-618,14
+612,18
@@
public class Desktop extends jalview.jbgui.GDesktop
{
if (close)
frames[i].setClosed(true);
{
if (close)
frames[i].setClosed(true);
-
- else if (!minimize)
- frames[i].toFront();
else
else
+ {
frames[i].setIcon(minimize);
frames[i].setIcon(minimize);
+ if (!minimize)
+ {
+ frames[i].toFront();
+ }
+ }
+
}
catch (java.beans.PropertyVetoException ex)
}
catch (java.beans.PropertyVetoException ex)
- {}
+ { }
}
}
}
}
}
}