-
Notifications
You must be signed in to change notification settings - Fork 0
/
menu.js
106 lines (105 loc) · 3.3 KB
/
menu.js
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
export default function (app, window) {
const menu = [
{
label: 'File',
submenu: [
{
label: 'Aufgaben konfigurieren',
click: () => window.webContents.send('configure')
},
{
label: 'Konfiguration speichern',
accelerator: 'CmdOrCtrl+S',
click: () => window.webContents.send('save')
},
{
label: 'Konfiguration laden',
accelerator: 'CmdOrCtrl+O',
click: () => window.webContents.send('load')
},
{
label: 'Abgabe-Verzeichnis wählen',
accelerator: 'CmdOrCtrl+D',
click: () => window.webContents.send('open-data')
},
{
label: 'Korrektur-Verzeichnis wählen',
click: () => window.webContents.send('open-workspace')
},
{
label: 'Kompile-Abhängigkeiten wählen',
click: () => window.webContents.send('open-compile-deps')
},
{
label: 'Ausführen',
accelerator: 'F5',
click: () => window.webContents.send('run')
}
]
},
{
label: 'Edit',
submenu: [
{ role: 'undo' },
{ role: 'redo' },
{ type: 'separator' },
{ role: 'cut' },
{ role: 'copy' },
{ role: 'paste' },
{ role: 'pasteandmatchstyle' },
{ role: 'delete' },
{ role: 'selectall' }
]
},
{
label: 'View',
submenu: [
{ role: 'reload' },
{ role: 'forcereload' },
{ role: 'toggledevtools' },
{ type: 'separator' },
{ role: 'resetzoom' },
{ role: 'zoomin' },
{ role: 'zoomout' },
{ type: 'separator' },
{ role: 'togglefullscreen' }
]
},
{
label: 'Window',
role: 'window',
submenu: [
{ role: 'minimize' },
{ role: 'close' }
]
},
];
if (process.platform === 'darwin') {
const name = app.getName();
menu.unshift({
label: name,
submenu: [
{ role: 'about' },
{ type: 'separator' },
{ role: 'services', submenu: [] },
{ type: 'separator' },
{ role: 'hide' },
{ role: 'hideothers' },
{ role: 'unhide' },
{ type: 'separator' },
{ role: 'quit' }
]
});
const windowMenu = menu.find(m => m.role === 'window')
if (windowMenu) {
windowMenu.submenu = [
{ role: 'close' },
{ role: 'minimize' },
{ role: 'zoom' },
{ type: 'separator' },
{ role: 'front' }
];
}
}
return menu;
}