src/Divers.mp

   1 vardef CommandeVide(expr commande)=
   2   save $;
   3   picture $,texto,TEXT;
   4   texto=image(
   5       label.lrt(LATEX("\Large "&if numeric commande:decimal(commande) else: commande fi&""),if unknown _coinprec: (0,0) else:_coinprec fi);
   6   );
   7 TEXT=image(
   8     draw texto;
   9   fill (llcorner texto+(-eb,-eb))--(lrcorner texto+(eb,-eb))--(urcorner texto+(eb,eb))--(ulcorner texto+(-eb,eb))--cycle withcolor white;
  10   draw (llcorner texto+(-eb,-eb))--(lrcorner texto+(eb,-eb))--(urcorner texto+(eb,eb))--(ulcorner texto+(-eb,eb))--cycle;
  11   );
  12 $=TEXT shifted (if unknown _coinprec:(0,0) else :_coinprec fi - ulcorner TEXT);
  13 _coinprec:=llcorner $;
  14 $
  15 enddef;
  16
  17 vardef LigneVide(expr commande)=
  18   save $;
  19   picture $,texto,TEXT;
  20   texto=image(
  21       label.lrt(LATEX("\Large "&if numeric commande:decimal(commande) else: commande fi&""),if unknown _coinprec: (0,0) else:_coinprec fi);
  22   );
  23 TEXT=image(
  24     %draw texto;
  25   %fill (llcorner texto+(-eb,-eb))--(lrcorner texto+(eb,-eb))--(urcorner texto+(eb,eb))--(ulcorner texto+(-eb,eb))--cycle withcolor white;
  26   draw (urcorner texto+(eb,eb))--(ulcorner texto+(-eb,eb))--(llcorner texto+(-eb,-eb))--(lrcorner texto+(eb,-eb));
  27   );
  28 $=TEXT shifted (if unknown _coinprec:(0,0) else :_coinprec fi - ulcorner TEXT);
  29 _coinprec:=llcorner $;
  30 $
  31 enddef;