…
..
common	…
decorations	…
diff	…
themes	…
editor.js	…
editor_options.js	…
files.js	…
keymap.json	…