[Cuis-dev] Big Arrow

[Hilaire Fernandes]

Hi,

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.

Any idea for a workaround (beside using :=)

arrow


PS: I can now build fine DrGeo bundle. I will make a release before end 
of year.


-- 
GNU Dr. Geo
http://drgeo.eu
http://blog.drgeo.eu
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.cuis.st/mailman/archives/cuis-dev/attachments/20221210/70d088c9/attachment-0001.htm>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Capture d??cran de 2022-12-10 11-59-06.png
Type: image/png
Size: 47162 bytes
Desc: not available
URL: <http://lists.cuis.st/mailman/archives/cuis-dev/attachments/20221210/70d088c9/attachment-0001.png>