Skip to content
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.

Sign up for GitHub

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

Jump to bottom

Widen splitter in all relevant splits on hover #7982

Closed
isglass opened this issue Dec 4, 2023 · 0 comments
Closed

Widen splitter in all relevant splits on hover #7982

isglass opened this issue Dec 4, 2023 · 0 comments
Assignees
@matsbryntse
Labels
feature request internal Internal task resolved Fixed but not yet released (available in the nightly builds)
Milestone
5.6.3

Comments

@isglass
Copy link
Contributor

isglass commented Dec 4, 2023

When hovering it in one split, it should expand in the split below
@matsbryntse matsbryntse self-assigned this Dec 5, 2023
@matsbryntse matsbryntse added ready for review Issue is fixed, the pull request is being reviewed resolved Fixed but not yet released (available in the nightly builds) and removed ready for review Issue is fixed, the pull request is being reviewed labels Dec 5, 2023
@matsbryntse matsbryntse added this to the 5.6.3 milestone Dec 6, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@matsbryntse matsbryntse

Labels
feature request internal Internal task resolved Fixed but not yet released (available in the nightly builds)
Projects
None yet
Milestone
5.6.3
Development

No branches or pull requests
2 participants
@matsbryntse @isglass