I think we could probably make an interface similar to what Bob has where you can select plugins from a list of checkboxes that you can check or uncheck to set which plugins you have. In the single file wiki it would then open the correct libraries and get your plugins. You would still need to reload for JavaScript plugins but I don't know if a way around that is a good idea.
-- 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 [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/tiddlywikidev/7ddefe7d-d90b-4002-b7e1-e191c3348c5a%40googlegroups.com.
