I'm startled that you think an accessibility issue is just "curious".
I can only assume you have much better vision than I do. On Monday, October 7, 2019 at 7:54:45 AM UTC-7, PMario wrote: > > On Saturday, October 5, 2019 at 6:25:41 PM UTC+2, Mark S. wrote: > ... > >> For that matter, I'm surprised that the editor and display fonts aren't >> the same -- it's usually the same person using them both! >> > > We could add a different font-size for the editor, ... But is it really > worth it? > > Are you "just curious" or is there a real problem? > > -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]. To view this discussion on the web visit https://groups.google.com/d/msgid/tiddlywiki/dccda9a3-7ad2-4b95-a727-01865103f922%40googlegroups.com.
