Prevent overly frequent navigation requests in OverlayNavigation.

Reasoning: Big Data Viewer may get stuck, if navigation requests are sent to it too frequently

Author: Stefan Hahmann

src/main/java/org/mastodon/views/bdv/overlay/OverlayNavigation.java

@@ -46,6 +46,10 @@ public class OverlayNavigation< V extends OverlayVertex< V, E >, E extends Overl
 
 	private NavigationBehaviour< V, E > navigationBehaviour;
 
+	private long lastNavigationTime = 0;
+
+	private static final int ANIMATION_DURATION = 300;
+
 	public OverlayNavigation(
 			final AbstractViewerPanel panel,
 			final OverlayGraph< V, E > graph )
@@ -82,6 +86,9 @@ public void setNavigationEtiquette( final NavigationEtiquette navigationEtiquett
 	@Override
 	public void navigateToVertex( final V vertex )
 	{
+		// Prevent too frequent navigation requests.
+		if (shouldThrottle())
+			return; // Throttle navigation requests.
 		// Always move in T.
 		final int tp = vertex.getTimepoint();
 		panel.state().setCurrentTimepoint( tp );
@@ -90,17 +97,21 @@ public void navigateToVertex( final V vertex )
 		final double[] target = navigationBehaviour.navigateToVertex( vertex, currentTransform );
 		if ( target != null )
 		{
-			final TranslationAnimator animator = new TranslationAnimator( currentTransform, target, 300 );
-			animator.setTime( System.currentTimeMillis() );
+			final TranslationAnimator animator = new TranslationAnimator( currentTransform, target, ANIMATION_DURATION );
+			animator.setTime( lastNavigationTime );
 			panel.setTransformAnimator( animator );
 		}
-
 		panel.requestRepaint();
 	}
 
 	@Override
 	public void navigateToEdge( final E edge )
 	{
+		// Prevent too frequent navigation requests.
+		final long now = System.currentTimeMillis();
+		if ( now - lastNavigationTime < ANIMATION_DURATION )
+			return; // too frequent navigation requests. ignore.
+
 		// Always move in T.
 		final V ref = graph.vertexRef();
 		final int tp = edge.getTarget( ref ).getTimepoint();
@@ -111,8 +122,8 @@ public void navigateToEdge( final E edge )
 		final double[] target = navigationBehaviour.navigateToEdge( edge, currentTransform );
 		if ( target != null )
 		{
-			final TranslationAnimator animator = new TranslationAnimator( currentTransform, target, 300 );
-			animator.setTime( System.currentTimeMillis() );
+			final TranslationAnimator animator = new TranslationAnimator( currentTransform, target, ANIMATION_DURATION );
+			animator.setTime( lastNavigationTime );
 			panel.setTransformAnimator( animator );
 		}