[Cuis-dev] Big Arrow

[Juan Vuletich]

On 12/10/2022 8:03 AM, Hilaire Fernandes via Cuis-dev wrote:
>
> 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

Just pushed the fix to GitHub. Thanks for reporting.

Cheers,

-- 
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

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.cuis.st/mailman/archives/cuis-dev/attachments/20221214/0d04acbc/attachment-0001.htm>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: image/png
Size: 47162 bytes
Desc: not available
URL: <http://lists.cuis.st/mailman/archives/cuis-dev/attachments/20221214/0d04acbc/attachment-0001.png>