//! Theme dependencies for the playpen editor. | |
pub static JS: &[u8] = include_bytes!("editor.js"); | |
pub static ACE_JS: &[u8] = include_bytes!("ace.js"); | |
pub static MODE_RUST_JS: &[u8] = include_bytes!("mode-rust.js"); | |
pub static THEME_DAWN_JS: &[u8] = include_bytes!("theme-dawn.js"); | |
pub static THEME_TOMORROW_NIGHT_JS: &[u8] = include_bytes!("theme-tomorrow_night.js"); |