Change font size in elementary.Entry (was: font size in other window managers)

[Laszlo KREKACS]

> None of them affects the appearance, the fonts are the same as before,
> and the sizes too.

Hmm, scale_set() does affect the font size.
So injecting the following code into msgs2.py between line 125 and 126:
textbox.scale_set(1.5)

Makes the text comfortably readable. But it looks to me, it is not dpi
agnostic,
so changing the resolution should affect imho the text size.
Could somebody confirm my hunch?

If there is no objection, and more people like the bigger textsize, I
will commit
this to the git repository of paroli.

Would be nice however to know how to set the font size in point units....

Best regards,
 Laszlo