mirrors/desktop
1
0
Fork 0
mirror of https://github.com/zen-browser/desktop.git synced 2025-09-05 19:08:18 +00:00
Code Issues Packages Projects Releases Wiki Activity

Update ignored DevTools shortcuts and add devtoolsShortcutListener placeholder

Browse Source
This commit is contained in:
mr. M
2025-01-03 02:52:56 +01:00
parent 21cd1c4e40
commit 1fd231b96c
1 changed files with 23 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

24
src/browser/base/zen-components/ZenKeyboardShortcuts.mjs
View File

@@ -730,7 +730,10 @@ class ZenKeyboardShortcutsLoader {
return newShortcutList;
}
static IGNORED_DEVTOOLS_SHORTCUTS = ['key_toggleToolboxF12'];
// Make sure to stay in sync with https://searchfox.org/mozilla-central/source/devtools/startup/DevToolsStartup.sys.mjs#879
static IGNORED_DEVTOOLS_SHORTCUTS = ['key_toggleToolboxF12', 'profilerStartStop',
'profilerStartStopAlternate', 'profilerCapture', 'profilerCaptureAlternate',
'javascriptTracingToggle'];
static zenGetDefaultDevToolsShortcuts() {
let keySet = document.getElementById(ZEN_DEVTOOLS_KEYSET_ID);
@@ -906,6 +909,25 @@ class ZenKeyboardShortcutsVersioner {
var gZenKeyboardShortcutsManager = {
loader: new ZenKeyboardShortcutsLoader(),
_hasToLoadDevtools: false,
devtoolsShortcutListener: {
//async onKey(window, key) {
// try {
// // Record the timing at which this event started in order to compute later in
// // gDevTools.showToolbox, the complete time it takes to open the toolbox.
// // i.e. especially take `initDevTools` into account.
// const startTime = Cu.now();
// const require = this.initDevTools("KeyShortcut", key);
// const {
// gDevToolsBrowser,
// } = require("devtools/client/framework/devtools-browser");
// await gDevToolsBrowser.onKeyShortcut(window, key, startTime);
// } catch (e) {
// console.error(`Exception while trigerring key ${key}: ${e}\n${e.stack}`);
// }
//},
},
beforeInit() {
if (!this.inBrowserView) {
return;