From cf33a062df5ef63a34c8550e69a4fff655b88fc3 Mon Sep 17 00:00:00 2001
From: Maxime Coste <frrrwww@gmail.com>
Date: Thu, 25 Jun 2015 19:12:13 +0100
Subject: [PATCH] Force redraw window after adding/removing highlighters

---
 src/commands.cc | 6 ++++++
 1 file changed, 6 insertions(+)

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();
     }
 };