diff --git a/ivette/electron-builder.json b/ivette/electron-builder.json index 4f30f5348123abdd116a36ddcdaffc4faf807c9e..6cd1985b9e8d61f3d2ea710ac0ec15a8ce573ab3 100644 --- a/ivette/electron-builder.json +++ b/ivette/electron-builder.json @@ -1,5 +1,5 @@ { - productName: "Ivette", - mac: { icon: "ivette.icns" }, - linux: { icon: "frama-c-icon.png" } + "productName": "Ivette", + "mac": { "icon": "ivette.icns" }, + "linux": { "icon": "icon.png" } } diff --git a/ivette/src/dome/main/dome.ts b/ivette/src/dome/main/dome.ts index 6b77b3455661024d81ed75ec468d2de7e8daedf6..bdc926faab8066c4bde3bf0740e0dfa823c6e4f3 100644 --- a/ivette/src/dome/main/dome.ts +++ b/ivette/src/dome/main/dome.ts @@ -388,6 +388,7 @@ function createBrowserWindow( const options: BrowserWindowConstructorOptions = { show: false, backgroundColor: '#f0f0f0', + icon: path.join(__static, 'icon.png'), webPreferences: { nodeIntegration: true, contextIsolation: false, diff --git a/ivette/frama-c-icon.png b/ivette/static/icon.png similarity index 100% rename from ivette/frama-c-icon.png rename to ivette/static/icon.png