Julien Lubimiv 0575532c60 randomize is now default, seedControls are visible so long as seed is a widget		2023-03-30 02:30:53 -04:00
..
extensions	randomize is now default, seedControls are visible so long as seed is a widget	2023-03-30 02:30:53 -04:00
lib	Change close on mouseleave to false	2023-03-24 19:18:58 +01:00
scripts	randomize is now default, seedControls are visible so long as seed is a widget	2023-03-30 02:30:53 -04:00
index.html	Remove mobile client-side zoom	2023-03-17 10:36:50 +01:00
jsconfig.json	Added support for converting widgets to inputs (and back)	2023-03-23 21:37:19 +00:00
style.css	Draggable menu	2023-03-25 20:23:46 -03:00