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 315743
[terminal] Provide a Preference setting for changing Terminal font
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 315743
depends on 2 bugs:
view as bug list
315743:
[terminal] Provide a Preference setting for changing Terminal font
[RESOLVED WORKSFORME; assigned to tm.core-inbox; target: ---]
265352:
[terminal][api] Terminal widget should allow setting fonts programmatically
[RESOLVED FIXED; assigned to mober.at+eclipse; target: 3.4 M7]
247700:
RSE Terminal uses ugly fonts in JEE package
[CLOSED FIXED; assigned to mober.at+eclipse; target: 3.0.3]
Bug 315743
does not block any bugs.
Max Depth: