dr-geo
[Top][All Lists]
Advanced
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

From: Hilaire Fernandes
Subject: Re: [Dr. Geo] Scaling for high density display, mainly Mac but may be not only?
Date: Wed, 3 Apr 2024 12:15:22 +0200
User-agent: Mozilla Thunderbird

Good catch. Fixed.

Le 03/04/2024 à 09:59, Oscar Nierstrasz a écrit :
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
-- 
GNU Dr. Geo
http://gnu.org/s/dr-geo/
http://gnu-drgeo.blogspot.com/
reply via email to
[Prev in Thread] Current Thread [Next in Thread]