Support different font sizes for ShowText() ?

[ensonic]

See https://github.com/rhempel/ev3dev-lang-python/issues/323 for some background

Current status:

• EV3 Lejos can fit about 18x7 chars on the screen (see e.g. http://docplayer.org/docs-images/24/3018766/images/35-0.png).
• EV3dev uses a smaller font (12 pixel) and can fix 29x10 chars on the screen (using an 18 pixel font we'd get almost 18x7 as well)

Small text can be problematic in low light conditions. The ShowText block uses Row/Col coordinates which makes it hard to mix text sizes.

We could add a DrawText command that takes x,y coordinates and a font from a list. Additionally we'd provide getFontHeight/getFontWidth 'Sensors' with the same font list.

[ensonic]

Wrong project - https://github.com/OpenRoberta/robertalab/issues/503