Peter Dell f338e19db1 Make font size of Atari 8-bit font and CBM fonts configurable via preferences ...

See path https://github.com/peterdell/wudsn-ide/issues/3

Solution: Preferences in "Appearance / Colors and Fonts / Basic / Text Font / Atari 8-bit Font | CBM Font"

2023-01-09 01:06:02 +01:00

..

bundle_de.properties

Make font size of Atari 8-bit font and CBM fonts configurable via preferences

2023-01-09 01:06:02 +01:00

bundle.properties

Make font size of Atari 8-bit font and CBM fonts configurable via preferences

2023-01-09 01:06:02 +01:00