diff options
| author | Maxime Coste <frrrwww@gmail.com> | 2015-06-25 19:12:13 +0100 |
|---|---|---|
| committer | Maxime Coste <frrrwww@gmail.com> | 2015-06-25 19:45:41 +0100 |
| commit | cf33a062df5ef63a34c8550e69a4fff655b88fc3 (patch) | |
| tree | f51f45cae8fe0d3e39716a40eb17aca31b0fee55 /src/commands.cc | |
| parent | d207d13b68a2785cf3829b4b19ad3f2bc4fbb358 (diff) | |
Force redraw window after adding/removing highlighters
Diffstat (limited to 'src/commands.cc')
| -rw-r--r-- | src/commands.cc | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/commands.cc b/src/commands.cc index 9cf58a62..ef818f59 100644 --- a/src/commands.cc +++ b/src/commands.cc @@ -595,6 +595,9 @@ const CommandDesc add_highlighter_cmd = { if (it == registry.end()) throw runtime_error(format("No such highlighter factory '{}'", name)); group.add_child(it->second.factory(highlighter_params)); + + if (context.has_window()) + context.window().force_redraw(); } }; @@ -615,6 +618,9 @@ const CommandDesc rm_highlighter_cmd = { : context.window().highlighters(); group.remove_child({sep_it.base(), path.end()}); + + if (context.has_window()) + context.window().force_redraw(); } }; |
