Awesome, I was on the right track then. Just started looking at the JSONEditorWidget.prototype.getOptionsFromAttributes function as the problem area when trying to figure out where to set the theme. If that can be set and the appropriate CSS can be extracted from bootstrap it should probably work. :D
-- 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 http://groups.google.com/group/tiddlywiki. To view this discussion on the web visit https://groups.google.com/d/msgid/tiddlywiki/16293e9f-9324-422f-b1c9-1c1a16dc52e6%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
