Skip to content

Fix Other Files separator spacing#324860

Open
justjavac wants to merge 1 commit into
microsoft:mainfrom
justjavac:fix-other-files-separator-spacing
Open

Fix Other Files separator spacing#324860
justjavac wants to merge 1 commit into
microsoft:mainfrom
justjavac:fix-other-files-separator-spacing

Conversation

@justjavac

Copy link
Copy Markdown

Fixes #324457

This updates the Other Files section's header height constant to match its CSS box model:

  • 6px top margin
  • 8px vertical padding
  • 20px min-height

The SplitView body height subtraction now leaves enough room for the header, avoiding the separator/list sitting 2px too close or shifting when the section is toggled.

Verification:

  • git diff --check
  • npm run typecheck-client does not run locally because tsgo is not installed (sh: tsgo: command not found)

Copilot AI review requested due to automatic review settings July 8, 2026 04:29

Copilot AI left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

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

Pull request overview

Adjusts the Sessions “Changes” view layout math so the “Other Files” section header height used by the SplitView matches the actual CSS box model, preventing the separator/list from rendering a couple pixels too close or shifting when toggling.

Changes:

  • Updated SessionFilesWidget.HEADER_HEIGHT from 32 to 34 to account for margin-top (6px) + padding-y (8px) + min-height (20px).

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.

Agents - Other files separator too close to the list

3 participants