<p>It could, but what's your reasoning?</p>
<p>As said, Scintilla caps the symbol size to min(line height, margin width), so my reasoning is that the closest margin width is to line height, the bigger the symbol, yet leave some margin on top and bottom.</p>

<p style="font-size:small;-webkit-text-size-adjust:none;color:#666;">—<br />You are receiving this because you are subscribed to this thread.<br />Reply to this email directly, <a href="https://github.com/geany/geany/pull/1738#issuecomment-357344169">view it on GitHub</a>, or <a href="https://github.com/notifications/unsubscribe-auth/ABDrJ99YoXD0Bag0RmCW3MK_5smSpkReks5tJ8GvgaJpZM4Rb1N4">mute the thread</a>.<img alt="" height="1" src="https://github.com/notifications/beacon/ABDrJ66bsq_cyL1uj_BcETIZJssL7OP7ks5tJ8GvgaJpZM4Rb1N4.gif" width="1" /></p>
<div itemscope itemtype="http://schema.org/EmailMessage">
<div itemprop="action" itemscope itemtype="http://schema.org/ViewAction">
  <link itemprop="url" href="https://github.com/geany/geany/pull/1738#issuecomment-357344169"></link>
  <meta itemprop="name" content="View Pull Request"></meta>
</div>
<meta itemprop="description" content="View this Pull Request on GitHub"></meta>
</div>

<script type="application/json" data-scope="inboxmarkup">{"api_version":"1.0","publisher":{"api_key":"05dde50f1d1a384dd78767c55493e4bb","name":"GitHub"},"entity":{"external_key":"github/geany/geany","title":"geany/geany","subtitle":"GitHub repository","main_image_url":"https://cloud.githubusercontent.com/assets/143418/17495839/a5054eac-5d88-11e6-95fc-7290892c7bb5.png","avatar_image_url":"https://cloud.githubusercontent.com/assets/143418/15842166/7c72db34-2c0b-11e6-9aed-b52498112777.png","action":{"name":"Open in GitHub","url":"https://github.com/geany/geany"}},"updates":{"snippets":[{"icon":"PERSON","message":"@b4n in #1738: It could, but what's your reasoning?\r\n\r\nAs said, Scintilla caps the symbol size to min(line height, margin width), so my reasoning is that the closest margin width is to line height, the bigger the symbol, yet leave some margin on top and bottom."}],"action":{"name":"View Pull Request","url":"https://github.com/geany/geany/pull/1738#issuecomment-357344169"}}}</script>