Module mdbook::theme::playpen_editor
[−]
[src]
Structs
| PlaypenEditor |
Integration of a JavaScript editor for playpens. Uses the Ace editor: https://ace.c9.io/. The Ace editor itself, the mode, and the theme files are the generated minified no conflict versions. |
Statics
| ACE_JS | |
| JS | |
| MODE_RUST_JS | |
| THEME_DAWN_JS | |
| THEME_TOMORROW_NIGHT_JS |