-
Notifications
You must be signed in to change notification settings - Fork 31k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Significantly increase maxHeight of hover widget #242702
base: main
Are you sure you want to change the base?
Conversation
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
This is a pretty scary change to do generally, I think we should instead have an option that allows the user to override. maxHeightRelativeToWindow=0.5
or something, there's probably a nicer name
An example of what could happen is the hover could be so high it obscures the target it's under. I have a similar problem with terminal tabs where there isn't enough horizontal space to show it fully on the size, so it obscures the terminal tab, making it impossible to click. |
I see your point, to me it seemed more important to be able to read the hover content than to see the target which is why I suggested ths change. After thinking about this more. I think maxHeight should depend on the position of the target. If the target is at the bottom of the window, then maxHeight should be around 95% of the window, but when the target is in the center of the window, then it should only be around 45%. I think we should be solving this problem and not adding another option. |
@benibenj I just don't want to deal with a long tail of "this hover is too big" issues that could come from this. Special casing hovers in the status bar by checking something like the target is within ~2px of bottom of screen and |
What if we do not set a max height when the option |
|
Copilot Generated Description:
Increase the maximum height of the hover widget to 90% of the target window's inner height.fixes #242377
cc @Tyriar