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

[Hilaire Fernandes]

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/