[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug #62177] Would be nice to be able to increase the size of bar number
|
From: |
Dominic Shann |
|
Subject: |
[bug #62177] Would be nice to be able to increase the size of bar numbers in display |
|
Date: |
Sun, 13 Mar 2022 14:59:29 -0400 (EDT) |
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/