On Monday, October 7, 2019 at 4:14:34 PM UTC+2, Mark S. wrote: ... > What I meant to write was that I was surprised that the *size* of the two > font sets wasn't the same. It certainly > makes sense to use a different font family for the tasks. >
If you go to the ControlPanel <https://tiddlywiki.com/#%24%3A%2FControlPanel>: Appearence: ThemeTweaks: Settings section, you can - copy the content from Code font family <https://tiddlywiki.com/#%24%3A%2Fthemes%2Ftiddlywiki%2Fvanilla%2Fsettings%2Fcodefontfamily> into Editor font family <https://tiddlywiki.com/#%24%3A%2Fthemes%2Ftiddlywiki%2Fvanilla%2Fsettings%2Feditorfontfamily> eg: "SFMono-Regular",Consolas,"Liberation Mono",Menlo,Courier,monospace This should work well. ... You are right, the different font-families have different heights, even if the pixel setting is the same. -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/1ce6bcaf-7e99-4365-9733-0d0c8d0ed1f1%40googlegroups.com.
