From the TM2 release notes:
2012-08-31
- Improved alignment of the gutter images and made them adjust to font size. Dennis Vennink
While I appreciate the new customization options here (have already added the gutter styling options to my own, personal theme), the new sizing results in tiny icons for me (using 12pt Inconsolata font). Does anyone else see this too, or is this just me? And, if so, is there any possibility of adding an icon size factor to the cornucopia of gutter styling options?
Thanks,
-- Phil
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 larger sizes.
Take care, Dennis
On Sep 5, 2012, at 1:42 PM, Phil Schumm pschumm@uchicago.edu wrote:
From the TM2 release notes:
2012-08-31
- Improved alignment of the gutter images and made them adjust to font size. Dennis Vennink
While I appreciate the new customization options here (have already added the gutter styling options to my own, personal theme), the new sizing results in tiny icons for me (using 12pt Inconsolata font). Does anyone else see this too, or is this just me? And, if so, is there any possibility of adding an icon size factor to the cornucopia of gutter styling options?
Thanks,
-- Phil
textmate mailing list textmate@lists.macromates.com http://lists.macromates.com/listinfo/textmate
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 larger sizes.
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.
-- Phil
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. t
On 5 Sep 2012, at 4:14 PM, Phil Schumm pschumm@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 larger sizes.
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.
-
Dennis Vennink -
Phil Schumm -
Timothy Bates