José Valim e1bab06168 Fix issue with font-family detection (#157)		2021-04-12 18:31:10 +02:00
..
live_editor	Fix issue with font-family detection (#157)	2021-04-12 18:31:10 +02:00
index.js	Make autoscroll behaviour more intuitive (#143)	2021-04-05 15:06:14 +02:00
live_editor.js	Set alwaysConsumeMouseWheel to false instead of disabling it	2021-04-12 13:04:54 +02:00
markdown.js	Add support for math formulas (#151)	2021-04-08 15:31:46 +02:00