I did look at theme tweaks (the "code family" options) but it all seems the same as it was before. I don't have the codemirror plugin. The change happened after I dragged over the "punch" theme, for presentation purposes.
On Thursday, 26 January 2017 08:19:41 UTC-5, Jeremy Ruston wrote: > > Hi Andrew > > One possibility is that you have installed the CodeMirror plugin; it > defaults to Courier. > > Best wishes > > Jeremy > > -- > Jeremy Ruston > [email protected] <javascript:> > http://jermolene.com > > On 26 Jan 2017, at 11:32, PMario <[email protected] <javascript:>> wrote: > > Hi Andrew, > > Have a look at: http://tiddlywiki.com/#%24%3A%2FControlPanel Appearence: > ThemeTweeks tab. > > -m > > -- > 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] <javascript:>. > To post to this group, send email to [email protected] > <javascript:>. > 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/11536219-90d4-4b74-97dd-1ee0e61fd606%40googlegroups.com > > <https://groups.google.com/d/msgid/tiddlywiki/11536219-90d4-4b74-97dd-1ee0e61fd606%40googlegroups.com?utm_medium=email&utm_source=footer> > . > For more options, visit https://groups.google.com/d/optout. > > -- 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/ef94e2e7-e802-4da8-98b0-45d6b31170c8%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
