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:
9e8c679
)
JAL-845 reduced height to allow for Desktop decorators on Windows
author
Mungo Carstairs
<gmungoc@gmail.com>
Thu, 30 Apr 2015 20:12:42 +0000
(21:12 +0100)
committer
Mungo Carstairs
<gmungoc@gmail.com>
Thu, 30 Apr 2015 20:12:42 +0000
(21:12 +0100)
src/jalview/gui/SplitFrame.java
patch
|
blob
|
history
diff --git
a/src/jalview/gui/SplitFrame.java
b/src/jalview/gui/SplitFrame.java
index
cab4d27
..
a665f5c
100644
(file)
--- a/
src/jalview/gui/SplitFrame.java
+++ b/
src/jalview/gui/SplitFrame.java
@@
-65,8
+65,8
@@
public class SplitFrame extends GSplitFrame implements SplitContainerI
// about 50 pixels for the SplitFrame's title bar etc
int height = ((AlignFrame) getTopFrame()).getHeight()
+ ((AlignFrame) getBottomFrame()).getHeight() + 50;
- height = Math.min(height, Desktop.instance.getHeight() - 20);
- // setSize(AlignFrame.DEFAULT_WIDTH, Desktop.instance.getHeight() - 20);
+ // about 65 pixels for Desktop decorators on Windows
+ height = Math.min(height, Desktop.instance.getHeight() - 65);
setSize(width, height);
adjustLayout();