Changing Text Font Size

[theabst...@gmail.com]

I was wondering how you would go about changing the text font size.

That is what it currently looks like, and I do wish to make it smaller.

Any help?

[Martin Berglund]

Hello Abstract Kiwi,

I'm guessing you are using the SwingTerminalFrame above? You can set the font size by using a custom SwingTerminalFontConfiguration to SwingTerminalFrame; if you're using DefaultTerminalFactory, there's similarly a method setTerminalEmulatorFontConfiguration you can use for this.

Thanks,

Martin

--
Det här meddelandet skickas till dig eftersom du prenumererar på gruppen "lanterna-discuss" i Google Grupper.
Om du vill sluta prenumerera på den här gruppen och inte längre få någon e-post från den skickar du ett e-postmeddelande till lanterna-discuss+unsubscribe@googlegroups.com.
Fler alternativ finns på https://groups.google.com/d/optout.

[Leather Dog Muksihs]

It is not at all clear how to increase the font size on the automatic GUI terminal.

It displays so small I can't read it. I'm farsighted.

The code reads like it is hard-coded for a size of 14.

On Sunday, July 9, 2017 at 8:55:07 AM UTC-4 Martin wrote:

Hello Abstract Kiwi,

I'm guessing you are using the SwingTerminalFrame above? You can set the font size by using a custom SwingTerminalFontConfiguration to SwingTerminalFrame; if you're using DefaultTerminalFactory, there's similarly a method setTerminalEmulatorFontConfiguration you can use for this.

Thanks,

Martin

Den 14 juni 2017 14:23 skrev <theabst...@gmail.com>:

I was wondering how you would go about changing the text font size.

That is what it currently looks like, and I do wish to make it smaller.

Any help?

--
Det här meddelandet skickas till dig eftersom du prenumererar på gruppen "lanterna-discuss" i Google Grupper.

Om du vill sluta prenumerera på den här gruppen och inte längre få någon e-post från den skickar du ett e-postmeddelande till lanterna-discu...@googlegroups.com.

[Martin Berglund]

Yes, you are right! Not sure how we could have missed this for all these years. I will amend the code to allow you to set the size manually.

Regards,

Martin

Om du vill visa den här diskussionen på webben besöker du https://groups.google.com/d/msgid/lanterna-discuss/6b1d1112-669e-4286-abe8-9dd41061cba2n%40googlegroups.com.

[Martin Berglund]

Ok, so, I wasn't entirely correct. You can still create a custom SwingTerminalFontConfiguration with different sized fonts using the newInstance method that takes a list of fonts. That way you get complete control over which fonts will be used (although non-monospaced fonts will be filtered out). However, I'm adding a new static getDefaultOfSize method that will use the hard-coded list of preferred fonts per platform, but with a supplied font size.

Regards,

Martin