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, view it on GitHub, or mute the thread.