Update ace editor to v1.4.4 (rust-lang#935)

Ruin0x11 · May 25, 2019 · e362763 · e362763
1 parent d468ae0
commit e362763
Show file tree

Hide file tree

Showing 4 changed files with 26 additions and 6 deletions.
diff --git a/src/theme/playpen_editor/ace.js b/src/theme/playpen_editor/ace.js
diff --git a/src/theme/playpen_editor/mode-rust.js b/src/theme/playpen_editor/mode-rust.js
diff --git a/src/theme/playpen_editor/theme-dawn.js b/src/theme/playpen_editor/theme-dawn.js