2020-06-22 07:34:25 -07:00
|
|
|
//! Theme dependencies for the playground editor.
|
2017-06-29 00:35:20 -04:00
|
|
|
|
2019-05-31 23:01:02 +07:00
|
|
|
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");
|
