From 39445f9acb93b62a57ef1c1f31cd1c290a12a4b3 Mon Sep 17 00:00:00 2001
From: Maxime Coste <mawww@kakoune.org>
Date: Sun, 21 Jul 2019 12:29:39 +1000
Subject: [PATCH] save command history in execute-keys by default

This should make #3014 unnecessary
---
 src/commands.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/commands.cc b/src/commands.cc
index 0a4ec97d..09316b2d 100644
--- a/src/commands.cc
+++ b/src/commands.cc
@@ -1888,7 +1888,7 @@ const CommandDesc exec_string_cmd = {
     CommandCompleter{},
     [](const ParametersParser& parser, Context& context, const ShellContext&)
     {
-        context_wrap(parser, context, "/\"|^@", [](const ParametersParser& parser, Context& context) {
+        context_wrap(parser, context, "/\"|^@:", [](const ParametersParser& parser, Context& context) {
             ScopedSetBool disable_keymaps(context.keymaps_disabled(), not parser.get_switch("with-maps"));
             ScopedSetBool disable_hoooks(context.hooks_disabled(), not parser.get_switch("with-hooks"));