<blockquote>
<p>The more of these buttons we add, the more careful we have to be when editing the manual, since AFAIK the named anchors are based off of section titles.</p>
</blockquote>

<p>Yes, good point, maybe we should be adding permanent anchors to the manual as we add the buttons.</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/1169#issuecomment-238739502">view it on GitHub</a>, or <a href="https://github.com/notifications/unsubscribe-auth/ABDrJ9rOL50uLAiwYix_pCOCmlpfYJopks5qeSXAgaJpZM4Jfl48">mute the thread</a>.<img alt="" height="1" src="https://github.com/notifications/beacon/ABDrJ8cGgEevixMvHd-hR0k_8eAS-sFSks5qeSXAgaJpZM4Jfl48.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/1169#issuecomment-238739502"></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":"@elextr in #1169: \u003e The more of these buttons we add, the more careful we have to be when editing the manual, since AFAIK the named anchors are based off of section titles.\r\n\r\nYes, good point, maybe we should be adding permanent anchors to the manual as we add the buttons."}],"action":{"name":"View Pull Request","url":"https://github.com/geany/geany/pull/1169#issuecomment-238739502"}}}</script>