Changeset 54 in tmcsimulator-scriptbuilder for trunk/src/scriptbuilder/gui/panels/TimeStampPanel.java

Timestamp:

08/09/2017 04:12:39 PM (9 years ago)

Author:

bmcguffin

Message:

Duplicated main ScriptBuilder? window. The new window will become the Incident Editor window (see Storyboard 2a-B). The main ScriptBuilder? window will become the Incident Combiner window (see storyboard 1a-B).

File:

• trunk/src/scriptbuilder/gui/panels/TimeStampPanel.java (modified) (1 diff)

trunk/src/scriptbuilder/gui/panels/TimeStampPanel.java

@@ -89 +89 @@
 
     /**
+     * Update the length interval and the dimensions of the panel. NOTE: This
+     * method implementation is an exact duplication of the update method in
+     * panels.TimelineTickPanel. I'm not sure if it actually accomplishes
+     * anything here.
+     *
+     * @param script The simulation script model
+     */
+    public void update(ScriptIncident incident)
+    {
+        longestLength = ScriptBuilderGuiConstants.TICK_TIMELINE_SMALLEST_LENGTH;
+
+        // Get the stats on the incidents
+        int height = ScriptBuilderGuiConstants.TICK_TOP_MARGIN * 4;
+        if (incident != null)
+        {
+            height += incident.collapsed
+                    ? ScriptBuilderGuiConstants.TIMELINE_OPENED_HEIGHT
+                    : ScriptBuilderGuiConstants.TIMELINE_OPENED_HEIGHT;
+            if ((incident.length + incident.offset) > longestLength)
+            {
+                longestLength = incident.length + incident.offset;
+            }
+        }
+
+        if (incident != null && incident.number == 100)
+        {
+            incident.length = longestLength;
+            incident.offset = 0;
+        }
+
+        Dimension newSize = new Dimension(longestLength
+                / ScriptBuilderGuiConstants.HORIZONTAL_TICK_RESOLUTION
+                * ScriptBuilderGuiConstants.PIXEL_WIDTH_PER_HORIZONTAL_TICK
+                + ScriptBuilderGuiConstants.TICK_TIMELINE_LEFT_MARGIN + 50,
+                height);
+        this.setPreferredSize(newSize);
+        this.setSize(newSize);
+
+        this.invalidate();
+    }
+
+    /**
      * Refresh the panel. Draw the timestamps for the appropriate intervals
      * based on zoom level.