[Github-comments] [geany/geany-plugins] workbench: Changing options are not saved (#841)
Frank Lanitz
notifications at xxxxx
Sun Apr 14 15:10:09 UTC 2019
When using the Tools->Workbench->Settings changed options are not saved to configuration file of workbench project
--
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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.geany.org/pipermail/github-comments/attachments/20190414/2949ef10/attachment.html>
More information about the Github-comments
mailing list