Toolbar #1108
Answered
by
Chagall
pauloargenal
asked this question in
Q&A
Toolbar
#1108
Answered by
Chagall
Mar 18, 2021
Replies: 2 comments 1 reply
|
Correct me if I'm wrong but I think these viewers vary from browser to browser. I don't think there is a way to actually modify them. |
0 replies
Answer selected by
diegomura
|
That's correct! Thanks @Chagall ! For the moment all I can help with is pointing out how the REPL is created if someone needs to apply some custom styling. You can find that here. Version 2.0 will support building these sort of implementations internally, but first we need to come up with a nice API |
1 reply
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment

Correct me if I'm wrong but I think these viewers vary from browser to browser. I don't think there is a way to actually modify them.