Re: [Github-comments] [geany/geany] [Feature request] Documents sidebar, right-click rename (#1138)

[Matthew Brush]

See also: https://github.com/geany/geany/pull/138

---
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/issues/1138#issuecomment-232822012