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:
98e6e2f
)
JAL-845 fix SplitFrame sizing on eXpand Views
author
gmungoc
<g.m.carstairs@dundee.ac.uk>
Wed, 22 Apr 2015 14:21:22 +0000
(15:21 +0100)
committer
gmungoc
<g.m.carstairs@dundee.ac.uk>
Wed, 22 Apr 2015 14:21:22 +0000
(15:21 +0100)
src/jalview/gui/Desktop.java
patch
|
blob
|
history
diff --git
a/src/jalview/gui/Desktop.java
b/src/jalview/gui/Desktop.java
index
db5bbe5
..
5f45dc1
100644
(file)
--- a/
src/jalview/gui/Desktop.java
+++ b/
src/jalview/gui/Desktop.java
@@
-2981,9
+2981,13
@@
public class Desktop extends jalview.jbgui.GDesktop implements
*/
AlignmentPanel topPanel = (AlignmentPanel) topPanels.get(i);
AlignFrame newTopFrame = new AlignFrame(topPanel);
*/
AlignmentPanel topPanel = (AlignmentPanel) topPanels.get(i);
AlignFrame newTopFrame = new AlignFrame(topPanel);
+ newTopFrame.setSize(new Dimension(AlignFrame.DEFAULT_WIDTH,
+ AlignFrame.DEFAULT_HEIGHT));
newTopFrame.setVisible(true);
AlignmentPanel bottomPanel = (AlignmentPanel) bottomPanels.get(i);
AlignFrame newBottomFrame = new AlignFrame(bottomPanel);
newTopFrame.setVisible(true);
AlignmentPanel bottomPanel = (AlignmentPanel) bottomPanels.get(i);
AlignFrame newBottomFrame = new AlignFrame(bottomPanel);
+ newBottomFrame.setSize(new Dimension(AlignFrame.DEFAULT_WIDTH,
+ AlignFrame.DEFAULT_HEIGHT));
newBottomFrame.setVisible(true);
topPanel.av.setGatherViewsHere(false);
bottomPanel.av.setGatherViewsHere(false);
newBottomFrame.setVisible(true);
topPanel.av.setGatherViewsHere(false);
bottomPanel.av.setGatherViewsHere(false);