Restricted resizing of "time" field in Playing Tracks list?

[Erecshyrinol]

Hi,
(oh, first time posting here, cheers everyone!)

Here's a little quirk I ran into that I'm not 100% sure if it's a bug or a feature, but seems the "time" field in the Playing Tracks list doesn't allow nearly as much resizing as the rest of the fields. Whereas the other fields allow resizing down to the point of fully hiding its content, the "time" field only goes as far as this. Is it supposed to be like this?
Needless to say, this wastes quite a bit of horizontal space in the playing queue, especially considering individual songs quite rarely go into five-digit lengths.

I'm running version 3.1.6590 at the moment.

Thanks!

[Erecshyrinol]

Anyone?