Fix handling of user-provided keymap

Fixes #2926
This commit is contained in:
Nick O'Leary
2021-04-10 21:34:26 +01:00
parent 749533b0b4
commit 6087002562

View File

@@ -119,7 +119,7 @@ RED.keyboard = (function() {
} else { } else {
mergedKeymap[action] = [{ mergedKeymap[action] = [{
scope: themeKeymap[action].scope || "*", scope: themeKeymap[action].scope || "*",
key: [themeKeymap[action].key], key: themeKeymap[action].key,
user: false user: false
}] }]
if (mergedKeymap[action][0].scope === "workspace") { if (mergedKeymap[action][0].scope === "workspace") {