mirror/Jailer
1
0
Fork 0
mirror of https://github.com/Wisser/Jailer.git synced 2026-05-25 11:28:33 -05:00
Code Issues Packages Projects Releases 106 Wiki Activity

stop scrolling when location has changed externally

Browse Source
This commit is contained in:
Wisser
2018-08-01 12:33:50 +02:00
parent 6c55ea8092
commit f92e7d6f13
1 changed files with 7 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/main/gui/net/sf/jailer/ui/databrowser/DesktopAnimation.java
+7 -1
View File
@@ -65,6 +65,8 @@ public class DesktopAnimation {
class ScrollTo extends Animation {
private final Point scrollFrom;
private final Rectangle scrollTo;
private Point lastViewPosition;
private boolean stopped = false;
public ScrollTo(Rectangle scrollTo, Point scrollFrom) {
this.scrollFrom = scrollFrom;
@@ -72,13 +74,17 @@ public class DesktopAnimation {
}
public void animate(double f) {
if (scrollTo != null) {
if (lastViewPosition != null && !lastViewPosition.equals(desktop.getScrollPane().getViewport().getViewPosition())) {
stopped = true;
}
if (scrollTo != null && !stopped) {
int w = (int) (f * scrollTo.width);
int h = (int) (f * scrollTo.height);
int x = (int) (scrollFrom.x + f * (scrollTo.x + scrollTo.width / 2 - scrollFrom.x)) - w / 2;
int y = (int) (scrollFrom.y + f * (scrollTo.y + scrollTo.height / 2 - scrollFrom.y)) - h / 2;
desktop.scrollRectToVisible(new Rectangle(x, y, w, h));
}
lastViewPosition = desktop.getScrollPane().getViewport().getViewPosition();
}
}