17 Oct
2014
17 Oct
'14
3:43 a.m.
The size of bookmarks and arrows for folding blocks in the gutter seems larger to me in TM2.0-beta1. I prefer a very small size and do not know how to change that. Through gutterSettings in my theme (Mac Classic)? I would welcome any help with this.
Related: I don't see an option to toggle bookmarks and/or block-folding arrows in the menus. Is it possible via .tm_properties? --Gildas Hamel