gui: Adjust position of num_played value.
authorAndre Noll <maan@tuebingen.mpg.de>
Sat, 6 Jun 2020 16:50:48 +0000 (18:50 +0200)
committerAndre Noll <maan@tuebingen.mpg.de>
Wed, 17 Jun 2020 16:40:16 +0000 (18:40 +0200)
commit3feb0d5f2fd649a34ecac112305d244de49064bf
treea236e0e85218057bec9687c0d9e5658e3152cc0f
parent1eeb434d731702fd5c0c85c62bf6d18dd3463d8a
gui: Adjust position of num_played value.

If the terminal window is only 80 characters wide, the num_played
value may be adjacent to the bitrate value, with no space between.
This happens only if the num_played value is bigger than 99, and only
with the "colorful blackness" theme.

This simple patch should fix the issue.
gui_theme.c