[Github-comments] [geany/geany] Do not show reload info bar if file hasn't changed (#1463)

[gdm85]

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.geany.org/pipermail/github-comments/attachments/20170408/3c271d41/attachment.html>