<p><a href="https://github.com/codebrainz" class="user-mention">@codebrainz</a> any objection to merging this?  Ideally yeah all the key names should be improved, but well.  Also, allowing themes to configure that would be nice too, but that also requires a little work.<br>
IMO this is good enough for the moment, and can be enhanced together with the existing stuff if someone cares enough.</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/917#issuecomment-241213978">view it on GitHub</a>, or <a href="https://github.com/notifications/unsubscribe-auth/ABDrJxINd3Nlhq2bFQ-KtJHAPCiWlm7Yks5qhz6QgaJpZM4HjGeM">mute the thread</a>.<img alt="" height="1" src="https://github.com/notifications/beacon/ABDrJ2XuMckjxbj5kJ8hy_5OrbV6EIfWks5qhz6QgaJpZM4HjGeM.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/917#issuecomment-241213978"></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":"@b4n in #917: @codebrainz any objection to merging this?  Ideally yeah all the key names should be improved, but well.  Also, allowing themes to configure that would be nice too, but that also requires a little work.\r\nIMO this is good enough for the moment, and can be enhanced together with the existing stuff if someone cares enough."}],"action":{"name":"View Pull Request","url":"https://github.com/geany/geany/pull/917#issuecomment-241213978"}}}</script>