Provide two levels of workaround for IE 10 cursor support.

The first approach is to use a moving image to simulate the cursor.
This does not work well, so a second approach, involving static
cursors is provided.  That requires a site administrator to precreate
all the cursors that can be used by a particular application set.

A warning message strongly suggests using a different browser as well.

1 files changed, 2 insertions, 0 deletions

diff --git a/display.js b/display.js
index 9f1e3dd..f9bfe76 100644
--- a/display.js
+++ b/display.js
@@ -721,6 +721,8 @@ function handle_mouseover(e)
 
 function handle_mouseout(e)
 {
+    if (this.sc && this.sc.cursor && this.sc.cursor.spice_simulated_cursor)
+        this.sc.cursor.spice_simulated_cursor.style.display = 'none';
     this.blur();
 }