/app/assets/javascripts/ide/lib/
../
common
decorations
diff
editor.js
editor_options.js
keymap.json
themes