<blockquote>
<p>Certainly if the change is simple and the overhead is small then its a more attractive change.</p>
</blockquote>
<p>No, unfortunately, that change would be more complex, although its runtime overhead would be smaller.</p>
<p>Given the lack of interest in this issue, it does seem that brittle or complex solutions are not worth it. And I don’t have a robust and simple solution. So I’m withdrawing this PR for now.</p>
<p>I will still be running with this change, so in case anybody’s interested, you can find it <a href="https://github.com/geany/geany/compare/master...vfaronov:master">on my master</a>.</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/1481#issuecomment-299797554">view it on GitHub</a>, or <a href="https://github.com/notifications/unsubscribe-auth/ABDrJ1y9ibFjSCeELplIyJ6DiqYOoqWnks5r3sltgaJpZM4NHOXQ">mute the thread</a>.<img alt="" height="1" src="https://github.com/notifications/beacon/ABDrJ6TMWijZ-w7xDv__0w5GuZPxH0MPks5r3sltgaJpZM4NHOXQ.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/1481#issuecomment-299797554"></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":"@vfaronov in #1481: \u003e Certainly if the change is simple and the overhead is small then its a more attractive change.\r\n\r\nNo, unfortunately, that change would be more complex, although its runtime overhead would be smaller.\r\n\r\nGiven the lack of interest in this issue, it does seem that brittle or complex solutions are not worth it. And I don’t have a robust and simple solution. So I’m withdrawing this PR for now.\r\n\r\nI will still be running with this change, so in case anybody’s interested, you can find it [on my master](https://github.com/geany/geany/compare/master...vfaronov:master)."}],"action":{"name":"View Pull Request","url":"https://github.com/geany/geany/pull/1481#issuecomment-299797554"}}}</script>