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:
e0d0dde
)
If screensize is small, setSize to be the screenSize
author
amwaterhouse
<Andrew Waterhouse>
Fri, 17 Dec 2004 14:20:46 +0000
(14:20 +0000)
committer
amwaterhouse
<Andrew Waterhouse>
Fri, 17 Dec 2004 14:20:46 +0000
(14:20 +0000)
src/jalview/gui/Desktop.java
patch
|
blob
|
history
diff --git
a/src/jalview/gui/Desktop.java
b/src/jalview/gui/Desktop.java
index
4156fa2
..
7a75379
100755
(executable)
--- a/
src/jalview/gui/Desktop.java
+++ b/
src/jalview/gui/Desktop.java
@@
-48,10
+48,16
@@
public class Desktop extends jalview.jbgui.GDesktop
desktop.setDragMode(JDesktopPane.OUTLINE_DRAG_MODE);
\r
\r
Dimension screenSize = Toolkit.getDefaultToolkit().getScreenSize();
\r
desktop.setDragMode(JDesktopPane.OUTLINE_DRAG_MODE);
\r
\r
Dimension screenSize = Toolkit.getDefaultToolkit().getScreenSize();
\r
- setBounds( (int)(screenSize.getWidth()-1200)/2,
\r
- (int)(screenSize.getHeight()-800)/2,
\r
- 1200 ,
\r
- 800);
\r
+ int width = 1200, height = 800;
\r
+ if(screenSize.getWidth()<width)
\r
+ width = screenSize.width;
\r
+ if(screenSize.getHeight()<height)
\r
+ height = screenSize.height;
\r
+
\r
+ setBounds( (int)(screenSize.width-width)/2,
\r
+ (int)(screenSize.height-height)/2,
\r
+ width ,
\r
+ height);
\r
\r
\r
/////////Add a splashscreen on startup
\r
\r
\r
/////////Add a splashscreen on startup
\r