Purpose: * do not show info bar asking about reloading if file hasn't changed.
I have copied the logic from `document_reload_prompt`, however I am not sure about the following: * would the same logic apply? (I did a copy/paste) * is it safe to ignore the result of `document_reload_force`? You can view, comment on, or merge this pull request online at:
https://github.com/geany/geany/pull/1463
-- Commit Summary --
* Do not show reload info bar if file hasn't changed
-- File Changes --
M src/document.c (32)
-- Patch Links --
https://github.com/geany/geany/pull/1463.patch https://github.com/geany/geany/pull/1463.diff