<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
<meta content="text/html;charset=UTF-8" http-equiv="Content-Type">
<title></title>
</head>
<body bgcolor="#ffffff" text="#000000">
luigi scarso napsal(a):
<blockquote
cite="mid:CAG5iGsA81RLMk_S1wEx9d_EMGT2gBct4E9cNX-Fo2j=10qQgug@mail.gmail.com"
type="cite">
<div dir="ltr"><br>
<div class="gmail_extra"><br>
<div class="gmail_quote">On Mon, Aug 17, 2015 at 8:03 PM, Daniel H.
Luecking <span dir="ltr"><<a moz-do-not-send="true"
href="mailto:luecking@uark.edu" target="_blank">luecking@uark.edu</a>></span>
wrote:<br>
<blockquote class="gmail_quote"
style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
<div dir="ltr"
style="font-size: 12pt; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255); font-family: 'Courier New',monospace;">
<p>Karel:</p>
<p><br>
</p>
<p>Metapost and Metafont are using different resolution values.</p>
<p>Metafont uses the resolution of localfont, which is 600dpi on</p>
<p>my system. Mfplain uses an effective resolution of 3600dpi. This
</p>
<p>produces much larger pixel values. A lower value of u# in your </p>
<p>file should have the same effect as reducing the resolution. </p>
<p><br>
</p>
<p>However, a few tests with u# = (1/6)mm# produce the same
problem. </p>
<p>I am forced to agree that there is a bug either in <a
moz-do-not-send="true" href="http://mfplain.mp" target="_blank">mfplain.mp</a>
or </p>
<p>in metapost itself (or perhaps it is in me).<br>
</p>
<div style="color: rgb(33, 33, 33);">
<div>
<div class="h5">
<div>
<blockquote type="cite">
<pre>
</pre>
</blockquote>
</div>
</div>
</div>
</div>
</div>
</blockquote>
<div>Hopefully I will see it this weekend.</div>
<div><br>
</div>
<div>-- </div>
</div>
<div class="gmail_signature">luigi<br>
</div>
</div>
</div>
</blockquote>
<tt>Dear Luigi,<br>
perhaps it could help that the >last stable< version 1.212 gives
correct metrics:-)<br>
Karel<br>
</tt>
</body>
</html>