Fix perfo Venice (shadow).

Normand Briere

2019-06-27 1807e7752960ac229cddd34b100e92cadbac9459

 ObjEditor.java
..
..
@@ -15,6 +15,9 @@
15
15
 //import javax.swing.plaf.ColorUIResource;
16
16
 //import javax.swing.plaf.metal.DefaultMetalTheme;
17
17
 
18
+import javax.swing.plaf.basic.BasicSplitPaneDivider;
19
+import javax.swing.plaf.basic.BasicSplitPaneUI;
20
+
18
21
 //import javax.media.opengl.GLCanvas;
19
22
 
20
23
 import //weka.core.
..
..
@@ -458,7 +461,14 @@
458
461
         mainPanel.setDividerSize(9);
459
462
         mainPanel.setDividerLocation(0.5); //1.0);
460
463
         mainPanel.setResizeWeight(0.5);
461
-
464
+        
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!"));    
469
+    
470
+    mainPanel.setUI(new BasicSplitPaneUI());
471
+    
462
472
         //ctrlPanel.setLayout(new GridLayout(4, 1, 5, 5));
463
473
         //mainPanel.setLayout(new GridBagLayout());
464
474
         toolbarPanel.setLayout(new FlowLayout(FlowLayout.LEFT));
..
..
@@ -1125,7 +1135,7 @@
1125
1135
         hideCB = AddCheckBox(setupPanel, "Hide", copy.hide);
1126
1136
                 hideCB.setToolTipText("Hide object");
1127
1137
         markCB = AddCheckBox(setupPanel, "Mark", copy.marked);
1128
-        markCB.setToolTipText("Set the animation target transform");
1138
+        markCB.setToolTipText("As animation target transform");
1129
1139
         
1130
1140
             setupPanel2 = new cGridBag().setVertical(false);
1131
1141
             
..
..
@@ -1133,7 +1143,7 @@
1133
1143
         rewindCB.setToolTipText("Rewind animation");
1134
1144
         
1135
1145
         randomCB = AddCheckBox(setupPanel2, "Rand", copy.random);
1136
-        randomCB.setToolTipText("Randomly Rewind or Go back and forth");
1146
+        randomCB.setToolTipText("Randomly Rewind (or Go back and forth)");
1137
1147
 
1138
1148
         if (Globals.ADVANCED)
1139
1149
         {
..
..
@@ -3017,12 +3027,17 @@
3017
3027
 //                }
3018
3028
 
3019
3029
         /**/
3020
-        if (deselect)
3030
+        if (deselect || child == null)
3021
3031
         {
3022
3032
             //group.deselectAll();
3023
3033
             //freeze = true;
3024
3034
             GetTree().clearSelection();
3025
3035
             //freeze = false;
3036
+            
3037
+            if (child == null)
3038
+            {
3039
+                return;
3040
+            }
3026
3041
         }
3027
3042
 
3028
3043
         //group.addSelectee(child);