Detect file external modification and ask the user whether to reload or not

* Buffer now store a m_fs_timestamp field.
* Client in Normal mode checks current buffer file every 500 ms, or
  each time it goes back to Normal mode.

1 files changed, 2 insertions, 0 deletions

diff --git a/src/client.hh b/src/client.hh
index 3cbb15d9..de3319d2 100644
--- a/src/client.hh
+++ b/src/client.hh
@@ -86,6 +86,8 @@ public:
 
     UserInterface& ui() const { return *m_ui; }
 
+    void check_buffer_fs_timestamp();
+
     void reset_normal_mode();
 private:
     void change_input_mode(InputMode* new_mode);