Merge branch 'json-ui'

1 files changed, 11 insertions, 0 deletions

diff --git a/src/normal.cc b/src/normal.cc
index 4d95ff53..33c813f6 100644
--- a/src/normal.cc
+++ b/src/normal.cc
@@ -1560,6 +1560,15 @@ void ensure_forward(Context& context, NormalParams)
     context.selections().check_invariant();
 }
 
+void force_redraw(Context& context, NormalParams)
+{
+    if (context.has_client())
+    {
+        context.client().force_redraw();
+        context.client().redraw_ifn();
+    }
+}
+
 static NormalCmdDesc cmds[] =
 {
     { 'h', "move left", move<CharCount, Backward> },
@@ -1734,6 +1743,8 @@ static NormalCmdDesc cmds[] =
     { 'z', "restore selections", restore_selections<false> },
     { alt('z'), "append saved selections", restore_selections<true> },
     { 'Z', "save selections", save_selections },
+
+    { ctrl('l'), "force redraw", force_redraw },
 };
 
 KeyMap keymap = cmds;