Skip to content

Conversation

Copy link
Contributor

Copilot AI commented Dec 29, 2025

The commit options menu in the Home view's active branch card had no padding at the top, causing the first menu item to sit flush against the menu edge while the bottom had proper spacing.

Changes

  • src/webviews/apps/shared/components/overlays/popover.ts: Normalized padding for menu-appearance popovers
 :host([appearance='menu']) {
-  --sl-tooltip-padding: 0 var(--sl-spacing-2x-small) var(--sl-spacing-2x-small);
+  --sl-tooltip-padding: var(--sl-spacing-2x-small);
   --sl-tooltip-font-size: var(--vscode-font-size);
   --sl-tooltip-background-color: var(--vscode-menu-background);
   --arrow-color: var(--vscode-menu-background);
 }

Applies consistent 0.4rem padding on all sides instead of asymmetric top (0) / sides (0.4rem) / bottom (0.4rem).

Original prompt

This section details on the original issue you should resolve

<issue_title>Fix padding in commit options menu</issue_title>
<issue_description>In the active commit card on Home, the top item in the commit options menu is missing some padding at the top.

Image

Image</issue_description>

<agent_instructions>At the top of the Home View in GitLens, there is an active branch card that shows details about the currently checked-out branch. That card has a menu that shows options for what you can do with the working changes on that branch, like generating a commit message, explaining changes, etc. The top menu item in that list is missing some padding on the top to separate the top item from the top of the menu. The fix should use the same amount of space on the bottom of the menu that separates the bottom menu item from the bottom of the menu.</agent_instructions>

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


💬 We'd love your input! Share your thoughts on Copilot coding agent in our 2 minute survey.

Copilot AI changed the title [WIP] Fix padding in commit options menu Fix missing top padding in commit options menu Dec 29, 2025
Copilot AI requested a review from justinrobots December 29, 2025 19:48
@justinrobots justinrobots requested a review from d13 December 29, 2025 19:52
@justinrobots justinrobots added this to the 17.9 milestone Dec 29, 2025
@justinrobots justinrobots marked this pull request as ready for review January 5, 2026 14:41
@d13 d13 self-assigned this Jan 7, 2026
@d13 d13 force-pushed the copilot/fix-padding-commit-options-menu branch 2 times, most recently from f08fc51 to f3db60d Compare January 7, 2026 21:38
Co-authored-by: justinrobots <3358707+justinrobots@users.noreply.github.com>
@d13 d13 force-pushed the copilot/fix-padding-commit-options-menu branch from f3db60d to 3a6eedf Compare January 7, 2026 21:39
@d13
Copy link
Member

d13 commented Jan 7, 2026

LTGM

@d13 d13 merged commit cc1ea0d into main Jan 7, 2026
3 checks passed
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.

Fix padding in commit options menu

3 participants