controls/DebugVariablePanel/DebugVariablePanel.py
changeset 1578 f8e2a04c4445
parent 1571 486f94a8032c
child 1730 64d8f52bc8c8
equal deleted inserted replaced
1577:6a3c29fdcfea 1578:f8e2a04c4445
    48 DAY = 24 * HOUR             # Number of nanosecond in a day
    48 DAY = 24 * HOUR             # Number of nanosecond in a day
    49 
    49 
    50 # List of values possible for graph range
    50 # List of values possible for graph range
    51 # Format is [(time_in_plain_text, value_in_nanosecond),...]
    51 # Format is [(time_in_plain_text, value_in_nanosecond),...]
    52 RANGE_VALUES = \
    52 RANGE_VALUES = \
    53     [("%dms" % i, i * MILLISECOND) for i in (10, 20, 50, 100, 200, 500)] + \
    53     [(_("%dms") % i, i * MILLISECOND) for i in (10, 20, 50, 100, 200, 500)] + \
    54     [("%ds" % i, i * SECOND) for i in (1, 2, 5, 10, 20, 30)] + \
    54     [(_("%ds") % i, i * SECOND) for i in (1, 2, 5, 10, 20, 30)] + \
    55     [("%dm" % i, i * MINUTE) for i in (1, 2, 5, 10, 20, 30)] + \
    55     [(_("%dm") % i, i * MINUTE) for i in (1, 2, 5, 10, 20, 30)] + \
    56     [("%dh" % i, i * HOUR) for i in (1, 2, 3, 6, 12, 24)]
    56     [(_("%dh") % i, i * HOUR) for i in (1, 2, 3, 6, 12, 24)]
    57 
    57 
    58 # Scrollbar increment in pixel
    58 # Scrollbar increment in pixel
    59 SCROLLBAR_UNIT = 10
    59 SCROLLBAR_UNIT = 10
    60 
    60 
    61 def compute_mask(x, y):
    61 def compute_mask(x, y):
   564         if tick is not None:
   564         if tick is not None:
   565             self.TickLabel.SetLabel(label=_("Tick: %d") % tick)
   565             self.TickLabel.SetLabel(label=_("Tick: %d") % tick)
   566             tick_duration = int(tick * self.Ticktime)
   566             tick_duration = int(tick * self.Ticktime)
   567             not_null = False
   567             not_null = False
   568             duration = ""
   568             duration = ""
   569             for value, format in [(tick_duration / DAY, "%dd"),
   569             for value, format in [(tick_duration / DAY, _("%dd")),
   570                                   ((tick_duration % DAY) / HOUR, "%dh"),
   570                                   ((tick_duration % DAY) / HOUR, _("%dh")),
   571                                   ((tick_duration % HOUR) / MINUTE, "%dm"),
   571                                   ((tick_duration % HOUR) / MINUTE, _("%dm")),
   572                                   ((tick_duration % MINUTE) / SECOND, "%ds")]:
   572                                   ((tick_duration % MINUTE) / SECOND, _("%ds"))]:
   573                 
   573                 
   574                 if value > 0 or not_null:
   574                 if value > 0 or not_null:
   575                     duration += format % value
   575                     duration += format % value
   576                     not_null = True
   576                     not_null = True
   577             
   577             
   578             duration += "%gms" % (float(tick_duration % SECOND) / MILLISECOND) 
   578             duration += _("%03gms") % (float(tick_duration % SECOND) / MILLISECOND) 
   579             self.TickTimeLabel.SetLabel("t: %s" % duration)
   579             self.TickTimeLabel.SetLabel("t: %s" % duration)
   580         else:
   580         else:
   581             self.TickLabel.SetLabel("")
   581             self.TickLabel.SetLabel("")
   582             self.TickTimeLabel.SetLabel("")
   582             self.TickTimeLabel.SetLabel("")
   583         self.TickSizer.Layout()
   583         self.TickSizer.Layout()