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.

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

Fix odd rendering when splitter dragged to the top #71

Closed
magland opened this issue Jun 14, 2024 · 1 comment · Fixed by #135
Closed

Fix odd rendering when splitter dragged to the top #71

magland opened this issue Jun 14, 2024 · 1 comment · Fixed by #135
Labels
bug Something isn't working UI
Milestone

Comments

@magland
Copy link
Collaborator

magland commented Jun 14, 2024

From Brian:

Also, I don't think this is a new behavior here, but just noting that some really odd rendering happens if you drag the separator of the output area to the top of the window:

image

Originally posted by @WardBrian in #47 (review)

@WardBrian WardBrian added bug Something isn't working UI labels Jun 14, 2024
@WardBrian WardBrian added this to the 1.0 milestone Jun 14, 2024
@magland
Copy link
Collaborator Author

magland commented Jun 26, 2024

Just a note... we may want to eventually swap out this custom splitter for something maintained by a third party... as part of a larger overhaul.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working UI
Projects
None yet
Development

Successfully merging a pull request may close this issue.

2 participants