[Cuis-dev] Big Arrow

[Gerald Klix]

On 10.12.22 12:03, 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.
> 
> 
> 

I observed the same behavior with previous Cuis versions and nearly
all fonts, with the exception of DejaVu. AFAIR this was shortly after
integration of vector graphics into the standard image.


HTH,

Gerald