Atari TTF font small and blurry on macOS

[peterdell]

https://forums.atariage.com/topic/145386-wudsn-ide-the-free-integrated-atari-8-bit-development-plugin-for-eclipse/page/29/#comment-4938300

I've attached a screenshot of the hex editor and actually I think it uses the Atari TTF font, it's just very small and blurry.

Also there's nothing in the .metadata/.log file related to this, here is the context when starting eclipse and displaying the hex editor:

!SESSION 2021-11-04 08:22:49.958 -----------------------------------------------
eclipse.buildId=4.21.0.I20210906-0500
java.version=17
java.vendor=Eclipse Adoptium
BootLoader constants: OS=macosx, ARCH=x86_64, WS=cocoa, NL=de_DE
Framework arguments: -keyring /Users/hermann/.eclipse_keyring
Command-line arguments: -os macosx -ws cocoa -arch x86_64 -keyring /Users/hermann/.eclipse_keyring

!ENTRY org.eclipse.oomph.p2.core 2 0 2021-11-04 08:22:52.208
!MESSAGE Failed to register the thread safe credentials providers: 'java.util.Map org.eclipse.core.internal.runtime.AdapterManager.getFactories

[peterdell]

I've tested it on a currentOS Intel. It's small but not blurry.
The font size 6 according to the font's readme correspondds to 8x8 pixel.
Yet, that's too small for higher resolution display and must be scaled up.

A test with factor 2 looks good on a 16" MacBook Pro.

So I have to find out how to detect the resolution.

[peterdell]

After some analysis, reading and testing it turns out there are too mane influencing factors (Windows vs. macOS, DPI of the screen, type of the font) to find a good programmatic solution. Therefore I'll implement the option for the user to choose the size for the Atari 8-bit and CBM fonts in the preferences. They will appear as subclasses of "Text Font" and which is their default. Note that only the height of the selected font will be evaluated.

[peterdell]

Integrated into stable version and tested. Documentation has to be updated.