Jonatan Kłosko ee2602c932 Keep indentation when pasting code into the editor (#779)		2021-12-09 12:18:41 +01:00
..
live_editor	Allow for XML syntax highlighting in markdown cells (#743)	2021-12-04 15:02:53 +01:00
index.js	Improve "changed" indicator and batch evaluation shortcuts (#766)	2021-12-07 19:14:32 +01:00
live_editor.js	Keep indentation when pasting code into the editor (#779)	2021-12-09 12:18:41 +01:00
markdown.js	Don't sanitize KaTeX rendered SVGs (#684)	2021-11-06 21:25:07 +01:00