From 8dd90085b67bbd7e8ca7643ff35228c6369cb162 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=C3=89tienne=20Deparis?= Date: Thu, 2 Oct 2025 13:03:46 +0200 Subject: [PATCH] web_config: Use None as default for underline style Underline is no more a boolean and should be one of the accepted style, or None. By keeping False as default value, web_config was generating wrong --underline=False settings Part of #11861 (cherry picked from commit c884c082578843b11383059281c27531b70c83b4) --- share/tools/web_config/webconfig.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/share/tools/web_config/webconfig.py b/share/tools/web_config/webconfig.py index 16fa92acc..39748bd39 100755 --- a/share/tools/web_config/webconfig.py +++ b/share/tools/web_config/webconfig.py @@ -229,7 +229,7 @@ def parse_color(color_str): background_color = "" underline_color = "" bold = False - underline = False + underline = None italics = False dim = False reverse = False