From d7a17c35c443e2cb6c09eaa3cfeaf590a571faa1 Mon Sep 17 00:00:00 2001 From: Normand Briere <nbriere@noware.ca> Date: Wed, 17 Jul 2019 20:15:40 -0400 Subject: [PATCH] Version slider --- GroupEditor.java | 18 ++++++++++++++++-- 1 files changed, 16 insertions(+), 2 deletions(-) diff --git a/GroupEditor.java b/GroupEditor.java index 7a750fb..a08dc18 100644 --- a/GroupEditor.java +++ b/GroupEditor.java @@ -60,6 +60,12 @@ this.copy = this.group = group; //selectees = this.group.selectees; + if (copy.versions == null) + { + copy.versions = new byte[100][]; + copy.versionindex = -1; + } + if(ui) SetupUI(objEditor); } @@ -74,6 +80,12 @@ this.copy = this.group = copy; //selectees = this.group.selectees; + if (copy.versions == null) + { + copy.versions = new byte[100][]; + copy.versionindex = -1; + } + SetupMenu2(this); //objEditor); SetupUI2(objEditor); objEditor.SetupUI(true); @@ -834,8 +846,8 @@ oe.treePanel.add(copyOptionsPanel); oe.treePanel.Return(); - cGridBag sliderPane = AddSlider(oe.treePanel, "Version", 0, 10, 0); - versionField = (cNumberSlider)sliderPane.getComponent(1); + cGridBag sliderPane = AddSlider(oe.treePanel, "Version", 0, 0, 0); + versionSlider = (cNumberSlider)sliderPane.getComponent(1); sliderPane.preferredHeight = 1; // mainPanel.setDividerLocation(0.5); //1.0); @@ -3541,6 +3553,8 @@ radio.layout.doClick(); ClearUnpinned(); + Grafreed.Assert(group != null); + Grafreed.Assert(group.selection != null); SetPinStates(group.selection.size() > 0); if (group.selection.size() == 1) EditSelection(false); -- Gitblit v1.6.2