Version slider

Normand Briere

2019-07-18 d7a17c35c443e2cb6c09eaa3cfeaf590a571faa1

 Object3D.java
..
..
@@ -219,6 +219,8 @@
219
219
 //            o.bRep.support = null;
220
220
 //        }
221
221
         o.selection = this.selection;
222
+        o.versions = this.versions;
223
+        o.versionindex = this.versionindex;
222
224
         
223
225
         if (this.support != null)
224
226
         {
..
..
@@ -274,6 +276,9 @@
274
276
         }
275
277
         
276
278
         this.selection = o.selection;
279
+        
280
+        this.versions = o.versions;
281
+        this.versionindex = o.versionindex;
277
282
 // July 2019        if (this.bRep != null)
278
283
 //            this.bRep.support = o.transientrep;
279
284
     //    this.support = o.support;