diff --git a/src/client.cc b/src/client.cc index df145178..2e371e0f 100644 --- a/src/client.cc +++ b/src/client.cc @@ -166,6 +166,12 @@ void Client::redraw_ifn() ui.refresh(); } +void Client::force_redraw() +{ + if (m_window) + m_window->force_redraw(); +} + void Client::reload_buffer() { auto& buffer = context().buffer(); diff --git a/src/client.hh b/src/client.hh index 8a8c309f..70c8f706 100644 --- a/src/client.hh +++ b/src/client.hh @@ -35,10 +35,10 @@ public: void print_status(DisplayLine status_line); + void force_redraw(); void redraw_ifn(); UserInterface& ui() const { return *m_ui; } - Window& window() const { return *m_window; } void check_if_buffer_needs_reloading(); diff --git a/src/commands.cc b/src/commands.cc index 0d7c1017..d1cb9b46 100644 --- a/src/commands.cc +++ b/src/commands.cc @@ -1536,7 +1536,7 @@ const CommandDesc face_cmd = { FaceRegistry::instance().register_alias(parser[0], parser[1], true); for (auto& client : ClientManager::instance()) - client->window().force_redraw(); + client->force_redraw(); } };