Undo/redo fully working

Normand Briere

2019-06-11 1d909ffa0c2beb51d453b53b845c4f3a749ca5f0

 Texture.java
..
..
@@ -11,7 +11,7 @@
11
11
 {
12
12
     // deprecated due to serial problems
13
13
     static final long serialVersionUID = //-5280151442948961597L; // new java
14
-                                            7695543694999681408L; // old java !!!
14
+                                         7695543694999681408L; // old java !!!
15
15
     
16
16
     // default = -8076744133104150348L
17
17