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