<div dir="ltr"><div class="gmail_default" style="font-family:'courier new',monospace"><br></div><div class="gmail_extra"><br><div class="gmail_quote">On Fri, Oct 17, 2014 at 7:07 AM, Allan Odgaard <span dir="ltr"><<a href="mailto:mailinglist@textmate.org" target="_blank">mailinglist@textmate.org</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">On 17 Oct 2014, at 5:43, Gildas Hamel wrote:<br>
<br>
<blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">
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.<br>
</blockquote>
<br>
The size is not configurable.<br>
<br>
Currently the images get a square box based on the line height.<br>
<br>
Previously we used the font’s cap height and muliplied it by a per-image scale factor.<br>
<br>
The latter is no longer feasible because we allow arbitrary (user supplied) images to be shown in the gutter.<br><br></blockquote></div><div class="gmail_extra">Thank you for the explanation. I'm using Meslo LG S DZ and Everson Mono. Menlo is better in this regard. </div><div class="gmail_extra"> </div><div class="gmail_extra">  |>  >Related: I don't see an option to toggle bookmarks and/or</div><div class="gmail_extra">  |>  >block-folding arrows in the menus. Is it possible via .tm_properties?</div><div class="gmail_extra">  |>  </div><div class="gmail_extra">  |>  You mean hide them from the gutter? Neither columns can be hidden.</div><div class="gmail_extra"><br></div><div class="gmail_extra">Okay. The reason I would prefer to hide them from the gutter is that all of my work is structured text in TeX/LaTeX and the tools TM2 offers to navigate text are so flexible and varied now (esp. Command/Shift T) that I find myself never using folding or bookmarks anymore.</div>
</div></div>