Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss

Java Console text size

643 views
Skip to first unread message

Eustace

unread,
Jun 24, 2010, 1:38:34 PM6/24/10
to
How can I change the font size in the Java Console?

emf

--
It ain't THAT, babe! - A radical reinterpretation
https://files.nyu.edu/emf202/public/bd/itaintmebabe.html

Terry R.

unread,
Jun 24, 2010, 3:27:10 PM6/24/10
to
On 6/24/2010 10:38 AM On a whim, Eustace pounded out on the keyboard

> How can I change the font size in the Java Console?
>
> emf
>

Hi Eustace,

It's probably tied to one of the objects that can be found by
right-clicking on your Desktop, selecting Properties, click the
Appearance tab, Advanced button. I would try "Window" under Item first,
click OK then Apply and open the console. You may have to experiment to
find it. Just write down your changes as you may change something you
don't like that is affected somewhere else.


Terry R.
--
Anti-spam measures are included in my email address.
Delete NOSPAM from the email address after clicking Reply.

Eustace

unread,
Jun 24, 2010, 11:58:46 PM6/24/10
to
On 2010-06-24 15:27 Terry R. wrote:
> On 6/24/2010 10:38 AM On a whim, Eustace pounded out on the keyboard
>
>> How can I change the font size in the Java Console?
>>
>> emf
>>
>
> Hi Eustace,
>
> It's probably tied to one of the objects that can be found by
> right-clicking on your Desktop, selecting Properties, click the
> Appearance tab, Advanced button. I would try "Window" under Item first,
> click OK then Apply and open the console. You may have to experiment to
> find it. Just write down your changes as you may change something you
> don't like that is affected somewhere else.
>
>
> Terry R.

I see. No, I wouldn't change my system's fonts for this. I have spent
time to set them to what they are. So the console's settings are set by
Java which may use the system's settings. Then let it be.

0 new messages