Ajout de la commande LignePointilles et mise à jour de la documentation.

[mp-scratch.git] / src / Divers.mp

diff --git a/src/Divers.mp b/src/Divers.mp
index 00413df..d872d6a 100644 (file)
--- a/src/Divers.mp
+++ b/src/Divers.mp
@@ -53,3 +53,32 @@ _coinprec:=llcorner $;
 _coinprec:=_coinprec+(0,eb);
 $
 enddef;
+
+vardef LignePointilles=
+  save $;
+  picture $,texto,TEXT;
+  texto=image(
+      label.lrt(LATEX("\Large \strut\ldots"),if unknown _coinprec: (0,0) else:_coinprec fi);
+  );
+TEXT=image(
+    draw texto;
+    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 texto;
+  );
+$=TEXT shifted (if unknown _coinprec:(0,0) else :_coinprec fi - ulcorner TEXT);
+_coinprec:=llcorner $;
+_coinprec:=_coinprec+(0,eb);
+$
+enddef;