Eclipse Community Forums: Eclipse Platform

Help

Home

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

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

Eclipse editor [message #1827638]

Tue, 19 May 2020 19:11

Nicolas Perez

Messages: 1
Registered: May 2020

Junior Member

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.

Report message to a moderator

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

Wed, 20 May 2020 15:30

Ed Merks

Messages: 32836
Registered: July 2009

Senior Member

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.

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

Report message to a moderator

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

Mon, 25 May 2020 08:56

Rolf Theunissen

Messages: 259
Registered: April 2012

Senior Member

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.

Report message to a moderator

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

Goto Forum:

-=] Back to Top [=-

[ Syndicate this forum (XML) ] [

]

Current Time: Thu Jun 08 06:32:37 GMT 2023

.:: Contact :: Home ::.

Breadcrumbs

Sign up to our Newsletter