[Github-comments] [geany] document: show informational doc message after first reload (#672)

[Thomas Martitz]

6f5d5db and d6d4728 disabled "maintain history on reload" by default,
with the intention to reenable it when we have a better method to
make it discoverable for the user. This was necessary since it became
enabled by default but could be surprising given Geany warned about
losing data before.

This commit tries to resolve the discoverability, by providing an
informational doc message that is shown once to the user, after the first
reload. The doc message also gives the option to disable this feature.
You can view, comment on, or merge this pull request online at:

  https://github.com/geany/geany/pull/672

-- Commit Summary --

  * document: show informational doc message after first reload

-- File Changes --

    M src/document.c (34)
    M src/document.h (1)
    M src/documentprivate.h (1)
    M src/keyfile.c (2)

-- Patch Links --

https://github.com/geany/geany/pull/672.patch
https://github.com/geany/geany/pull/672.diff

---
Reply to this email directly or view it on GitHub:
https://github.com/geany/geany/pull/672
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.geany.org/pipermail/github-comments/attachments/20151001/cdee9ca0/attachment.html>