so, would be a once-only switch to the *Documents* sidebar, or a contextual popup showing the same as the *Documents* popup be better?
I'm not saying the feature here isn't useful, I'm wondering what it actually tries to solve, and whether the feature here is an appropriate solution.
--- 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/1144#issuecomment-234686442