Skip to content

Remove the org.eclipse.ui.r30 from the Colors and Fonts theme selection.#4095

Open
elsazac wants to merge 1 commit into
eclipse-platform:masterfrom
elsazac:removeColorFontClassicTheme
Open

Remove the org.eclipse.ui.r30 from the Colors and Fonts theme selection.#4095
elsazac wants to merge 1 commit into
eclipse-platform:masterfrom
elsazac:removeColorFontClassicTheme

Conversation

@elsazac

@elsazac elsazac commented Jun 15, 2026

Copy link
Copy Markdown
Member

The org.eclipse.ui.r30 theme seems to be an old eclipse 3.x workbench theme. Its contribution is now limited to a small set of active-tab styling overrides and it no longer provide a distinct visual experience from default theme. The theme is also unrelated to the former e4 Classic theme which was removed recently (org.eclipse.e4.ui.css.theme.e4_classic), although the shared "Classic" naming can make them appear connected. modern eclipse since relay on the e4 CSS theme framework for appearance, and the org.eclipse.ui.r30 overrides no longer result in a meaningful or distinguishable theme experience, thus could be removed imo.

Contributes to eclipse-platform/eclipse.platform#2760

@github-actions

github-actions Bot commented Jun 15, 2026

Copy link
Copy Markdown
Contributor

Test Results

   864 files  +    2     864 suites  +2   1h 2m 20s ⏱️ + 20m 36s
 8 050 tests ±    0   7 805 ✅  -     2  243 💤 ±  0  2 ❌ +2 
20 589 runs  +1 706  19 932 ✅ +1 535  655 💤 +169  2 ❌ +2 

For more details on these failures, see this check.

Results for commit a7ffee0. ± Comparison against base commit 675a1a3.

♻️ This comment has been updated with latest results.

@elsazac elsazac force-pushed the removeColorFontClassicTheme branch from a916a59 to b017f89 Compare June 15, 2026 12:01
The Classic theme (org.eclipse.ui.r30) seems to be an old Eclipse 3.x
theme that only contributes obsolete active-tab styling. Remove it from
the Colors and Fonts preference page.
@elsazac elsazac force-pushed the removeColorFontClassicTheme branch from b017f89 to a7ffee0 Compare June 15, 2026 12:59
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant