summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorMaxime Coste <frrrwww@gmail.com>2015-06-25 19:12:13 +0100
committerMaxime Coste <frrrwww@gmail.com>2015-06-25 19:45:41 +0100
commitcf33a062df5ef63a34c8550e69a4fff655b88fc3 (patch)
treef51f45cae8fe0d3e39716a40eb17aca31b0fee55 /src
parentd207d13b68a2785cf3829b4b19ad3f2bc4fbb358 (diff)
Force redraw window after adding/removing highlighters
Diffstat (limited to 'src')
-rw-r--r--src/commands.cc6
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();
}
};