From 306b21b75edc65f854ef7a709b95f91940a7c35b Mon Sep 17 00:00:00 2001
From: tophf <tophf@gmx.com>
Date: Sun, 24 Dec 2017 11:20:37 +0300
Subject: [PATCH] show Ctrl-Pause hotkey in keymap info using a dummy command

---
 edit/codemirror-default.js | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/edit/codemirror-default.js b/edit/codemirror-default.js
index db871726..212fd59d 100644
--- a/edit/codemirror-default.js
+++ b/edit/codemirror-default.js
@@ -29,7 +29,10 @@
       // independent of current keyMap
       'Alt-Enter': 'toggleStyle',
       'Alt-PageDown': 'nextEditor',
-      'Alt-PageUp': 'prevEditor'
+      'Alt-PageUp': 'prevEditor',
+      // show the hotkey in keymap info popup by adding a dummy command
+      // TODO: implement as a normal command when CodeMirror is fixed
+      'Ctrl-Pause': 'toggleEditorFocus',
     }),
     maxHighlightLength: 100e3,
     configureMouse: (cm, repeat) => repeat === 'double' ? {unit: selectTokenOnDoubleclick} : {},