mdbook/theme/playground_editor/
mod.rs

1//! Theme dependencies for the playground editor.
2
3pub static JS: &[u8] = include_bytes!("editor.js");
4pub static ACE_JS: &[u8] = include_bytes!("ace.js");
5pub static MODE_RUST_JS: &[u8] = include_bytes!("mode-rust.js");
6pub static MODE_C_CPP_JS: &[u8] = include_bytes!("mode-c_cpp.js");
7pub static THEME_DAWN_JS: &[u8] = include_bytes!("theme-dawn.js");
8pub static THEME_MONOKAI_JS: &[u8] = include_bytes!("theme-monokai.js");
9pub static THEME_TOMORROW_NIGHT_JS: &[u8] = include_bytes!("theme-tomorrow_night.js");