Hi Mark

> On 5 Oct 2019, at 17:25, 'Mark S.' via TiddlyWiki 
> <[email protected]> wrote:
> 
> When we talk about accessibility, the first thing that comes to my mind is 
> font size.
> 
> You can change the font size of displayed tiddlers. You can change the 
> overall font size of everything else.
> 
> But is there a way to just change the editor font? Changing the overall font 
> means that the title and sidebar look wrong.

There’s indeed no UI in “theme tweaks” for setting the body editor size. 
Hubert’s CSS works but is brittle. I’ve pushed a mod for v5.1.22 here to add a 
new class "tc-edit-texteditor-body” to the body editor:

https://github.com/Jermolene/TiddlyWiki5/commit/89716bb81d68b9c68d3c0fd2f2de96afad1b086a

That makes it possible to change the editor fonts with something as simple as :

.tc-edit-texteditor-body {
        font-size: 30px;
        font-family: serif;
}

> 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!

The ability to change the editor font was introduced by Mario a couple of years 
ago:

https://github.com/Jermolene/TiddlyWiki5/pull/2867 
<https://github.com/Jermolene/TiddlyWiki5/pull/2867>

I think the rationale is that a monospaced editor font can make it easier to 
work with wikitext markup.

Best wishes

Jeremy.

> 
> 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] 
> <mailto:[email protected]>.
> To view this discussion on the web visit 
> https://groups.google.com/d/msgid/tiddlywiki/13fb3572-4259-46c3-9cc7-6ed85b636177%40googlegroups.com
>  
> <https://groups.google.com/d/msgid/tiddlywiki/13fb3572-4259-46c3-9cc7-6ed85b636177%40googlegroups.com?utm_medium=email&utm_source=footer>.

-- 
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/20102DF5-D3F2-4AEF-9B76-BA7C4BD5FCD5%40gmail.com.

Reply via email to