> Yes, good point, maybe we should be adding permanent anchors to the manual as > we add the buttons.
Done in 51f40913155246a3e3d7e62f4bb381829bb678ae --- 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-238741705
