Paul Slaughter 1bafad515f IDE trigger files change event ... - On CMD+S when editor is focused - On editor blur - When file is created in tree - When file is removed in tree - When file is renamed in tree		2019-06-07 01:29:55 -05:00
..
common	…
decorations	…
diff	…
themes	…
editor.js	…
editor_options.js	Comply with `no-implicit-coercion` rule (CE)	2019-06-03 22:51:02 +00:00
files.js	…
keymap.json	IDE trigger files change event	2019-06-07 01:29:55 -05:00