Use document_show_message() when a file is externally modified
commit667c35a004aeabfb254da3d91186b8f523869cf0
authorMatthew Brush <matt@geany.org>
Sun, 6 Nov 2011 23:59:32 +0000 (6 15:59 -0800)
committerThomas Martitz <kugel@rockbox.org>
Sat, 24 May 2014 12:47:57 +0000 (24 14:47 +0200)
tree92ef7b4fd39bd471e4ead205ada563a357102a59
parenta6bbea53c8a7f9e1d278c00eebbc6aa483fee416
Use document_show_message() when a file is externally modified

Two other related changes are that document_set_text_changed() is used to
indicate that the buffer is different from what's on disk and also that
the 'Close' button has been removed from the dialog since the user can easily
just close the document themselves the normal way.
src/document.c