[Github-comments] [geany/geany-plugins] workbench: save settings immediately (#868)

LarsGit223 notifications at xxxxx
Mon May 20 17:28:01 UTC 2019


After confirming changed settings with _"OK"_ they will now immediately be written back to the workbench file. Therefore the menu item _"Workbench / Save"_ became useless and has been removed. Closes #841.
You can view, comment on, or merge this pull request online at:

  https://github.com/geany/geany-plugins/pull/868

-- Commit Summary --

  * workbench: save settings immediately

-- File Changes --

    M workbench/README (8)
    M workbench/src/menu.c (35)
    M workbench/src/plugin_main.c (2)

-- Patch Links --

https://github.com/geany/geany-plugins/pull/868.patch
https://github.com/geany/geany-plugins/pull/868.diff

-- 
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/pull/868
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.geany.org/pipermail/github-comments/attachments/20190520/a9b4ccc4/attachment.html>


More information about the Github-comments mailing list