[Github-comments] [geany/geany-plugins] Workbench (#598)

Sun Aug 20 09:42:40 UTC 2017

@LarsGit223 pushed 1 commit.

fa35023  Attach workbench menu to the tools menu, not to the main menu bar.

-- 
You are receiving this because you are subscribed to this thread.
View it on GitHub:
https://github.com/geany/geany-plugins/pull/598/files/be25badfa35f1ebcf90f1b9de7d76bc107f1fa95..fa350235bca60f53d98b52be0590b042bee18a27
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.geany.org/pipermail/github-comments/attachments/20170820/baa8509d/attachment.html>