Fix version manager.

Normand Briere

2019-08-12 8f1afe25ea8fc8801aab66331c32a50859a758c2

 Object3D.java
..
..
@@ -2468,6 +2468,11 @@
2468
2468
         else
2469
2469
         {
2470
2470
             //((ObjEditor)editWindow).SetupUI2(null);
2471
+            if (objectUI != null)
2472
+                ((ObjEditor)objectUI).pinButton.setSelected(pinned);
2473
+            else
2474
+                //new Exception().printStackTrace();
2475
+                System.err.println("objectUI is null");
2471
2476
         }
2472
2477
     }
2473
2478