3 Commits

Author	SHA1	Message	Date
Henrik Giesel	95dad1abc1	Match and fold tags	2021-06-17 20:27:34 +02:00
Henrik Giesel	7f76a98546	Apply the Monokai theme	2021-06-17 17:18:00 +02:00
Henrik Giesel	8b15c81d34	Display CodeMirror in editingArea	2021-06-17 14:44:03 +02:00