<blockquote>
<p>This really should have been a separate PR, not make a huge PR bigger, </p>
</blockquote>

<p><a href="https://github.com/elextr" class="user-mention">@elextr</a> Good point, dropped the patch, will post it separately once this is merged. </p>

<blockquote>
<p>and I suspect that the huge PR could have been split in the first place.</p>
</blockquote>

<p>The patches are so related that it would be really hard to do. If I knew from the very beginning about all the possible problems and knew exactly what needs to be addressed, it could have been a much smaller patch set. But rewriting the patches now would be a huge amount of work.</p>

<p style="font-size:small;-webkit-text-size-adjust:none;color:#666;">—<br>Reply to this email directly or <a href="https://github.com/geany/geany/pull/862#issuecomment-170500045">view it on GitHub</a>.<img alt="" height="1" src="https://github.com/notifications/beacon/ABDrJ3OERjKfx_LBC78xcuxdMDr_BrOvks5pY3mHgaJpZM4HB6zU.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/862#issuecomment-170500045"></link>
  <meta itemprop="name" content="View Pull Request"></meta>
</div>
<meta itemprop="description" content="View this Pull Request on GitHub"></meta>
</div>