# HG changeset patch
# User Andrey Skvortsov <andrej.skvortzov@gmail.com>
# Date 1530112411 -10800
# Node ID d3751d43c39008f5e5c4a3aedc431176dd88791c
# Parent  3da336a9664cd7b207c91d3d35c4591a24584f99
Fix rounding of thousandths of microseconds in duration editor

diff -r 3da336a9664c -r d3751d43c390 dialogs/DurationEditorDialog.py
--- 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):