mirror of
https://github.com/Jermolene/TiddlyWiki5
synced 2025-03-31 15:56:55 +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