This commit is contained in:
Jonta 2021-10-07 04:57:29 +02:00 committed by GitHub
parent 21494e5d78
commit 4a34ae9c2d
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -347,7 +347,7 @@ void Window::clear_display_buffer()
void Window::on_option_changed(const Option& option) void Window::on_option_changed(const Option& option)
{ {
run_hook_in_own_context(Hook::WinSetOption, format("{}={}", option.name(), option.get_desc_string())); run_hook_in_own_context(Hook::WinSetOption, format("{}={}", option.name(), option.get_desc_string()));
// an highlighter might depend on the option, so we need to redraw // a highlighter might depend on the option, so we need to redraw
force_redraw(); force_redraw();
} }