<p>This makes those margin better adapt larger font sizes and zooms.</p>
<p><span aria-label="This pull request closes issue #1733." class="issue-keyword tooltipped tooltipped-se">Fixes</span> <a href="https://github.com/geany/geany/issues/1733" class="issue-link js-issue-link" data-error-text="Failed to load issue title" data-id="285769638" data-permission-text="Issue title is private" data-url="https://github.com/geany/geany/issues/1733">#1733</a>.</p>

<hr>

<h4>You can view, comment on, or merge this pull request online at:</h4>
<p>  <a href='https://github.com/geany/geany/pull/1738'>https://github.com/geany/geany/pull/1738</a></p>

<h4>Commit Summary</h4>
<ul>
  <li>Size symbols and fold margins proportional to line height</li>
</ul>

<h4>File Changes</h4>
<ul>
  <li>
    <strong>M</strong>
    <a href="https://github.com/geany/geany/pull/1738/files#diff-0">src/editor.c</a>
    (2)
  </li>
  <li>
    <strong>M</strong>
    <a href="https://github.com/geany/geany/pull/1738/files#diff-1">src/sciwrappers.c</a>
    (25)
  </li>
</ul>

<h4>Patch Links:</h4>
<ul>
  <li><a href='https://github.com/geany/geany/pull/1738.patch'>https://github.com/geany/geany/pull/1738.patch</a></li>
  <li><a href='https://github.com/geany/geany/pull/1738.diff'>https://github.com/geany/geany/pull/1738.diff</a></li>
</ul>

<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">view it on GitHub</a>, or <a href="https://github.com/notifications/unsubscribe-auth/ABDrJ67kYuj0TL98kW8gsRYEioeBTmqAks5tJu8QgaJpZM4Rb1N4">mute the thread</a>.<img alt="" height="1" src="https://github.com/notifications/beacon/ABDrJ_f6NbafW6jWpoFUv3ykLpUccuk_ks5tJu8QgaJpZM4Rb1N4.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"></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":"DESCRIPTION","message":"Size symbols and fold margins proportional to line height (#1738)"}],"action":{"name":"View Pull Request","url":"https://github.com/geany/geany/pull/1738"}}}</script>