Follow-up Comment #3, bug #62177 (project denemo):
I can see the problem with bigger bar numbers clashing with other stuff, but
I'd rather that than having to strain my eyes to see the bar numbers - I'm
working on quite a small screen, so they are quite tiny... I'm sure the
default size is good for people using bigger screens, but it would be nice to
be able to over-ride that.
_______________________________________________________
Reply to this item at:
<https://savannah.gnu.org/bugs/?62177>
_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/
