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. Any commit that edits the manual should be checked (as with existing prefs dialog help button).
--- You are receiving this because you are subscribed to this thread. Reply to this email directly or view it on GitHub: https://github.com/geany/geany/pull/1169#issuecomment-238738647
