Skip to content

Improve handling of terminal manager preferences & element deletion#16827

Merged
colin-grant-work merged 7 commits intomasterfrom
bugfix/terminal-manager-enablement
Jan 20, 2026
Merged

Improve handling of terminal manager preferences & element deletion#16827
colin-grant-work merged 7 commits intomasterfrom
bugfix/terminal-manager-enablement

Conversation

@colin-grant-work
Copy link
Contributor

What it does

Fixes #16759

How to test

  1. Set terminal.grouping.mode to tabbed
  2. The Terminal Manager should not be present in the Menu View > Open View area.
  3. Attempting to create a new terminal should create a new tabbed terminal.

  1. Set terminal.grouping.mode to tree and open the Terminal Manager view.
  2. Switch the setting back to tabbed
  3. The terminal manager should close and any terminals in it should be moved to the bottom panel.

Behaviors implemented in #16807 should be retained, and selection transfer should work correctly even when the first of two pages is selected.

Follow-ups

Breaking changes

  • This PR introduces breaking changes and requires careful review. If yes, the breaking changes section in the changelog has been updated.

Attribution

Review checklist

Reminder for reviewers

Copy link
Member

@ndoschek ndoschek left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks a lot for this great improvement Colin!
The switch between the two modes is incredibly smooth and works great!

Everything works as expected, I also repeated my test cases from the linked PR and everything looks great to me!
I just have a minor comment inline and also the linting is failing, but this should be an easy fix I think.
Would be great if you could have a quick look there! TIA!

Comment on lines +42 to +43
@inject(PreferenceService)
protected readonly preferenceService: PreferenceService;
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

minor: as we also inject the TerminalManagerPreferences proxy above, we could skip this inject here as we can call ready and on onPreferenceChanged also on the proxy.

@colin-grant-work colin-grant-work force-pushed the bugfix/terminal-manager-enablement branch from d29b724 to ef7bafd Compare January 19, 2026 16:07
Copy link
Member

@ndoschek ndoschek left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks for the update, LGTM 🎉

@github-project-automation github-project-automation bot moved this from Waiting on reviewers to Needs merge in PR Backlog Jan 20, 2026
@colin-grant-work colin-grant-work merged commit 4556d7a into master Jan 20, 2026
10 checks passed
@colin-grant-work colin-grant-work deleted the bugfix/terminal-manager-enablement branch January 20, 2026 14:56
@github-project-automation github-project-automation bot moved this from Needs merge to Done in PR Backlog Jan 20, 2026
@github-actions github-actions bot added this to the 1.68.0 milestone Jan 20, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Archived in project

Development

Successfully merging this pull request may close these issues.

terminal-manager view conflicts with tabbed terminal layout

2 participants