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

fix(web): Add max height to error panel #3524

Merged
merged 1 commit into from
Sep 17, 2023
Merged

fix(web): Add max height to error panel #3524

merged 1 commit into from
Sep 17, 2023

Conversation

AaronMoat
Copy link
Contributor

Resolves #3348

Example:

image

@max-sixty
Copy link
Member

Thank you @AaronMoat !

@max-sixty max-sixty enabled auto-merge (squash) September 17, 2023 07:02
@max-sixty max-sixty merged commit c65519d into PRQL:main Sep 17, 2023
52 of 56 checks passed
@prql-bot prql-bot mentioned this pull request Sep 17, 2023
Merged
prql-bot pushed a commit that referenced this pull request Sep 17, 2023
@AaronMoat @github-actions
fix(web): Add max height to error panel (#3524)
49d3509 
(cherry picked from commit c65519d)
prql-bot added a commit that referenced this pull request Sep 17, 2023
@prql-bot @AaronMoat
chore: Backport #3524 to web (#3525)
a4ec407 
Co-authored-by: Aaron Moat <2937187+AaronMoat@users.noreply.github.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
pr-backport-web
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

Long error messages completely block the playground window
2 participants
@AaronMoat @max-sixty