<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
</head>
<body><p style="margin-top:0;margin-bottom:0;margin-left:0;margin-right:0;">On Tuesday, January 5, 2021 5:10:13 PM WET Jean-Marc Lasgouttes wrote:</p>
<p style="margin-top:0;margin-bottom:0;margin-left:0;margin-right:0;">> Le 13/06/2019 à 17:41, José Abílio Matos a écrit :</p>
<p style="margin-top:0;margin-bottom:0;margin-left:0;margin-right:0;">> > Last week while working with python2/python3 differences I found clues</p>
<p style="margin-top:0;margin-bottom:0;margin-left:0;margin-right:0;">> > that</p>
<p style="margin-top:0;margin-bottom:0;margin-left:0;margin-right:0;">> > the legacy graphics conversion has problems.</p>
<p style="margin-top:0;margin-bottom:0;margin-left:0;margin-right:0;">> > </p>
<p style="margin-top:0;margin-bottom:0;margin-left:0;margin-right:0;">> > Like I said in bugs #11457 and #11282:</p>
<p style="margin-top:0;margin-bottom:0;margin-left:0;margin-right:0;">> > "This also means that the legacy conversion has some issues but I think</p>
<p style="margin-top:0;margin-bottom:0;margin-left:0;margin-right:0;">> > that by now everyone should be using dvipng to that part of the code is</p>
<p style="margin-top:0;margin-bottom:0;margin-left:0;margin-right:0;">> > not used."</p>
<p style="margin-top:0;margin-bottom:0;margin-left:0;margin-right:0;">> > </p>
<p style="margin-top:0;margin-bottom:0;margin-left:0;margin-right:0;">> > So my question now is if we should, or not, make dvipng is a requirement</p>
<p style="margin-top:0;margin-bottom:0;margin-left:0;margin-right:0;">> > for the instant preview mode.</p>
<p style="margin-top:0;margin-bottom:0;margin-left:0;margin-right:0;">> > </p>
<p style="margin-top:0;margin-bottom:0;margin-left:0;margin-right:0;">> > What do you think?</p>
<p style="margin-top:0;margin-bottom:0;margin-left:0;margin-right:0;">> </p>
<p style="margin-top:0;margin-bottom:0;margin-left:0;margin-right:0;">> José, what is the status on this?</p>
<p style="margin-top:0;margin-bottom:0;margin-left:0;margin-right:0;">> </p>
<p style="margin-top:0;margin-bottom:0;margin-left:0;margin-right:0;">> JMarc</p>
<br /><p style="margin-top:0;margin-bottom:0;margin-left:0;margin-right:0;">Honestly? Since I am not masochist I do not play with hornets nests. :-)</p>
<p style="margin-top:0;margin-bottom:0;margin-left:0;margin-right:0;">Actually once I was with Sara and she was attacked and stung three times in less than a few seconds, I did not even notice until a minute later...</p>
<br /><p style="margin-top:0;margin-bottom:0;margin-left:0;margin-right:0;">So as far I remember the issue is: is there any reason in 2021 not to use dvipng?</p>
<br /><p style="margin-top:0;margin-bottom:0;margin-left:0;margin-right:0;">-- </p>
<p style="margin-top:0;margin-bottom:0;margin-left:0;margin-right:0;">José Abílio</p>
</body>
</html>