Skip to content

Conversation

Copy link
Contributor

Copilot AI commented Oct 31, 2025

When the terminal tabs list overflows and displays a scrollbar, the scrollbar ends directly adjacent to the chat terminal button with no visual separation, making it difficult to distinguish the scrollable area from the button.

Changes

  • terminalTabsChatEntry.ts: Added overflow detection in update() method

    • Queries for .monaco-scrollable-element and caches reference
    • Compares scrollHeight vs clientHeight to detect scrollbar presence
    • Toggles has-scroll-separator class dynamically
  • terminalTabbedView.ts: Pass tabs list container to chat entry via setTabsListContainer()

  • terminal.css: Added border-top rule for has-scroll-separator class using --vscode-terminal-border theme variable

The separator appears only when overflow is detected and uses the existing theme border color for consistency.

Original prompt

This section details on the original issue you should resolve

<issue_title>Chat terminal button reduces space available to actual terminal tabs significantly</issue_title>
<issue_description>Repro:

  1. Run ls in chat
  2. Create many terminals

Observe:

The scroll area does not extend right up to the chat terminals button:

Image

We should consider some separator above the chat terminals text, maybe only when there's a scroll bar in the main list as they'll be right up next to each other:

Image

This is important since having this chat terminal button is likely going to be a constant for those engaged with chat.</issue_description>

Comments on the Issue (you are @copilot in this section)


✨ Let Copilot coding agent set things up for you — coding agent works faster and does higher quality work when set up for your repo.

Copilot AI changed the title [WIP] Fix chat terminal button space issue for terminal tabs Add visual separator to chat terminal button when scrollbar is present Oct 31, 2025
Copilot AI requested a review from meganrogge October 31, 2025 21:16
Copilot finished work on behalf of meganrogge October 31, 2025 21:16
@meganrogge meganrogge closed this Oct 31, 2025
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.

Chat terminal button reduces space available to actual terminal tabs significantly

2 participants