<p><a href="https://github.com/ilius" class="user-mention">@ilius</a> FYI, you can update existing PRs without creating new one. Just push more commits to your feature branch and the PR will be updated.</p>

<p>Also, I think <a href="https://github.com/geany/geany/blob/master/doc/geany.txt#L3626">this part in the manual</a> might be what <a href="https://github.com/elextr" class="user-mention">@elextr</a> referring to.</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 or <a href="https://github.com/geany/geany/pull/986#issuecomment-206039695">view it on GitHub</a><img alt="" height="1" src="https://github.com/notifications/beacon/ABDrJ5Bq13sPX1t0DNld9CJhw-d5iGyjks5p0vYcgaJpZM4IAV09.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/986#issuecomment-206039695"></link>
  <meta itemprop="name" content="View Pull Request"></meta>
</div>
<meta itemprop="description" content="View this Pull Request on GitHub"></meta>
</div>