Skip to content

sessions - disable hover for now#296102

Merged
bpasero merged 1 commit intomainfrom
ben/testy-spoonbill
Feb 18, 2026
Merged

sessions - disable hover for now#296102
bpasero merged 1 commit intomainfrom
ben/testy-spoonbill

Conversation

@bpasero
Copy link
Member

@bpasero bpasero commented Feb 18, 2026

No description provided.

Copilot AI review requested due to automatic review settings February 18, 2026 20:14
@bpasero bpasero enabled auto-merge (squash) February 18, 2026 20:14
@bpasero bpasero self-assigned this Feb 18, 2026
Copy link
Contributor

Copilot AI left a comment

Choose a reason for hiding this comment

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

Pull request overview

Disables the (large/complex) agent session hover UI in the standalone Sessions view (vs/sessions) by threading a disableHover option through the shared Agent Sessions control/renderer.

Changes:

  • Add an optional disableHover flag to IAgentSessionRendererOptions and early-return in hover rendering.
  • Add an optional disableHover flag to IAgentSessionsControlOptions so callers can pass the setting through.
  • Set disableHover: true when instantiating AgentSessionsControl in AgenticSessionsViewPane.

Reviewed changes

Copilot reviewed 3 out of 3 changed files in this pull request and generated no comments.

File Description
src/vs/workbench/contrib/chat/browser/agentSessions/agentSessionsViewer.ts Adds disableHover renderer option and skips hover setup when enabled.
src/vs/workbench/contrib/chat/browser/agentSessions/agentSessionsControl.ts Exposes disableHover on control options to pass through to the renderer.
src/vs/sessions/contrib/sessions/browser/sessionsViewPane.ts Disables hover for the Sessions window’s embedded Agent Sessions list.

@vs-code-engineering vs-code-engineering bot added this to the February 2026 milestone Feb 18, 2026
@bpasero bpasero merged commit 4831ff5 into main Feb 18, 2026
24 checks passed
@bpasero bpasero deleted the ben/testy-spoonbill branch February 18, 2026 21:14
meganrogge pushed a commit that referenced this pull request Feb 18, 2026
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.

2 participants

Comments