Should we drop 0 padding on time labels less than 10 minutes?

[suragch]

This would change the left and right time labels from this:

00:00
03:27

to this:

0:00
3:27

Zero padding for minutes would remain unaffected for hours greater than 0:

1:00:00
1:03:27

This is related to PR #24.

Since this will affect everyone's UI, please leave a comment here regarding your opinion.

[ghost]

Full support on this one. 😉

Just to add on your comment from above.

PR #24 would change the left and right time labels for hours greater than 1 from this:

0:00:00
1:25:16

to this:

0:00
1:25:16

[suragch]

PR #24 would change the left and right time labels for hours greater than 1 from this:

0:00:00
1:25:16

@giga10 Actually, the original version already didn't include 0 hours.

This is how it looks currently:

00:00
1:25:16

[ghost]

This is how it looks currently:

00:00
1:25:16

@suragch Hm. Latest version:

[suragch]

@giga10 My mistake! Thank you for correcting me.

[suragch]

This is updated in release 0.10.0.