You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

silverwind 9249c810b8 Switch code editor to Monaco (#11366) ... * Switch code editor to Monaco This switches out CodeMirror for Monaco which is based on the same code base as VS code and should work pretty similar to it. It does add a few async chunks, totalling around 10MB to our build. It currently supports around 65 languages and in the default configuration, each language would emit one ugly [number].js chunk, so I opted to combine them all into a single file for now. CodeMirror is still being used under the hood by SimpleMDE so it can not be removed yet. * inline editorconfig, fix diff, use for markdown, remove more dead code * refactors, remove jquery usage * use tab_width * fix intellisense * rename function for clarity * misc tweaks, enable webpack progress display * only use --progress on dev build * remove useless borders in arc-green * fix typo * remove obsolete comment * small refactor * fix file creation and various refactors * unset useTabStops too when no editorconfig * small refactor * disable webpack's [big] warnings * remove useless await * fix dark theme check * rename chunk to 'monaco' * add to .gitignore and delete webpack dest before build * increase editor height * support more editorconfig properties * remove empty element filter * rename Co-authored-by: John Olheiser <john.olheiser@gmail.com>		5 years ago
..
clipboard.js	…
codeeditor.js	Switch code editor to Monaco (#11366)	5 years ago
contextpopup.js	Support unicode emojis and remove emojify.js (#11032)	5 years ago
datetimepicker.js	…
dropzone.js	…
emoji.js	Support unicode emojis and remove emojify.js (#11032)	5 years ago
gitgraph.js	Misc JS linting and naming tweaks (#10652)	5 years ago
highlight.js	…
highlight.worker.js	…
notification.js	Add EventSource support (#11235)	5 years ago
tribute.js	Support unicode emojis and remove emojify.js (#11032)	5 years ago
userheatmap.js	…