> Don't forget to document it in the manual. I wouldn't block this PR on docs, I don't think the other items in this menu are documented anyway, and all are fairly obvious what they do. Of course 100% documentation coverage would be great though 😄
-- 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/2550#issuecomment-660404234