Thanks, I don't know why Codemirror won't use the theme, I tried a number of different ways to get the stylesheet in, but none of them worked, so I decided to just let it go.
Thanks for the reply. On Friday, April 17, 2015 at 6:22:44 AM UTC-7, Jeremy Ruston wrote: > Hi Casey > > On Wed, Apr 15, 2015 at 8:05 PM, Casey Gray <gra...@gmail.com > <javascript:>> wrote: > >> I have got a theme to work with HighlightJS, by creating a tiddler and >> tagging it $:/tag/Stylesheet. I created a couple because I wanted to have >> themes available, but only one works. >> >> Do I need to just have a generic stylesheet tiddler, with the >> $:/tags/Stylesheet tag, and have all the CSS for all plugins in there? >> > > Yes, you can use a single stylesheet tiddler to contain your > customisations for both the highlight and codemirror plugins. But you might > find it easier to manage things by splitting them into separate stylesheet > tiddlers. > > Best wishes > > Jeremy. > > > >> -- >> 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 tiddlywiki+...@googlegroups.com <javascript:>. >> To post to this group, send email to tiddl...@googlegroups.com >> <javascript:>. >> 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/0e5e65a4-e220-4726-941d-4d1c7f5750dd%40googlegroups.com >> >> <https://groups.google.com/d/msgid/tiddlywiki/0e5e65a4-e220-4726-941d-4d1c7f5750dd%40googlegroups.com?utm_medium=email&utm_source=footer> >> . >> For more options, visit https://groups.google.com/d/optout. >> > > > > -- > Jeremy Ruston > mailto:jeremy...@gmail.com <javascript:> > -- 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 tiddlywiki+unsubscr...@googlegroups.com. To post to this group, send email to tiddlywiki@googlegroups.com. 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/290d3db0-bebd-4d65-aee4-0b0712161c99%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.