mirror of
https://github.com/SchildiChat/element-web.git
synced 2024-10-01 01:26:12 -04:00
Merge pull request #2915 from vector-im/dbkr/use_dev_tools_role
Use the role for 'toggle dev tools'
This commit is contained in:
commit
15528ef8d7
@ -72,11 +72,7 @@ const template = [
|
|||||||
role: 'togglefullscreen'
|
role: 'togglefullscreen'
|
||||||
},
|
},
|
||||||
{
|
{
|
||||||
label: 'Toggle Developer Tools',
|
role: 'toggledevtools'
|
||||||
accelerator: process.platform == 'darwin' ? 'Alt+Command+I' : 'Ctrl+Shift+I',
|
|
||||||
click: function(item, focusedWindow) {
|
|
||||||
if (focusedWindow) focusedWindow.toggleDevTools();
|
|
||||||
}
|
|
||||||
}
|
}
|
||||||
]
|
]
|
||||||
},
|
},
|
||||||
|
Loading…
Reference in New Issue
Block a user