Fix navigation and hide cursor.

Normand Briere

2019-09-15 d5fac992bb6a91e52a90e8318060f5f26ddab982

 RandomEditor.java
..
..
@@ -98,7 +98,9 @@
98
98
 			//System.out.println(e);
99
99
 			applySelf();
100
100
 			//super.applySelf();
101
-			objEditor.refreshContents();
101
+
102
+            Globals.lighttouched = true;
103
+                        objEditor.refreshContents();
102
104
 			//Refresh();
103
105
 		}
104
106
 		else