# HG changeset patch
# User Franz Glasner <fzglas.hg@dom66.de>
# Date 1778858685 -7200
# Node ID a7a6a75cd4b85f1cc2561648cd8c6d2db5b267ad
# Parent  5114d49a8eab33e15b800b35e37f15d025fd40bb
Normalize the stored "fonts" option when aliases are given

diff -r 5114d49a8eab -r a7a6a75cd4b8 docs/_latex/my-doc-fonts.sty
--- a/docs/_latex/my-doc-fonts.sty	Fri May 15 16:35:34 2026 +0200
+++ b/docs/_latex/my-doc-fonts.sty	Fri May 15 17:24:45 2026 +0200
@@ -28,36 +28,42 @@
 % A key compatible with options processing as option "fonts" but choices.
 \define@choicekey*{my-doc-fonts.sty}{fonts}[\val\nr]{%
   dejavusansmono,
-  plex, ibmplex,
+  ibmplex, plex,
   plex-dejavusansmono,
-  adobesource, adobesourcepro,
+  adobesourcepro, adobesource,
   spectral,
   charter}{%
+  % Not used for now : store the normalized option value (global and expanded)
+  \xdef\@mdf@fonts{\val}%
+  % Reset all option related font selection flags
   \@mdf@WithDejaVuSansMonofalse
   \@mdf@WithIBMPlexfalse
   \@mdf@WithIBMPlexDejaVuSansMonofalse
   \@mdf@WithAdobeSourceProfalse
   \@mdf@WithSpectralfalse
   \@mdf@WithCharterfalse
+  % Now set the needed font selection flag
   \ifcase\nr\relax
     \@mdf@WithDejaVuSansMonotrue
   \or
     \@mdf@WithIBMPlextrue
   \or
     \@mdf@WithIBMPlextrue
+    % Normalize the stored string
+    \gdef\@mdf@fonts{ibmplex}
   \or
     \@mdf@WithIBMPlexDejaVuSansMonotrue
   \or
     \@mdf@WithAdobeSourceProtrue
   \or
     \@mdf@WithAdobeSourceProtrue
+    % Normalize the stored string
+    \gdef\@mdf@fonts{adobesourcepro}
   \or
    \@mdf@WithSpectraltrue
   \or
     \@mdf@WithChartertrue
   \fi
-  % Not used for now : store the normalized option value (global and expanded)
-  \xdef\@mdf@fonts{\val}
 }
 
 %