[Github-comments] [geany/geany-plugins] pretty-printer: added saving and loading of preferences in/from a file. Fixes #494. (#581)

LarsGit223 notifications at xxxxx
Sun Jun 11 14:15:12 UTC 2017


This pull-request implements saving and loading of the pretty-printer plugin preferences. In the current version pretty-printer simply does not save the preferences to a file so all changes to the preferences get lost after closing geany.

The code for saving and loading the preferences is adopted from the overview plugin. The config file is named ```geany/plugins/pretty-printer/prefs.conf```.
You can view, comment on, or merge this pull request online at:

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

-- Commit Summary --

  * pretty-printer: added saving and loading of preferences in/from a file. Fixes #494.

-- File Changes --

    M pretty-printer/src/ConfigUI.c (206)
    M pretty-printer/src/ConfigUI.h (4)
    M pretty-printer/src/PluginEntry.c (76)
    M pretty-printer/src/PrettyPrinter.c (2)

-- Patch Links --

https://github.com/geany/geany-plugins/pull/581.patch
https://github.com/geany/geany-plugins/pull/581.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/581
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.geany.org/pipermail/github-comments/attachments/20170611/9a3bfc93/attachment.html>


More information about the Github-comments mailing list