-
-
Notifications
You must be signed in to change notification settings - Fork 171
fix: make repl console scrollable #1477
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
base: main
Are you sure you want to change the base?
Changes from 7 commits
a1f4b1a
b6c094e
f2ba622
390587a
49133bf
4852626
bac3986
930da93
fbe867f
5f269ee
3d5a777
File filter
Filter by extension
Conversations
Jump to
Diff view
Diff view
There are no files selected for viewing
Original file line number | Diff line number | Diff line change |
---|---|---|
|
@@ -121,7 +121,8 @@ | |
} | ||
|
||
.panel-body { | ||
overflow: auto; | ||
overflow: scroll; | ||
max-height: 100%; | ||
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. This fixes it but makes it bigger than its current size because it fills the height of the container and doesn't take into account the height of the console controls we have at the top. This causes some of the console logs to be hidden. I wonder if we can easily fix this by wrapping the panel body in another container. |
||
} | ||
|
||
.panel-heading { | ||
|
Uh oh!
There was an error while loading. Please reload this page.