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