From 8956b1ed760c2eeab347a4584bc3f0e549f23759 Mon Sep 17 00:00:00 2001 From: nathaninline Date: Tue, 28 Jul 2026 11:24:33 +0200 Subject: [PATCH] ci : gofmt sur web_prefs.go (alignement de la liste blanche des preferences) --- internal/jean/web_prefs.go | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/internal/jean/web_prefs.go b/internal/jean/web_prefs.go index b228325..2729b6c 100644 --- a/internal/jean/web_prefs.go +++ b/internal/jean/web_prefs.go @@ -26,7 +26,7 @@ var webPrefsAllowed = map[string]map[string]bool{ // listé ICI : sinon POST /api/prefs le rejette silencieusement, le serveur // conserve l'ancienne valeur et loadPrefs() la réapplique à chaque // rafraîchissement — le thème « saute » alors qu'il est bien en localStorage. - "theme": {"ajean": true, "ajean-dark": true, "dark": true, "light": true, "soft": true, "soft-dark": true, "gpt": true, "gpt-dark": true}, + "theme": {"ajean": true, "ajean-dark": true, "dark": true, "light": true, "soft": true, "soft-dark": true, "gpt": true, "gpt-dark": true}, // display : ancien mode « complet / simple », conservé pour les clients // pas encore rechargés ; remplacé par les quatre drapeaux ci-dessous. "display": {"full": true, "simple": true}, @@ -34,7 +34,7 @@ var webPrefsAllowed = map[string]map[string]bool{ "hide_tools": {"0": true, "1": true}, "fold_tools": {"0": true, "1": true}, "hide_side": {"0": true, "1": true}, - "font": {"auto": true, "mono": true, "system": true, "lexend": true, "serif": true}, + "font": {"auto": true, "mono": true, "system": true, "lexend": true, "serif": true}, } // loadWebPrefs lit les préférences enregistrées (map vide si absent/illisible).