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 -- 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/1463
