beremiz

d3751d43c390
Parents 3da336a9664c
Children edd8639f16b7
Fix rounding of thousandths of microseconds in duration editor
--- a/dialogs/DurationEditorDialog.py Wed Jun 27 17:13:06 2018 +0300
+++ b/dialogs/DurationEditorDialog.py Wed Jun 27 18:13:31 2018 +0300
@@ -147,7 +147,7 @@
duration += format % value
not_null = True
- duration += "%gms" % (milliseconds % SECOND)
+ duration += ("%f" % (milliseconds % SECOND)).rstrip("0").rstrip(".") + "ms"
return duration
def OnOK(self, event):