Skip to main content


Eclipse Community Forums
Forum Search:

Search      Help    Register    Login    Home
Home » Newcomers » Newcomers » Changing Eclipse editor font challenge (Eclipse font size )
Changing Eclipse editor font challenge [message #1859636] Wed, 21 June 2023 01:48 Go to next message
Anne Ranch is currently offline Anne RanchFriend
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 ?
Re: Changing Eclipse editor font challenge [message #1859643 is a reply to message #1859636] Wed, 21 June 2023 07:16 Go to previous messageGo to next message
Nitin Dahyabhai is currently offline Nitin DahyabhaiFriend
Messages: 4450
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
Re: Changing Eclipse editor font challenge [message #1859648 is a reply to message #1859643] Wed, 21 June 2023 12:37 Go to previous messageGo to next message
Anne Ranch is currently offline Anne RanchFriend
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 ???
Re: Changing Eclipse editor font challenge [message #1859654 is a reply to message #1859648] Wed, 21 June 2023 13:47 Go to previous messageGo to next message
Ed Merks is currently offline Ed MerksFriend
Messages: 33150
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/
Re: Changing Eclipse editor font challenge [message #1859658 is a reply to message #1859654] Wed, 21 June 2023 15:23 Go to previous messageGo to next message
Anne Ranch is currently offline Anne RanchFriend
Messages: 85
Registered: October 2020
Member
Thanks
I shall avoid introducing / stating (the reason) of my post next time.
Re: Changing Eclipse editor font challenge [message #1859661 is a reply to message #1859658] Wed, 21 June 2023 16:26 Go to previous messageGo to next message
Nitin Dahyabhai is currently offline Nitin DahyabhaiFriend
Messages: 4450
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
Re: Changing Eclipse editor font challenge [message #1859666 is a reply to message #1859636] Wed, 21 June 2023 18:31 Go to previous messageGo to next message
Anne Ranch is currently offline Anne RanchFriend
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.
Re: Changing Eclipse editor font challenge [message #1859672 is a reply to message #1859666] Thu, 22 June 2023 05:17 Go to previous message
Ed Merks is currently offline Ed MerksFriend
Messages: 33150
Registered: July 2009
Senior Member
No, it isn't customary.

Ed Merks
Professional Support: https://www.macromodeling.com/
Previous Topic:Initial "Run" response
Next Topic:Line is commented out - what font to change ?
Goto Forum:
  


Current Time: Wed May 22 15:34:39 GMT 2024

Powered by FUDForum. Page generated in 0.08407 seconds
.:: Contact :: Home ::.

Powered by: FUDforum 3.0.2.
Copyright ©2001-2010 FUDforum Bulletin Board Software

Back to the top