diff options
author | toasted-nutbread <toasted-nutbread@users.noreply.github.com> | 2021-01-17 19:28:42 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-01-17 19:28:42 -0500 |
commit | c875ca728f619c6e6bccbd13ceb90d898c59e53e (patch) | |
tree | edcf6862bd5d33eefea6c1a2af867b16d1040081 /ext/mixed | |
parent | de5d3ec3ad608893a9db75229296094f85c200c3 (diff) |
Add support for frontend hotkeys; add scanSelectedText action (#1266)
* Add support for frontend hotkeys; add scanSelectedText action
* Remove unused global
* Remove duplicate hotkey handler script
Diffstat (limited to 'ext/mixed')
-rw-r--r-- | ext/mixed/js/display.js | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/ext/mixed/js/display.js b/ext/mixed/js/display.js index c017a2f1..3c7deefe 100644 --- a/ext/mixed/js/display.js +++ b/ext/mixed/js/display.js @@ -1640,7 +1640,8 @@ class Display extends EventDispatcher { popupFactory, pageType: this._pageType, allowRootFramePopupProxy: true, - childrenSupported: this._childrenSupported + childrenSupported: this._childrenSupported, + hotkeyHandler: this._hotkeyHandler }); const frontend = new Frontend(setupNestedPopupsOptions); |