<p>What is a pull and how and by whom could a pull request be made? Is there a way to manipulate the configuration file or something like that to make it possible to add this feature individually? I think it will be really helpful.</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/issues/1041#issuecomment-221516967">view it on GitHub</a><img alt="" height="1" src="https://github.com/notifications/beacon/ABDrJ2ZkoLcebViJ1UDvjJE-4IkOZm3Lks5qFBI4gaJpZM4IkTuO.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/issues/1041#issuecomment-221516967"></link>
  <meta itemprop="name" content="View Issue"></meta>
</div>
<meta itemprop="description" content="View this Issue on GitHub"></meta>
</div>