| changeset 2235 | d3751d43c390 |
| parent 2234 | 3da336a9664c |
| child 2301 | 5b8a7dd43f9f |
| 2234:3da336a9664c | 2235:d3751d43c390 |
|---|---|
145 |
145 |
146 if value > 0 or not_null: |
146 if value > 0 or not_null: |
147 duration += format % value |
147 duration += format % value |
148 not_null = True |
148 not_null = True |
149 |
149 |
150 duration += "%gms" % (milliseconds % SECOND) |
150 duration += ("%f" % (milliseconds % SECOND)).rstrip("0").rstrip(".") + "ms" |
151 return duration |
151 return duration |
152 |
152 |
153 def OnOK(self, event): |
153 def OnOK(self, event): |
154 self.OnCloseDialog() |
154 self.OnCloseDialog() |
155 |
155 |