<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
<meta content="text/html; charset=UTF-8" http-equiv="Content-Type">
</head>
<body bgcolor="#ffffff" text="#000000">
On 12/10/2022 8:03 AM, Hilaire Fernandes via Cuis-dev wrote:
<blockquote cite="mid:357f47ea-de5c-469a-3be3-7a5f940f410a@free.fr"
type="cite">
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
<p><font size="4">Hi, <br>
</font></p>
<p><font size="4">When using the font "WenQuanYi Zen Hei Sharp
Regular.ttf" in the DrGeo bundle, I observe overlarge
assignment arrow. I guess it is a coincidence between this
font and the recent discussion/change related to assignment
symbol.</font></p>
<p>Any idea for a workaround (beside using :=)<br>
</p>
<p><img moz-do-not-send="false"
src="cid:part1.01050909.04050100@cuis.st" alt="arrow"
height="322" width="358"></p>
<p><br>
</p>
<p>PS: I can now build fine DrGeo bundle. I will make a release
before end of year.<br>
</p>
<br>
<pre class="moz-signature" cols="72">--
GNU Dr. Geo
<a moz-do-not-send="true" class="moz-txt-link-freetext" href="http://drgeo.eu">http://drgeo.eu</a>
<a moz-do-not-send="true" class="moz-txt-link-freetext" href="http://blog.drgeo.eu">http://blog.drgeo.eu</a></pre>
</blockquote>
<br>
Just pushed the fix to GitHub. Thanks for reporting.<br>
<br>
Cheers,<br>
<pre class="moz-signature" cols="72">--
Juan Vuletich
cuis.st
github.com/jvuletich
researchgate.net/profile/Juan-Vuletich
independent.academia.edu/JuanVuletich
patents.justia.com/inventor/juan-manuel-vuletich
linkedin.com/in/juan-vuletich-75611b3
twitter.com/JuanVuletich</pre>
</body>
</html>