Generalize the info bar system so that Gummi can use info bars more consistently in the future. Right now, this feature co-opts the recovery mode info bar.
Use the built-in gtk_source_file_is_externally_modified, like gedit does here and here, instead of the custom last_external_modtime system.
What it does
This feature implements a gedit-style offer to load external changes, addressing issue alexandervdm#167. In the process, it also addresses issue alexandervdm#168. See https://github.com/alexandervdm/gummi/issues/167#issuecomment-1079944636.
How it works
When a tab gains focus (
on_focus_in_view), the interface checks whether the associated file has been changed externally (editor_externally_modified). If so, the tab shows an info bar offering to reload the file (gui_external_changes_enable).To do
Short term
utils_save_confirmation_dialogandgui_external_changes_enable.on_focus_in_view.Long term
gtk_source_file_is_externally_modified, like gedit does here and here, instead of the customlast_external_modtimesystem.