[email protected] wrote: > @Mat, > You might explain that in the readme for the plugin if/when upgrading. > I liked having the font a little bigger, thanks. >
So, I guess I should add some setting for the font-size then (help remind me... should be around year 2030). Instructing how to do it with a stylesheet was just a workaround to avoid hacking it. But isn't the font size in the SideEditor the same size as the normal editor? (How do people solve it there?) But Birthe, you just need to ask. You know I'd do anything for you ;-) <:-) -- 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/cf25634c-ad27-4de1-92ea-389b5d98a632n%40googlegroups.com.
