diff options
| author | Maxime Coste <frrrwww@gmail.com> | 2015-02-12 14:55:02 +0000 |
|---|---|---|
| committer | Maxime Coste <frrrwww@gmail.com> | 2015-02-12 19:18:03 +0000 |
| commit | 224f73d72a2d844fa16dbcf61108c5c3f9abf610 (patch) | |
| tree | e8a2c456b7def9b7ac3a1f3a6d4e1480c6db3549 /src/client.hh | |
| parent | 6658d157418e7d5b3e71a3ae0d13497be93b7fb1 (diff) | |
Cleanup and refactor externally modified buffer reloading
* Correctly hide the reload dialog in every client.
* Correctly handle buffer being deleted.
Diffstat (limited to 'src/client.hh')
| -rw-r--r-- | src/client.hh | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/src/client.hh b/src/client.hh index 85040ad4..0f7eeb40 100644 --- a/src/client.hh +++ b/src/client.hh @@ -40,7 +40,7 @@ public: UserInterface& ui() const { return *m_ui; } Window& window() const { return *m_window; } - void check_buffer_fs_timestamp(); + void check_if_buffer_needs_reloading(); Context& context() { return m_input_handler.context(); } const Context& context() const { return m_input_handler.context(); } @@ -55,6 +55,10 @@ public: private: void on_option_changed(const Option& option) override; + void on_buffer_reload_key(Key key); + void close_buffer_reload_dialog(); + void reload_buffer(); + Optional<Key> get_next_key(EventMode mode); DisplayLine generate_mode_line() const; @@ -71,6 +75,8 @@ private: DisplayLine m_mode_line; Vector<Key, MemoryDomain::Client> m_pending_keys; + + bool m_buffer_reload_dialog_opened = false; }; } |
