when executing keys, propagate potentially changed editor to calling context

2012-10-10 19:15:43 +02:00 · 2012-10-10 19:15:43 +02:00 · 8de754e2e9
commit 8de754e2e9
parent dae8f65308
1 changed files with 1 additions and 0 deletions
--- a/src/commands.cc
+++ b/src/commands.cc
@ -687,6 +687,7 @@ void exec_keys(const KeyList& keys, Context& context)
    new_context.change_ui(batch_ui);
    while (batch_ui.has_key_left())
        batch_client.handle_next_input(new_context);
+    context.change_editor(new_context.editor());
 }

 void exec_string(const CommandParameters& params, Context& context)