[Cuis-dev] gui elements size

[Hilaire Fernandes]

Hi Ruda,

Edit the file UserPrefs.txt along the image to adjust to your need.

Or maybe delete it if you already adjusted the size font in your image.

Hilaire

-- 
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/20230429/7fe4dc21/attachment.htm>