Ed, A very simple question on font size, have you use a middle ctrl-Mouse roller, or ctrl + ctrl - ?
Zooming in and out often has a greater influence than any permanent setting. Regards Tony - On Thursday, August 6, 2020 at 12:43:23 AM UTC+10, Ed Heil wrote: > > I just installed codemirror for the first time, and it seems quite > outstanding for editing anything with code. But I'm not that interested in > using it for ordinary editing because the fonts are kinda large and I don't > need monospacing when I'm just writing plain text. So there are a couple > things that would be helpful that weren't obvious to me -- > > * can I get a button on the toolbar that would toggle whether I'm using > CodeMirror or the vanilla editor? > > * is there a place to change the font-size of the CodeMirror editor text? > > Thanks! > > -- 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 view this discussion on the web visit https://groups.google.com/d/msgid/tiddlywiki/3c8b05b6-3450-489e-9d08-6bcd24a40114o%40googlegroups.com.
