Fix perfo Venice (shadow).

Normand Briere

2019-06-27 1807e7752960ac229cddd34b100e92cadbac9459

Fix perfo Venice (shadow).

 ObjEditor.java
..
..
@@ -463,10 +463,11 @@
463
463
         mainPanel.setResizeWeight(0.5);
464
464
         
465
465
 //mainPanel.setDividerSize((int) (mainPanel.getDividerSize() * 1.5));
466
-//    BasicSplitPaneDivider divider = ( (BasicSplitPaneUI) mainPanel.getUI()).getDivider();
467
-//    divider.setDividerSize(15);
468
-//    divider.setBorder(BorderFactory.createTitledBorder(divider.getBorder(), "Custom border title -- gets rid of the one-touch arrows!"));    
466
+    BasicSplitPaneDivider divider = ( (BasicSplitPaneUI) mainPanel.getUI()).getDivider();
467
+    divider.setDividerSize(15);
468
+    divider.setBorder(BorderFactory.createTitledBorder(divider.getBorder(), "Custom border title -- gets rid of the one-touch arrows!"));    
469
469
     
470
+    mainPanel.setUI(new BasicSplitPaneUI());
470
471
     
471
472
         //ctrlPanel.setLayout(new GridLayout(4, 1, 5, 5));
472
473
         //mainPanel.setLayout(new GridBagLayout());
 Object3D.java
..
..
@@ -5798,7 +5798,7 @@
5798
5798
         
5799
5799
         if (!selectmode && //display.DrawMode() != display.SELECTION &&
5800
5800
                 //(touched || (bRep != null && bRep.displaylist <= 0)))
5801
-                (Globals.isLIVE() && Globals.COMPUTESHADOWWHENLIVE || touched || (bRep != null && bRep.displaylist <= 0)))
5801
+                (Globals.isLIVE() && Globals.COMPUTESHADOWWHENLIVE || touched && Globals.COMPUTESHADOWWHENLIVE)) // || (bRep != null && bRep.displaylist <= 0)))
5802
5802
         {
5803
5803
             Globals.lighttouched = true;
5804
5804
         } // all panes...