save command history in execute-keys by default

This should make #3014 unnecessary
This commit is contained in:
Maxime Coste 2019-07-21 12:29:39 +10:00
parent 1a16590960
commit 39445f9acb

View File

@ -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"));