Eclipse Community Forums: Eclipse Platform

Home » Eclipse Projects » Eclipse Platform » Eclipse editor(Need some help with Eclipse Editor.)

Tue, 19 May 2020 15:11

Eclipse User

Hey, guys. I'm new to this and I wanted to ask you all some question about eclipse editor.

I tried to change some colours, and so far so good but until I encountered with "Error text color" which I modified but didn't see any changes at all. Anyone knows what this modifies?

Thanks,
Nicolas.

Re: Eclipse editor [message #1827681 is a reply to message #1827638]

Wed, 20 May 2020 11:30

Eclipse User

I don't think this effects editors at all. I generally never see red text anywhere, so I'm not sure what even uses that preference.

Re: Eclipse editor [message #1827832 is a reply to message #1827681]

Mon, 25 May 2020 04:56

Eclipse User

The property defines the org.eclipse.jface.preference.JFacePreferences.ERROR_COLOR color, it is used in JFaceColors.getErrorText(...). The color is in the org.eclipse.ui.workbenchMisc category, together with the hyperlink colors, therefore it does not relate to an editor.
It is used in the status-line and find-replace dialog, among others.

Previous Topic:	How to add product logo to "About"?
Next Topic:	Manage Tool Documentation

Goto Forum:

-=] Back to Top [=-

Current Time: Mon Mar 24 20:30:24 EDT 2025

.:: Contact :: Home ::.

Breadcrumbs

Sign up to our Newsletter