X-Git-Url: https://melusine.eu.org/syracuse/G/git/?p=mp-scratch.git;a=blobdiff_plain;f=src%2FDivers.mp;h=00413df30ef98899996f1948968b7cf1bfa94e51;hp=33a8b2ef9d4ec090dd415425f5ae1cfc93278be4;hb=98510de4ba0aff4f5d97eb29ee7779abe9c6b47c;hpb=45b57c4a264c463c8a0d5cd71ba351c6782804b3

diff --git a/src/Divers.mp b/src/Divers.mp
index 33a8b2e..00413df 100644
--- a/src/Divers.mp
+++ b/src/Divers.mp
@@ -6,11 +6,24 @@ vardef CommandeVide(expr commande)=
   );
 TEXT=image(
     draw texto;
-  fill (llcorner texto+(-eb,-eb))--(lrcorner texto+(eb,-eb))--(urcorner texto+(eb,eb))--(ulcorner texto+(-eb,eb))--cycle withcolor white;
-  draw (llcorner texto+(-eb,-eb))--(lrcorner texto+(eb,-eb))--(urcorner texto+(eb,eb))--(ulcorner texto+(-eb,eb))--cycle;
+  path cadre;
+  cadre=(llcorner texto+(-eb,0))--(llcorner texto+(0,-eb))--
+    (llcorner texto+(0.375cm,0)+(-eb,-eb))--
+    (llcorner texto+(0.375cm,0)+(0,-2eb))--
+    (llcorner texto+(0.625cm,0)+(0,-2eb))--
+    (llcorner texto+(0.625cm,0)+(eb,-eb))--
+    (lrcorner texto+(0,-eb))--(lrcorner texto+(eb,0))--(urcorner texto+(eb,0))--(urcorner texto+(0,eb))--
+    (ulcorner texto+(0.625cm,0)+(eb,eb))--
+    (ulcorner texto+(0.625cm,0))--
+    (ulcorner texto+(0.375cm,0))--
+    (ulcorner texto+(0.375cm,0)+(-eb,eb))--
+    (ulcorner texto+(0,eb))--(ulcorner texto+(-eb,0))--cycle;
+  fill cadre withcolor white;
+  draw cadre;
   );
 $=TEXT shifted (if unknown _coinprec:(0,0) else :_coinprec fi - ulcorner TEXT);
 _coinprec:=llcorner $;
+_coinprec:=_coinprec+(0,eb);
 $
 enddef;
 
@@ -21,11 +34,22 @@ vardef LigneVide(expr commande)=
       label.lrt(LATEX("\Large "&if numeric commande:decimal(commande) else: commande fi&""),if unknown _coinprec: (0,0) else:_coinprec fi);
   );
 TEXT=image(
-    %draw texto;
-  %fill (llcorner texto+(-eb,-eb))--(lrcorner texto+(eb,-eb))--(urcorner texto+(eb,eb))--(ulcorner texto+(-eb,eb))--cycle withcolor white;
-  draw (urcorner texto+(eb,eb))--(ulcorner texto+(-eb,eb))--(llcorner texto+(-eb,-eb))--(lrcorner texto+(eb,-eb));
+    path cadre;
+  cadre=(llcorner texto+(-eb,0))--(llcorner texto+(0,-eb))--
+    (llcorner texto+(0.375cm,0)+(-eb,-eb))--
+    (llcorner texto+(0.375cm,0)+(0,-2eb))--
+    (llcorner texto+(0.625cm,0)+(0,-2eb))--
+    (llcorner texto+(0.625cm,0)+(eb,-eb))--
+    (lrcorner texto+(0,-eb))--(lrcorner texto+(eb,0))--(urcorner texto+(eb,0))--(urcorner texto+(0,eb))--
+    (ulcorner texto+(0.625cm,0)+(eb,eb))--
+    (ulcorner texto+(0.625cm,0))--
+    (ulcorner texto+(0.375cm,0))--
+    (ulcorner texto+(0.375cm,0)+(-eb,eb))--
+    (ulcorner texto+(0,eb))--(ulcorner texto+(-eb,0))--cycle;
+  fill cadre withcolor white;
   );
 $=TEXT shifted (if unknown _coinprec:(0,0) else :_coinprec fi - ulcorner TEXT);
 _coinprec:=llcorner $;
+_coinprec:=_coinprec+(0,eb);
 $
 enddef;