Hi Martin,
I'm having similar questions regarding font styling. I'm building on the
basic form submission example, using MultiWindowTextGUI. However, I can't figure out how to change the font size or the scaling. I am ending up with a very large GUI that covers most of my screen.
What I'm doing is something like this (I don't have access to the exact code right now):
Font font = Font.get("DejaVu Sans Mono", Font.PLAIN, 4);
AWTTerminalFontConfiguration cfg = AWTTerminalFontConfiguration.newInstance(font);
and then passing that to the TerminalBuilder. It seems to accept it, but it doesn't change the font size at all.
I am running under Windows directly from the IDE, is that a problem here? Perhaps the emulated Swing terminal doesn't support this?
If not, could you please provide a code sample for changing the font?