On Sunday, July 9, 2017 at 7:18:05 PM UTC-4, Dragon Cotterill wrote: > > Try the venerable TiddlyTools. > http://www.tiddlytools.com/#SwitchThemePlugin > <http://www.google.com/url?q=http%3A%2F%2Fwww.tiddlytools.com%2F%23SwitchThemePlugin&sa=D&sntz=1&usg=AFQjCNGhF94Fl7IukgCwvRlrK2Jq8HRIbA>
I have tried that, and there is seemingly no way to actually change the theme, and I don't really like most of the themes. Am I better off simply creating my own theme? -- You received this message because you are subscribed to the Google Groups "TiddlyWiki" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/tiddlywiki. To view this discussion on the web visit https://groups.google.com/d/msgid/tiddlywiki/a40eb489-17d8-43ad-9ff2-6080214a94fa%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
