controls/DebugVariablePanel.py
changeset 1191 5237f87e035f
parent 1190 410b519abd66
child 1192 d8783c0c7d80
--- a/controls/DebugVariablePanel.py	Wed May 29 11:14:45 2013 +0200
+++ b/controls/DebugVariablePanel.py	Wed May 29 11:46:33 2013 +0200
@@ -392,10 +392,11 @@
     DAY = 24 * HOUR
     
     ZOOM_VALUES = map(lambda x:("x %.1f" % x, x), [math.sqrt(2) ** i for i in xrange(8)])
-    RANGE_VALUES = map(lambda x: (str(x), x), [25 * 2 ** i for i in xrange(6)])
-    TIME_RANGE_VALUES = [("%ds" % i, i * SECOND) for i in (1, 2, 5, 10, 20, 30)] + \
-                        [("%dm" % i, i * MINUTE) for i in (1, 2, 5, 10, 20, 30)] + \
-                        [("%dh" % i, i * HOUR) for i in (1, 2, 3, 6, 12, 24)]
+    RANGE_VALUES = \
+        [("%dms" % i, i * MILLISECOND) for i in (10, 20, 50, 100, 200, 500)] + \
+        [("%ds" % i, i * SECOND) for i in (1, 2, 5, 10, 20, 30)] + \
+        [("%dm" % i, i * MINUTE) for i in (1, 2, 5, 10, 20, 30)] + \
+        [("%dh" % i, i * HOUR) for i in (1, 2, 3, 6, 12, 24)]
     
     GRAPH_PARALLEL, GRAPH_ORTHOGONAL = range(2)
     
@@ -1442,7 +1443,6 @@
             main_sizer = wx.BoxSizer(wx.VERTICAL)
             
             self.Ticks = numpy.array([])
-            self.RangeValues = None
             self.StartTick = 0
             self.Fixed = False
             self.CursorTick = None
@@ -1465,6 +1465,12 @@
             graphics_button_sizer.AddWindow(self.CanvasRange, 1, 
                   border=5, flag=wx.LEFT|wx.ALIGN_CENTER_VERTICAL)
             
+            self.CanvasRange.Clear()
+            for text, value in RANGE_VALUES:
+                self.CanvasRange.Append(text)
+            self.CanvasRange.SetStringSelection(RANGE_VALUES[6][0])
+            self.CurrentRange = RANGE_VALUES[6][1] / self.Ticktime
+            
             for name, bitmap, help in [
                 ("CurrentButton", "current", _("Go to current value")),
                 ("ExportGraphButton", "export_graph", _("Export graph values to clipboard"))]:
@@ -1515,8 +1521,6 @@
             self.GraphicsSizer = wx.BoxSizer(wx.VERTICAL)
             self.GraphicsWindow.SetSizer(self.GraphicsSizer)
             
-            self.RefreshCanvasRange()
-            
         else:
             main_sizer = wx.FlexGridSizer(cols=1, hgap=0, rows=2, vgap=0)
             main_sizer.AddGrowableCol(0)
@@ -1590,9 +1594,8 @@
         if USE_MPL:
             if self.DataProducer is not None:
                 self.Ticktime = self.DataProducer.GetTicktime()
-                self.RefreshCanvasRange()
-            else:
-                self.Ticktime = 0
+            else:
+                self.Ticktime = MILLISECOND
     
     def RefreshNewData(self, *args, **kwargs):
         if self.HasNewData or self.Force:
@@ -1843,7 +1846,6 @@
         if USE_MPL:
             if self.DataProducer is not None:
                 self.Ticktime = self.DataProducer.GetTicktime()
-                self.RefreshCanvasRange()
             
             for panel in self.GraphicPanels:
                 panel.UnregisterObsoleteData()
@@ -1889,24 +1891,6 @@
             self.VariablesGrid.RefreshButtons()
             self.Thaw()
     
-    def RefreshCanvasRange(self):
-        if self.Ticktime == 0 and self.RangeValues != RANGE_VALUES:
-            self.RangeValues = RANGE_VALUES
-            self.CanvasRange.Clear()
-            for text, value in RANGE_VALUES:
-                self.CanvasRange.Append(text)
-            self.CanvasRange.SetStringSelection(RANGE_VALUES[0][0])
-            self.CurrentRange = RANGE_VALUES[0][1]
-            self.RefreshView(True)
-        elif self.Ticktime != 0 and self.RangeValues != TIME_RANGE_VALUES:
-            self.RangeValues = TIME_RANGE_VALUES
-            self.CanvasRange.Clear()
-            for text, value in TIME_RANGE_VALUES:
-                self.CanvasRange.Append(text)
-            self.CanvasRange.SetStringSelection(TIME_RANGE_VALUES[0][0])
-            self.CurrentRange = TIME_RANGE_VALUES[0][1] / self.Ticktime
-            self.RefreshView(True)
-    
     def RefreshCanvasPosition(self):
         if len(self.Ticks) > 0:
             pos = int(self.StartTick - self.Ticks[0])
@@ -1967,13 +1951,10 @@
     def ChangeRange(self, dir, tick=None):
         current_range = self.CurrentRange
         current_range_idx = self.CanvasRange.GetSelection()
-        new_range_idx = max(0, min(current_range_idx + dir, len(self.RangeValues) - 1))
+        new_range_idx = max(0, min(current_range_idx + dir, len(RANGE_VALUES) - 1))
         if new_range_idx != current_range_idx:
             self.CanvasRange.SetSelection(new_range_idx)
-            if self.Ticktime == 0:
-                self.CurrentRange = self.RangeValues[new_range_idx][1]
-            else:
-                self.CurrentRange = self.RangeValues[new_range_idx][1] / self.Ticktime
+            self.CurrentRange = RANGE_VALUES[new_range_idx][1] / self.Ticktime
             if len(self.Ticks) > 0:
                 if tick is None:
                     tick = self.StartTick + self.CurrentRange / 2.
@@ -1994,10 +1975,7 @@
     
     def OnRangeChanged(self, event):
         try:
-            if self.Ticktime == 0:
-                self.CurrentRange = self.RangeValues[self.CanvasRange.GetSelection()][1]
-            else:
-                self.CurrentRange = self.RangeValues[self.CanvasRange.GetSelection()][1] / self.Ticktime
+            self.CurrentRange = RANGE_VALUES[self.CanvasRange.GetSelection()][1] / self.Ticktime
         except ValueError, e:
             self.CanvasRange.SetValue(str(self.CurrentRange))
         wx.CallAfter(self.RefreshRange)