tab index

Normand Briere

2019-09-30 3966454055db8e04700e881a091c2d33dcfda232

 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