[Github-comments] [geany/geany-plugins] workbench: Changing options are not saved (#841)

Sun Apr 14 17:17:56 UTC 2019

Well, then everything works as-designed and it is not a bug. But you could change the label to "enhancement" if you like.

-- 
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-plugins/issues/841#issuecomment-483021022
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.geany.org/pipermail/github-comments/attachments/20190414/447eb949/attachment.html>