git://source.jalview.org
/
jalview.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
JAL-2388 Working hidden regions hide/show in desktop
[jalview.git]
/
src
/
jalview
/
appletgui
/
OverviewPanel.java
diff --git
a/src/jalview/appletgui/OverviewPanel.java
b/src/jalview/appletgui/OverviewPanel.java
index
f339014
..
5a13c26
100755
(executable)
--- a/
src/jalview/appletgui/OverviewPanel.java
+++ b/
src/jalview/appletgui/OverviewPanel.java
@@
-121,8
+121,7
@@
public class OverviewPanel extends Panel implements Runnable,
private void mouseAction(MouseEvent evt)
{
od.updateViewportFromMouse(evt.getX(), evt.getY(), av.getAlignment()
private void mouseAction(MouseEvent evt)
{
od.updateViewportFromMouse(evt.getX(), evt.getY(), av.getAlignment()
- .getHiddenSequences(), av.getAlignment().getHiddenColumns(), av
- .getRanges());
+ .getHiddenSequences(), av.getAlignment().getHiddenColumns());
ap.setScrollValues(od.getScrollCol(), od.getScrollRow());
ap.paintAlignment(false);
}
ap.setScrollValues(od.getScrollCol(), od.getScrollRow());
ap.paintAlignment(false);
}
@@
-139,13
+138,16
@@
public class OverviewPanel extends Panel implements Runnable,
}
setSize(new Dimension(od.getWidth(), od.getHeight()));
}
setSize(new Dimension(od.getWidth(), od.getHeight()));
- if (updateRunning)
+ synchronized (this)
{
{
- oviewCanvas.restartDraw();
- return;
- }
+ if (updateRunning)
+ {
+ oviewCanvas.restartDraw();
+ return;
+ }
- updateRunning = true;
+ updateRunning = true;
+ }
Thread thread = new Thread(this);
thread.start();
repaint();
Thread thread = new Thread(this);
thread.start();
repaint();
@@
-170,7
+172,7
@@
public class OverviewPanel extends Panel implements Runnable,
{
od.setBoxPosition(av.getAlignment()
.getHiddenSequences(), av
{
od.setBoxPosition(av.getAlignment()
.getHiddenSequences(), av
- .getAlignment().getHiddenColumns(), av.getRanges());
+ .getAlignment().getHiddenColumns());
repaint();
}
}
repaint();
}
}