Skip to content

Use dialog font in editor drop-down and drop bold-when-hidden marker #3940

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
vogella wants to merge 1 commit into
base: master
Choose a base branch
from

Use dialog font in editor drop-down and drop bold-when-hidden marker

7720790
Select commit
Loading
Failed to load commit list.
Open

Use dialog font in editor drop-down and drop bold-when-hidden marker #3940

Use dialog font in editor drop-down and drop bold-when-hidden marker
7720790
Select commit
Loading
Failed to load commit list.
Jenkins - Eclipse Platform / API Tools succeeded Apr 28, 2026 in 0s

No new issues, 295 total

Total New Outstanding Fixed Trend
295 0 295 0 💤

Reference build: eclipse.platform.ui » master #1547

Details

Severity distribution of all issues

Error Warning High Warning Normal Warning Low
0 0 295 0
View more details on Jenkins - Eclipse Platform