Thanks Tony, That's true, I can always do that. Also I found that by changing the "font-family" from the default monospace to another monospace that happened to exist on my system (Inconsolata) I got a more reasonable size, just because that font happened to be a more moderate width for a given point size.
On Wednesday, August 5, 2020 at 6:34:36 PM UTC-4, TW Tones wrote: > > 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/698cfa7e-f9c1-41ae-918a-2a0f33046e33o%40googlegroups.com.
