beta 2011.12.13 15:17

1 files changed, 4 insertions, 7 deletions

diff --git a/metapost/context/base/mp-tool.mpiv b/metapost/context/base/mp-tool.mpiv
index 006e16e82..33c5b7d9a 100644
--- a/metapost/context/base/mp-tool.mpiv
+++ b/metapost/context/base/mp-tool.mpiv
@@ -2057,25 +2057,22 @@ enddef ;
 
 def showgrid (expr MinX, MaxX, DeltaX, MinY, MaxY, DeltaY) = % will move
     begingroup
-    save defaultfont, defaultscale, size ;
-    string  defaultfont  ; defaultfont  := "cmtt10"; % i.e. infofont
-    numeric defaultscale ; defaultscale := 8pt / fontsize defaultfont;
-    numeric size         ; size         := 2pt ;
+    save size ; numeric size ; size := 2pt ;
     for x=MinX upto MaxX :
         for y=MinY upto MaxY :
             draw (x*DeltaX, y*DeltaY) withpen pencircle scaled
                 if (x mod 5 = 0) and (y mod 5 = 0) :
                     1.5size withcolor .50white
                 else :
-                    size withcolor .75white
+                       size withcolor .75white
                 fi ;
         endfor ;
     endfor ;
     for x=MinX upto MaxX:
-        label.bot(decimal x, (x*DeltaX,-size)) ;
+        label.bot(textext("\infofont " & decimal x), (x*DeltaX,-size)) ;
     endfor ;
     for y=MinY upto MaxY:
-        label.lft(decimal y, (-size,y*DeltaY)) ;
+        label.lft(textext("\infofont " & decimal y), (-size,y*DeltaY)) ;
     endfor ;
     endgroup
 enddef;