Hi, I'm trying to figure out how theme switching works. I've found$:/core/modules/pluginswitcher.js and where the theme manager is started ($:/core/modules/startup.js).
What I can't find is how the tiddlers related to the "previous" theme are deleted (?) or removed (?) from the store. I can see that they are "unregistered" and then I loose their trail ... If somebody could fill the blanks ... Thanks Regards FrD -- You received this message because you are subscribed to the Google Groups "TiddlyWikiDev" group. To unsubscribe from this group and stop receiving emails from it, send an email to tiddlywikidev+unsubscr...@googlegroups.com. To post to this group, send email to tiddlywikidev@googlegroups.com. Visit this group at https://groups.google.com/group/tiddlywikidev. To view this discussion on the web visit https://groups.google.com/d/msgid/tiddlywikidev/b0181f2c-77a8-492d-b8d3-c88eebc4d7b3%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
