diff options
| -rw-r--r-- | ext/fg/js/display-frame.js | 11 | ||||
| -rw-r--r-- | ext/mixed/js/display.js | 3 |
2 files changed, 3 insertions, 11 deletions
diff --git a/ext/fg/js/display-frame.js b/ext/fg/js/display-frame.js index f6f7683e..9fd09e74 100644 --- a/ext/fg/js/display-frame.js +++ b/ext/fg/js/display-frame.js @@ -83,13 +83,9 @@ window.displayFrame = new class extends Display { } onKeyDown(e) { - if (super.onKeyDown(e)) { - return true; - } - const handlers = { 67: /* c */ () => { - if (e.ctrlKey) { + if (e.ctrlKey && window.getSelection().toString() === '') { this.selectionCopy(); return true; } @@ -99,9 +95,8 @@ window.displayFrame = new class extends Display { const handler = handlers[e.keyCode]; if (handler && handler()) { e.preventDefault(); - return true; + } else { + super.onKeyDown(e); } - - return false; } }; diff --git a/ext/mixed/js/display.js b/ext/mixed/js/display.js index f950f0f0..9738319a 100644 --- a/ext/mixed/js/display.js +++ b/ext/mixed/js/display.js @@ -301,10 +301,7 @@ class Display { const handler = handlers[e.keyCode]; if (handler && handler()) { e.preventDefault(); - return true; } - - return false; } sourceBack() { |