[Github-comments] [geany/geany] Added option to auto reload files changed on disk (#1246)

Matthew Brush notifications at xxxxx
Sat Apr 8 14:42:29 UTC 2017


@gdm85 as far as I know, none of the major distros apply patches to change Geany's preferences. Also, due to the way Geany stores its preferences (writes them all to user-config dir with no concept of "unset" or "defaulted"), once an existing user opens Geany once, they will always have that default preference value until they delete their Geany config directory (or if installing fresh on a new OS), at which point Geany will write out the new default value.

-- 
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/pull/1246#issuecomment-292722335
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.geany.org/pipermail/github-comments/attachments/20170408/3489f775/attachment.html>


More information about the Github-comments mailing list