Skip to content

Add max height to hover#164093

Merged
rzhao271 merged 2 commits intomainfrom
rzhao271/hover-max-height
Oct 24, 2022
Merged

Add max height to hover#164093
rzhao271 merged 2 commits intomainfrom
rzhao271/hover-max-height

Conversation

@rzhao271
Copy link
Copy Markdown
Collaborator

@rzhao271 rzhao271 commented Oct 19, 2022

Ref #159088
Fixes #158921

This PR splits off and improves part of #163879

@rzhao271 rzhao271 self-assigned this Oct 19, 2022
@rzhao271 rzhao271 requested a review from Tyriar October 19, 2022 23:57
@rzhao271 rzhao271 added this to the October 2022 milestone Oct 19, 2022
}

// Make sure not to accidentally enlarge the hover when setting a maxHeight for it
maxHeight = Math.min(maxHeight, this._hover.containerDomNode.clientHeight);
Copy link
Copy Markdown
Collaborator Author

@rzhao271 rzhao271 Oct 21, 2022

Choose a reason for hiding this comment

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

I'm thinking this might be redundant, but it was a worry expressed in #163879 (comment)

@rzhao271 rzhao271 merged commit e63406a into main Oct 24, 2022
@rzhao271 rzhao271 deleted the rzhao271/hover-max-height branch October 24, 2022 15:16
formigoni pushed a commit to formigoni/vscode that referenced this pull request Oct 27, 2022
Co-authored-by: Daniel Imms <2193314+Tyriar@users.noreply.github.com>
@github-actions github-actions bot locked and limited conversation to collaborators Dec 8, 2022
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Settings Modified Elsewhere indicator hover content overflows

4 participants