8 commits

Author	SHA1	Message	Date
Olivier Goffart	47ee896b57	Online editor: Ability to open any snippet passed in the query	2020-10-07 15:33:04 +02:00
Olivier Goffart	117e1d3389	Online-editor: Add a compilation button ... Fixes #76	2020-10-07 15:12:38 +02:00
Olivier Goffart	f592a04f3d	Online code editor: load the demo from github	2020-10-06 13:03:51 +02:00
Olivier Goffart	c9d60d3575	Online editor: clear errors	2020-10-06 11:50:49 +02:00
Olivier Goffart	1f50e8c85e	Highlight the error in the online editor	2020-10-06 11:33:44 +02:00
Simon Hausmann	79150a9b20	Apply the same license (check) as for .js files	2020-10-05 16:06:14 +02:00
Simon Hausmann	5d392db2cf	Use the local wasm interpreter for the online editor	2020-10-05 15:38:07 +02:00
Simon Hausmann	f74ae174b6	Ported the online editor across into this repo ... This now uses npm and webpack to pull in Monaco as external dependency.	2020-10-05 15:05:55 +02:00