Download
Getting Started
Members
Projects
Community
Marketplace
Events
Planet Eclipse
Newsletter
Videos
Participate
Report a Bug
Forums
Mailing Lists
Wiki
IRC
How to Contribute
Working Groups
Automotive
Internet of Things
LocationTech
Long-Term Support
PolarSys
Science
OpenMDM
More
Community
Marketplace
Events
Planet Eclipse
Newsletter
Videos
Participate
Report a Bug
Forums
Mailing Lists
Wiki
IRC
How to Contribute
Working Groups
Automotive
Internet of Things
LocationTech
Long-Term Support
PolarSys
Science
OpenMDM
Toggle navigation
Bugzilla – Dependency tree for
Bug 180947
Java editor ignores theme settings
Home
|
New
|
Browse
|
Search
|
[?]
|
Reports
|
Requests
|
Help
|
Log In
[x]
|
Terms of Use
|
Copyright Agent
Some Eclipse Foundation services are deprecated, or will be soon. Please ensure you've read
this important communication.
Max Depth:
Bug 180947
depends on 3 bugs:
view as bug list
180947:
Java editor ignores theme settings
[RESOLVED DUPLICATE; assigned to jdt-text-inbox; target: ---]
180935:
[Preferences][Themes] Color and font settings need a contributed area
[NEW; assigned to platform-ui-triaged; target: ---]
180942:
[Themes] Need a richer theme story
[RESOLVED WORKSFORME; assigned to platform-ui-triaged; target: ---]
180941:
[Themes] Need better default colors and fonts
[RESOLVED INVALID; assigned to Kevin_McGuire; target: ---]
180942:
[Themes] Need a richer theme story
[RESOLVED WORKSFORME; assigned to platform-ui-triaged; target: ---]
(*)
Bug 180947
does not block any bugs.
Max Depth: