diff --git a/pub/share/wups11a.ps b/pub/share/wups11a.ps index 1b9ace7d78636441d538cbb3b05b4632c30efecf..9e659b84bb98ca31bb508636a05404ae42a06cb2 100644 --- a/pub/share/wups11a.ps +++ b/pub/share/wups11a.ps @@ -1390,7 +1390,8 @@ WuGdict11a begin grestore } def /pfeil { % x[local] y[local] rot siz len[global] - fm 5 copy + % fm 5 copy % replaced by the following line 10jan13 + dup xm x ym mul sqrt 5 copy pop pfeilspitze x pop x 4 2 roll % len rot x y