From c1d7efd3687896a2fd2a530f7fc928c7a438d4bf Mon Sep 17 00:00:00 2001 From: salexdv Date: Sat, 22 May 2021 22:59:35 +0300 Subject: [PATCH] =?UTF-8?q?=D0=A4=D1=83=D0=BD=D0=BA=D1=86=D0=B8=D0=B8=20?= =?UTF-8?q?=D0=B4=D0=BB=D1=8F=20=D0=B1=D0=BB=D0=BE=D0=BA=D0=B8=D1=80=D0=BE?= =?UTF-8?q?=D0=B2=D0=BA=D0=B8=20=D0=B8=20=D1=80=D0=B0=D0=B7=D0=B1=D0=BB?= =?UTF-8?q?=D0=BE=D0=BA=D0=B8=D1=80=D0=BE=D0=B2=D0=BA=D0=B8=20=D0=BB=D1=8E?= =?UTF-8?q?=D0=B1=D1=8B=D1=85=20=D1=81=D1=82=D0=B0=D0=BD=D0=B4=D0=B0=D1=80?= =?UTF-8?q?=D1=82=D0=BD=D1=8B=D1=85=20=D1=81=D0=BE=D1=87=D0=B5=D1=82=D0=B0?= =?UTF-8?q?=D0=BD=D0=B8=D0=B9=20=D0=BA=D0=BB=D0=B0=D0=B2=D0=B8=D1=88=20#13?= =?UTF-8?q?0?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- src/editor.js | 24 ++++++++++++++++++++++++ 1 file changed, 24 insertions(+) diff --git a/src/editor.js b/src/editor.js index 263fe24..365efc2 100644 --- a/src/editor.js +++ b/src/editor.js @@ -1162,6 +1162,30 @@ define(['bslGlobals', 'bslMetadata', 'snippets', 'bsl_language', 'vs/editor/edit } + disableKeyBinding = function (keybinding) { + + const bind_str = keybinding.toString(); + const key_name = 'kbinding_' + bind_str; + + if (editor[key_name]) + editor[key_name].set(true); + else + editor[key_name] = editor.createContextKey(key_name, true); + + editor.addCommand(keybinding, function() {sendEvent('EVENT_KEY_BINDING_' + bind_str)}, key_name); + + } + + enableKeyBinding = function (keybinding) { + + const key_name = 'kbinding_' + keybinding; + const context_key = editor[key_name]; + + if (context_key) + context_key.set(false); + + } + editor = undefined; // Register languages