From: gmungoc Date: Tue, 22 Sep 2015 09:18:18 +0000 (+0100) Subject: JAL-1859 adding "set hoverDelay 0.001;" to Jmol startup seems to improve X-Git-Tag: Release_2_9_0b2~9^2^2~3 X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=06cd115d4259b467d92fb6a698fbfef514a9609c;p=jalview.git JAL-1859 adding "set hoverDelay 0.001;" to Jmol startup seems to improve responsiveness of hover --- diff --git a/examples/embeddedWJmol.html b/examples/embeddedWJmol.html index 3a2965b..e9bf475 100644 --- a/examples/embeddedWJmol.html +++ b/examples/embeddedWJmol.html @@ -274,7 +274,7 @@ jmolInitialize("","JmolApplet-14.2.14_2015.06.11.jar");