Looking way too small to my eyes as of Version 2.0 (9300)...
These are a user interface element: They need to be clearly visible, unambiguous (as they
get small, even the direction get ambiguous, they start to be interpretable as looking up
to the left) they need to be a target that is hittable without conscious planning, and
also good if it stays a fixed location.
There seemed a time about a week ago when they were looking nice, perhaps with a subtle
disk behind them? (or am I making that up?)
For my money, I would keep them the height of the gutter line numbers: there’s a ton of
space... use it.
On 5 Sep 2012, at 4:14 PM, Phil Schumm <pschumm(a)uchicago.edu> wrote:
On Sep 5, 2012, at 6:50 AM, Dennis Vennink wrote:
I'm all for it. I think a minimum size option
would be better though. This way the size still fits the height of the line number font at
Thanks for the speedy reply (and for your work on this; my gutter now looks great!).
Yes, of course, a minimum size option would make more sense.