Edit panel pin state.

Normand Briere

2019-06-26 89b25e7cc97f6fe221dfd41c4d463500f8a31bc1

 Object3D.java
..
..
@@ -5797,7 +5797,7 @@
5797
5797
         
5798
5798
         if (!selectmode && //display.DrawMode() != display.SELECTION &&
5799
5799
                 //(touched || (bRep != null && bRep.displaylist <= 0)))
5800
-                (Globals.isLIVE() && Globals.COMPUTESHADOWWHENLIVE || touched && (bRep != null && bRep.displaylist <= 0)))
5800
+                (Globals.isLIVE() && Globals.COMPUTESHADOWWHENLIVE || touched || (bRep != null && bRep.displaylist <= 0)))
5801
5801
         {
5802
5802
             Globals.lighttouched = true;
5803
5803
         } // all panes...
..
..
@@ -7994,6 +7994,8 @@
7994
7994
     transient ObjEditor editWindow;
7995
7995
     transient ObjEditor manipWindow;
7996
7996
     
7997
+    transient boolean pinned;
7998
+    
7997
7999
     transient ObjectUI objectUI;
7998
8000
     public static int povDepth = 0;
7999
8001
     private static cVector tbMin = new cVector();