From: gmungoc <g.m.carstairs@dundee.ac.uk>
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;hp=4c3a5f9eeaa18f67dc35f31b18325f73199325f7;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");
 
 <div>
  <script>
-  jmolApplet("500x500","zap; load FILE '1gaq.txt'; frame 0; background black; select all; wireframe off; spacefill off; cartoons; restrict; center *; set selectionhalos true;select 0","jmolView");
+  jmolApplet("500x500","zap; load FILE '1gaq.txt'; frame 0; background black; select all; wireframe off; spacefill off; cartoons; restrict; center *; set selectionhalos true;set hoverDelay 0.001; select 0","jmolView");
  </script>
 </div>
 <div>