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:
4cf5450
)
JAL-2388 Applet update for overview panel
author
kiramt
<k.mourao@dundee.ac.uk>
Thu, 16 Mar 2017 12:12:52 +0000
(12:12 +0000)
committer
kiramt
<k.mourao@dundee.ac.uk>
Thu, 16 Mar 2017 12:12:52 +0000
(12:12 +0000)
src/jalview/appletgui/OverviewPanel.java
patch
|
blob
|
history
diff --git
a/src/jalview/appletgui/OverviewPanel.java
b/src/jalview/appletgui/OverviewPanel.java
index
f0dd524
..
1d11b67
100755
(executable)
--- a/
src/jalview/appletgui/OverviewPanel.java
+++ b/
src/jalview/appletgui/OverviewPanel.java
@@
-166,10
+166,10
@@
public class OverviewPanel extends Panel implements Runnable,
resizing = true;
resizing = true;
- if ((getWidth() > 0) && (getHeight() > 0))
+ if ((getSize().width > 0) && (getSize().height > 0))
{
{
- od.setWidth(getWidth());
- od.setHeight(getHeight());
+ od.setWidth(getSize().width);
+ od.setHeight(getSize().height);
}
setSize(new Dimension(od.getWidth(), od.getHeight()));
}
setSize(new Dimension(od.getWidth(), od.getHeight()));
@@
-191,7
+191,7
@@
public class OverviewPanel extends Panel implements Runnable,
if (getSize().width > 0 && getSize().height > 0)
{
od.setWidth(getSize().width);
if (getSize().width > 0 && getSize().height > 0)
{
od.setWidth(getSize().width);
- od.setHeight(getSize().height - od.getGraphHeight());
+ od.setHeight(getSize().height);
}
setSize(new Dimension(od.getWidth(), od.getHeight()));
}
setSize(new Dimension(od.getWidth(), od.getHeight()));