Normand Briere
2019-06-27 f78dd18c66d607b693c0bf5937fc59181bf5a26b
ObjEditor.java
....@@ -15,6 +15,9 @@
1515 //import javax.swing.plaf.ColorUIResource;
1616 //import javax.swing.plaf.metal.DefaultMetalTheme;
1717
18
+import javax.swing.plaf.basic.BasicSplitPaneDivider;
19
+import javax.swing.plaf.basic.BasicSplitPaneUI;
20
+
1821 //import javax.media.opengl.GLCanvas;
1922
2023 import //weka.core.
....@@ -458,7 +461,13 @@
458461 mainPanel.setDividerSize(9);
459462 mainPanel.setDividerLocation(0.5); //1.0);
460463 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
+
462471 //ctrlPanel.setLayout(new GridLayout(4, 1, 5, 5));
463472 //mainPanel.setLayout(new GridBagLayout());
464473 toolbarPanel.setLayout(new FlowLayout(FlowLayout.LEFT));
....@@ -1125,7 +1134,7 @@
11251134 hideCB = AddCheckBox(setupPanel, "Hide", copy.hide);
11261135 hideCB.setToolTipText("Hide object");
11271136 markCB = AddCheckBox(setupPanel, "Mark", copy.marked);
1128
- markCB.setToolTipText("Set the animation target transform");
1137
+ markCB.setToolTipText("As animation target transform");
11291138
11301139 setupPanel2 = new cGridBag().setVertical(false);
11311140
....@@ -1133,7 +1142,7 @@
11331142 rewindCB.setToolTipText("Rewind animation");
11341143
11351144 randomCB = AddCheckBox(setupPanel2, "Rand", copy.random);
1136
- randomCB.setToolTipText("Randomly Rewind or Go back and forth");
1145
+ randomCB.setToolTipText("Randomly Rewind (or Go back and forth)");
11371146
11381147 if (Globals.ADVANCED)
11391148 {
....@@ -3017,12 +3026,17 @@
30173026 // }
30183027
30193028 /**/
3020
- if (deselect)
3029
+ if (deselect || child == null)
30213030 {
30223031 //group.deselectAll();
30233032 //freeze = true;
30243033 GetTree().clearSelection();
30253034 //freeze = false;
3035
+
3036
+ if (child == null)
3037
+ {
3038
+ return;
3039
+ }
30263040 }
30273041
30283042 //group.addSelectee(child);