diff options
| author | Maxime Coste <frrrwww@gmail.com> | 2016-03-14 20:58:35 +0000 |
|---|---|---|
| committer | Maxime Coste <frrrwww@gmail.com> | 2016-03-14 20:58:55 +0000 |
| commit | dca9bccc6ac7fb1bb676d193bc22376a2e7082e3 (patch) | |
| tree | d8e2e0ac24b36aae9527e7f696dea2a75781e5c3 /src/normal.cc | |
| parent | b53f1271a227719b5b4bf7bff33cb5ce04892214 (diff) | |
Disable key mapping handling when executing a user mapping
Fixes #629
Diffstat (limited to 'src/normal.cc')
| -rw-r--r-- | src/normal.cc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/normal.cc b/src/normal.cc index f0299787..0cfd48ad 100644 --- a/src/normal.cc +++ b/src/normal.cc @@ -1457,6 +1457,7 @@ void exec_user_mappings(Context& context, NormalParams params) return; auto mapping = context.keymaps().get_mapping(key, KeymapMode::User); + ScopedSetBool disable_keymaps(context.keymaps_disabled()); ScopedEdition edition(context); for (auto& key : mapping) context.input_handler().handle_key(key); |