You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
This repository has been archived by the owner on Jun 21, 2022. It is now read-only.
Currently, with the JS editor, if an example has more than 12 lines, the editor overflows and gets a scrollbar. 12 lines is a good maximum for most cases, but sometimes we really want to go over 12 lines. In these cases, it would be better to make the editor bigger, to avoid scrollbars.
We could support this by letting the EmbedInteractiveExample macro take a parameter asking for more space, and passing it on pages which need it.
The text was updated successfully, but these errors were encountered:
Currently, with the JS editor, if an example has more than 12 lines, the editor overflows and gets a scrollbar. 12 lines is a good maximum for most cases, but sometimes we really want to go over 12 lines. In these cases, it would be better to make the editor bigger, to avoid scrollbars.
We could support this by letting the EmbedInteractiveExample macro take a parameter asking for more space, and passing it on pages which need it.
The text was updated successfully, but these errors were encountered: