Skip to content

Let a theme place the perspective switcher - #4475

Merged
vogella merged 1 commit into
eclipse-platform:masterfrom
vogella:lv/perspective-switcher-side
Oct 12, 2026
Merged

vogella merged 1 commit into
eclipse-platform:masterfrom
vogella:lv/perspective-switcher-side

Conversation

@vogella

@vogella vogella commented Oct 10, 2026

Copy link
Copy Markdown
Contributor

A new workbench preference, perspectiveSwitcherSide, moves the perspective switcher to the top, bottom, left or right trim, where it re-renders with the matching orientation. Themes set it through the existing CSS preferences mechanism, for example IEclipsePreferences#org-eclipse-ui-workbench { preferences: 'perspectiveSwitcherSide=left'; }, which gives a vertical, activity-bar style switcher as in VS Code, without any change to the CSS engine. The side last applied is remembered on the switcher, so a position the user drags it to survives restarts until the preference changes, and switching to a theme without the rule moves it back to the top. docs/CSS.md describes the preferences rule and the new key.

vogella added a commit to vogellacompany/eclipse-themes that referenced this pull request Oct 10, 2026
VS Code shows its views in a vertical activity bar on the left. The
theme now sets perspectiveSwitcherSide=left, which Eclipse releases with
eclipse-platform/eclipse.platform.ui#4475 apply and older ones ignore.

Assisted-by: multiple AI agents and layers of automated tooling 🤖
@github-actions

github-actions Bot commented Oct 10, 2026 •

Copy link
Copy Markdown
Contributor

Test Results

   867 files     867 suites   49m 12s ⏱️
 8 414 tests  8 172 ✅ 242 💤 0 ❌
21 117 runs  20 434 ✅ 683 💤 0 ❌

Results for commit 3ed10c9.

♻️ This comment has been updated with latest results.

@vogella
vogella force-pushed the lv/perspective-switcher-side branch from 1e502d5 to fde03fc Compare October 11, 2026 10:44
The new workbench preference perspectiveSwitcherSide moves the
perspective switcher to the top, bottom, left or right trim. A theme
sets it like any other preference, for example
IEclipsePreferences#org-eclipse-ui-workbench {
preferences: 'perspectiveSwitcherSide=left'; }, which gives an
activity-bar style vertical switcher. The side last applied is kept in
the switcher's persisted state, so a position the user picks by
dragging stays until the preference changes again.

Assisted-by: multiple AI agents and layers of automated tooling 🤖
@vogella
vogella force-pushed the lv/perspective-switcher-side branch from fde03fc to 3ed10c9 Compare October 11, 2026 18:20
@vogella
vogella merged commit 1c02286 into eclipse-platform:master Oct 12, 2026
18 checks passed
@vogella
vogella deleted the lv/perspective-switcher-side branch October 12, 2026 13:09
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