7 commits

Author	SHA1	Message	Date
zadam	6d8f11d533	fix code editor sometimes not rendering	2019-08-25 19:11:42 +02:00
zadam	4e4beb26c6	codemirro 5.48.4	2019-08-25 18:46:32 +02:00
zadam	c4b957427d	implement print, closes #581	2019-06-29 22:57:47 +02:00
zadam	54e37dea20	codemirror updated to 5.47.0	2019-06-02 09:59:07 +02:00
zadam	79956b5676	mobile web fixes	2019-05-22 20:53:59 +02:00
zadam	119d7367da	tree fixes	2019-05-19 18:21:29 +02:00
zadam	a5fc8d5329	moved libraries and images out of src folder	2019-03-30 09:39:58 +01:00