Ed I am glade you found a better way, would you still like to
get a button on the toolbar that would toggle whether I'm using CodeMirror > or the vanilla editor? Another way may be to look at other ways to edit a tiddler using templates etc.. Regards TW Tones On Thursday, August 6, 2020 at 10:21:56 PM UTC+10, Ed Heil wrote: > > 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/eeeb111d-7fba-44db-8f0c-a4b38d7e6201o%40googlegroups.com.
