Version slider

Normand Briere

2019-07-18 d7a17c35c443e2cb6c09eaa3cfeaf590a571faa1

 GroupEditor.java
..
..
@@ -60,6 +60,12 @@
60
60
 		this.copy = this.group = group;
61
61
 		//selectees = this.group.selectees;
62
62
 		
63
+        if (copy.versions == null)
64
+        {
65
+            copy.versions = new byte[100][];
66
+            copy.versionindex = -1;
67
+        }
68
+        
63
69
 		if(ui)
64
70
                     SetupUI(objEditor);
65
71
 	}
..
..
@@ -74,6 +80,12 @@
74
80
 		this.copy = this.group = copy;
75
81
 		//selectees = this.group.selectees;
76
82
 		
83
+        if (copy.versions == null)
84
+        {
85
+            copy.versions = new byte[100][];
86
+            copy.versionindex = -1;
87
+        }
88
+        
77
89
 		SetupMenu2(this); //objEditor);
78
90
 		SetupUI2(objEditor);
79
91
 		objEditor.SetupUI(true);
..
..
@@ -834,8 +846,8 @@
834
846
 
835
847
                 oe.treePanel.add(copyOptionsPanel);
836
848
                 oe.treePanel.Return();
837
-        cGridBag sliderPane = AddSlider(oe.treePanel, "Version", 0, 10, 0);
838
-            versionField = (cNumberSlider)sliderPane.getComponent(1);
849
+        cGridBag sliderPane = AddSlider(oe.treePanel, "Version", 0, 0, 0);
850
+            versionSlider = (cNumberSlider)sliderPane.getComponent(1);
839
851
             sliderPane.preferredHeight = 1;
840
852
                 
841
853
 //        mainPanel.setDividerLocation(0.5); //1.0);
..
..
@@ -3541,6 +3553,8 @@
3541
3553
                     radio.layout.doClick();
3542
3554
                     
3543
3555
                     ClearUnpinned();
3556
+                    Grafreed.Assert(group != null);
3557
+                    Grafreed.Assert(group.selection != null);
3544
3558
                     SetPinStates(group.selection.size() > 0);
3545
3559
                     if (group.selection.size() == 1)
3546
3560
                         EditSelection(false);