3 Commits

Include renames

Author	SHA1	Message	Date
Zef Hemel	e5c137a505	Fixes #1411: adds 'priority' setting for space style	2025-06-04 11:36:39 +02:00
Zef Hemel	45b767fd3c	Lua widgets: html can now also be a DOM node ... Encoding some more space lua priorities and documenting them	2025-03-28 17:38:32 +01:00
Zef Hemel	0bc5cb7356	Library/Std moved to top level, now bundled in same way as plugs	2025-03-24 17:08:04 +01:00