From b34cc94e16a5baacd0201e20f190ec224c00f952 Mon Sep 17 00:00:00 2001 From: Hans Hagen Date: Thu, 13 May 2010 23:36:00 +0200 Subject: beta 2010.05.13 23:36 --- metapost/context/font/punkfont.mp | 9 +++++++++ 1 file changed, 9 insertions(+) (limited to 'metapost') diff --git a/metapost/context/font/punkfont.mp b/metapost/context/font/punkfont.mp index ece8740df..e57499859 100644 --- a/metapost/context/font/punkfont.mp +++ b/metapost/context/font/punkfont.mp @@ -63,6 +63,15 @@ if unknown punk_font_loaded : path dot_pen_path ; dot_pen_path := tensepath makepath currentpen ; +% px# := .8pt# ; % horizontal thickness of pen +% define_pixels(u,dev) ; +% define_blacker_pixels(px,py,dot) ; +% pickup pencircle xscaled 1.25px yscaled 1.25py ; +% punk_pen := savepen ; +% pickup pencircle scaled 1.25dot ; +% path dot_pen_path ; +% dot_pen_path := tensepath makepath currentpen ; + defaultcolormodel := 1 ; def beginpunkchar(expr c,n,h,v) = % code $c$; width is $n$ units -- cgit v1.2.3