mirror of
https://github.com/Jermolene/TiddlyWiki5
synced 2026-02-26 03:49:53 +00:00
This mechanism will only be triggered by changes to the stylesheet tiddlers themselves, and not to any dependencies that they might have. It'll stay that way for a while. The next thing is making the theme manager actually switch themes, forcing the right wiki change events to make the stylesheet manager update itself