The problem, as I mentioned, is that if you change font size it also changes sidebars, titles, etc. -- stuff that has nothing to do with the editor.
Thanks! On Monday, October 7, 2019 at 7:18:37 AM UTC-7, PMario wrote: > > Hi, > > Got to the ControlPanel <https://tiddlywiki.com/#%24%3A%2FControlPanel>: > Appearence: ThemeTweaks: Sizes section. > > There are 4 values: > > - Font size > <https://tiddlywiki.com/#%24%3A%2Fthemes%2Ftiddlywiki%2Fvanilla%2Fmetrics%2Ffontsize> > > - Line height > <https://tiddlywiki.com/#%24%3A%2Fthemes%2Ftiddlywiki%2Fvanilla%2Fmetrics%2Flineheight> > > - Font size for tiddler body > <https://tiddlywiki.com/#%24%3A%2Fthemes%2Ftiddlywiki%2Fvanilla%2Fmetrics%2Fbodyfontsize> > > - Line height for tiddler body > <https://tiddlywiki.com/#%24%3A%2Fthemes%2Ftiddlywiki%2Fvanilla%2Fmetrics%2Fbodylineheight> > > that play together. If you change "Font size", you'll probably also have > to adjust "Line height". Same with tiddler body settings. > > -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/6c5f8b88-69b7-4e9b-afcc-67ffe5d2eafa%40googlegroups.com.
