Skip to content

fix: height of the infoview#120

Merged
joneugster merged 1 commit into
leanprover-community:mainfrom
robsimmons:height-bugfix
Jun 27, 2026
Merged

fix: height of the infoview#120
joneugster merged 1 commit into
leanprover-community:mainfrom
robsimmons:height-bugfix

Conversation

@robsimmons

Copy link
Copy Markdown
Contributor

There's a (generally minor) problem where if you resize the window smaller, the "Restart File" button gets hidden. Flexbox sets min-height to auto, which apparently means it can't shrink beyond its initial height. min-height 0 fixes this.

(And the editor-wrapper class isn't mentioned anywhere so this deletes it.)

@joneugster joneugster merged commit fb882e4 into leanprover-community:main Jun 27, 2026
2 of 5 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants