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