JAL-1859 try hoverDelay of 0.1s in Jmol for more responsive hover

diff --git a/src/jalview/gui/AppJmol.java b/src/jalview/gui/AppJmol.java
index d876755..e497d1a 100644 (file)
--- a/src/jalview/gui/AppJmol.java
+++ b/src/jalview/gui/AppJmol.java
@@ -383,6 +383,7 @@ public class AppJmol extends StructureViewerBase
       command = "";
     }
     jmb.evalStateCommand(command);
+    jmb.evalStateCommand("set hoverDelay=0.1");
     jmb.setFinishedInit(true);
   }