13 commits

Author	SHA1	Message	Date
Simon Hausmann	21f9850b43	Small spelling fix	2021-09-29 14:55:08 +02:00
Olivier Goffart	293130e2e3	Also use touch-action: none; in the online editor	2021-08-20 16:28:51 +02:00
Tobias Hunger	aea4ecca99	Apply pre-commit hooks to all files	2021-08-17 22:38:16 +02:00
Simon Hausmann	01c3347d19	Make fluent the new default style ... It's not ugly :-)	2021-08-10 15:56:38 +02:00
Olivier Goffart	23e3c68357	Online editor: ability to select the style	2021-08-07 12:49:53 +02:00
Simon Hausmann	ac5769b1db	Make the permalink visible again	2020-11-02 11:04:47 +01:00
Olivier Goffart	fc9da9b8ea	Fix online editor errors while typing ... the id was changed causing JS errors	2020-10-30 18:09:46 +01:00
Simon Hausmann	69029e2e49	Online editor tweak ... Use a tab bar and show at least one tab with the main source file name Also use bootstrap for the styling	2020-10-30 16:35:04 +01:00
Olivier Goffart	29f4910cbd	Some changes to the online editor ... - Set a small hello world by default - add a permalink - allow to load an URL	2020-10-09 13:14:30 +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
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