diff options
| author | Jonta <359397+Jonta@users.noreply.github.com> | 2021-10-07 04:57:29 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-10-07 04:57:29 +0200 |
| commit | 4a34ae9c2d894d026ffbae59900837ee96fab296 (patch) | |
| tree | f459a210daf5c9a503327eabf87669b47ceb6bb6 /src | |
| parent | 21494e5d7890935f9c45c326dd278671b7c02042 (diff) | |
Grammar
Diffstat (limited to 'src')
| -rw-r--r-- | src/window.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/window.cc b/src/window.cc index ab885ca9..2fda7770 100644 --- a/src/window.cc +++ b/src/window.cc @@ -347,7 +347,7 @@ void Window::clear_display_buffer() void Window::on_option_changed(const Option& option) { 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(); } |