diff options
| author | Maxime Coste <frrrwww@gmail.com> | 2016-03-05 13:53:21 +0000 |
|---|---|---|
| committer | Maxime Coste <frrrwww@gmail.com> | 2016-03-06 15:12:36 +0000 |
| commit | 72b6340b35af1b85f9bfc25e6092101654eba84b (patch) | |
| tree | cbe77ff7f682f118e8049bfd0c1cb7eeca8a79e0 /src/client.hh | |
| parent | 786037cffc93c59d9be1206513ff26dae746c172 (diff) | |
Only call UserInterface::refresh when the UI has been modified
Diffstat (limited to 'src/client.hh')
| -rw-r--r-- | src/client.hh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/client.hh b/src/client.hh index f36c8756..b5d13b7d 100644 --- a/src/client.hh +++ b/src/client.hh @@ -74,6 +74,7 @@ private: DisplayLine generate_mode_line() const; + bool m_ui_dirty = false; std::unique_ptr<UserInterface> m_ui; std::unique_ptr<Window> m_window; |