Eclipse Community Forums: Newcomers » Changing Eclipse editor font challenge

Help

Home

Home » Newcomers » Newcomers » Changing Eclipse editor font challenge (Eclipse font size )

Show: Today's Messages :: Show Polls :: Message Navigator

Changing Eclipse editor font challenge [message #1859636]

Wed, 21 June 2023 01:48

Anne Ranch

Messages: 85
Registered: October 2020

Member

Apparently changing editor font has been moved all over the place in past..
.hence moving target...

How do I change editing font size in 2022-012 ?

Report message to a moderator

Re: Changing Eclipse editor font challenge [message #1859643 is a reply to message #1859636]

Wed, 21 June 2023 07:16

Nitin Dahyabhai

Messages: 4435
Registered: July 2009

Senior Member

Anne Ranch wrote on Tue, 20 June 2023 21:48

Apparently changing editor font has been moved all over the place in past.

I don't think that's true. Where are you looking that it's not in the same place as before?

_
Nitin Dahyabhai
Eclipse Web Tools Platform

Report message to a moderator

Re: Changing Eclipse editor font challenge [message #1859648 is a reply to message #1859643]

Wed, 21 June 2023 12:37

Anne Ranch

Messages: 85
Registered: October 2020

Member

The object of the post is not to discuss / argue past , the object is

how to change Eclipse font size in 2022-12 or 2023-06 release.

In Preferences ???

Attachment: Screenshot from 2023-06-21 07-35-55.png
(Size: 76.01KB, Downloaded 95 times)

Report message to a moderator

Re: Changing Eclipse editor font challenge [message #1859654 is a reply to message #1859648]

Wed, 21 June 2023 13:47

Ed Merks

Messages: 33142
Registered: July 2009

Senior Member

I would suggest not bring up the past if you don't want someone else to bring up the past that you yourself brought up...

You could try typing "font" in the search field of the preference and that would quickly find for you General -> Appearance -> Colors and Fonts. Probably you want Basic -> Text Font on that page, though specific editors can configure their own. E.g., there is also Java -> Java Editor Text Font which defaults to the previous setting...

Ed Merks
Professional Support: https://www.macromodeling.com/

Report message to a moderator

Re: Changing Eclipse editor font challenge [message #1859658 is a reply to message #1859654]

Wed, 21 June 2023 15:23

Anne Ranch

Messages: 85
Registered: October 2020

Member

Thanks
I shall avoid introducing / stating (the reason) of my post next time.

Report message to a moderator

Re: Changing Eclipse editor font challenge [message #1859661 is a reply to message #1859658]

Wed, 21 June 2023 16:26

Nitin Dahyabhai

Messages: 4435
Registered: July 2009

Senior Member

Reasons are good, but the various font preference locations haven't moved, at least not the ones typically from eclipse.org. Without knowing
exactly which font preferences you're referring to, and where they were, it's harder to make sure you're being pointed in the right direction if
they somehow have been moved.

_
Nitin Dahyabhai
Eclipse Web Tools Platform

Report message to a moderator

Re: Changing Eclipse editor font challenge [message #1859666 is a reply to message #1859636]

Wed, 21 June 2023 18:31

Anne Ranch

Messages: 85
Registered: October 2020

Member

Question:
Is is customary to close / mark post as solved ?
I realize I can stop monitoring the replies, but I do not want to be impolite , however , I do not subscribe here to engage in social chitchat either.

Report message to a moderator