mirror of
https://github.com/wavetermdev/waveterm.git
synced 2024-12-23 16:58:27 +01:00
fix menu, keep hidden toggle dev tools, remove view menu, move force reload to file menu
This commit is contained in:
parent
e52cd6eb21
commit
7fb8c91db7
22
src/emain.ts
22
src/emain.ts
@ -141,14 +141,15 @@ let menuTemplate = [
|
||||
role: "appMenu",
|
||||
},
|
||||
{
|
||||
role: "fileMenu",
|
||||
label: "File",
|
||||
submenu: [
|
||||
{role: "close"},
|
||||
{role: "forceReload"},
|
||||
],
|
||||
},
|
||||
{
|
||||
role: "editMenu",
|
||||
},
|
||||
{
|
||||
role: "viewMenu",
|
||||
},
|
||||
{
|
||||
role: "windowMenu",
|
||||
},
|
||||
@ -201,9 +202,20 @@ function createMainWindow(clientData) {
|
||||
return;
|
||||
}
|
||||
if (input.code == "KeyI" && input.meta) {
|
||||
e.preventDefault();
|
||||
if (!input.alt) {
|
||||
win.webContents.send("i-cmd", mods);
|
||||
e.preventDefault();
|
||||
}
|
||||
else {
|
||||
win.webContents.toggleDevTools();
|
||||
}
|
||||
|
||||
return;
|
||||
}
|
||||
if (input.code == "KeyR" && input.meta) {
|
||||
e.preventDefault();
|
||||
if (input.shift) {
|
||||
win.reload();
|
||||
}
|
||||
return;
|
||||
}
|
||||
|
Loading…
Reference in New Issue
Block a user