Hugo Locurcio 8b08146894 Add a welcome dialog to the HTML5 editor ... This modal dialog displayed when the page is loaded. It can be dismissed permanently by clicking the "OK, don't show again" button. Clicking outside the modal will only dismiss it once. This dialog is used to remind people that the HTML5 editor is still in release candidate stage and isn't considered production-ready yet.		2021-03-17 21:50:18 +01:00
..
editor.html	Add a welcome dialog to the HTML5 editor	2021-03-17 21:50:18 +01:00
fixed-size.html	Remove empty lines around braces with the formatting script	2020-11-16 23:38:11 -05:00
full-size.html	Remove unused variables from full-size.html	2021-02-21 16:02:15 +00:00
logo.svg	Remove two very slightly displaced duplicate vertices on Gobot's face	2020-12-11 07:05:54 +01:00
manifest.json	[HTML5] Add PWA support to the editor page.	2021-03-08 17:06:24 +01:00
offline.html	[HTML5] Add PWA support to the editor page.	2021-03-08 17:06:24 +01:00
service-worker.js	[HTML5] Add PWA support to the editor page.	2021-03-08 17:06:24 +01:00