Re: [Dr. Geo] Scaling for high density display, mainly Mac but may be not only?

[Oscar Nierstrasz]

Unfortunately when I run `DrGeoSystem beDevelopment.` it resets the sizes to the super tiny ones.
It would be great if DrGeo wouldn't change the sizes at all.

Otherwise it seems to work fine within DrGeo itself.

Cheers,

Oscar
---
oscar.nierstrasz@feenk.com
https://feenk.com/about/

On 2 Apr 2024 at 19:11 +0200, Hilaire Fernandes <hfern@free.fr>, wrote:

Hi folks,

I have been working on the issue #19 (https://github.com/hilaire/drgeo/issues/19) for high density display as found in the Macintosh computer.

If you fetch the latest code of DrGeo and build your own environment, you can adjust the size of text and GUI from the World Cuis menu "Preferences>Size of GUI elements..."

Once that is adjusted to your taste, any new DrGeo main window or tool should match the GUI adjustment.

Please try and report.

Hilaire

--  
GNU Dr. Geo
http://gnu.org/s/dr-geo/
http://gnu-drgeo.blogspot.com/