From 4edf7914332e220b1dc699754476e563157015ee Mon Sep 17 00:00:00 2001
From: Maxime Jacquemin <maxime.jacquemin@cea.fr>
Date: Tue, 25 Oct 2022 11:05:11 +0200
Subject: [PATCH] [ivette] The icon now works on Linux
---
ivette/electron-builder.json | 6 +++---
ivette/src/dome/main/dome.ts | 1 +
ivette/{frama-c-icon.png => static/icon.png} | Bin
3 files changed, 4 insertions(+), 3 deletions(-)
rename ivette/{frama-c-icon.png => static/icon.png} (100%)
diff --git a/ivette/electron-builder.json b/ivette/electron-builder.json
index 4f30f534812..6cd1985b9e8 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 6b77b345566..bdc926faab8 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
--
GitLab