Dear Christiaan, It seems to work for bigger fonts. Sorry. Maybe 9 looks like that in my zoom. //Gudrun
> On 4 Dec 2020, at 23:57, Christiaan Hofman <[email protected]> wrote: > > Did you make the note /after/ changing the font? Existing notes are not > changed by chan ginghams the prefs. > > Christiaan > >> On 4 Dec 2020, at 23:50, bestenborstel <[email protected] >> <mailto:[email protected]>> wrote: >> >> I tried to change the font size under >> Preferences>Notes> Text, Anchored (I changed both) >> But the font size in the yellow text notes is still larger imho. >> >> //Gudrun >> >>> On 4 Dec 2020, at 18:47, Christiaan Hofman <[email protected] >>> <mailto:[email protected]>> wrote: >>> >>> >>> >>>> On 4 Dec 2020, at 17:21, bestenborstel <[email protected] >>>> <mailto:[email protected]>> wrote: >>>> >>>> I asked the text in the yellow note windows to be smaller, but despite >>>> reducing the font size to 10, it remains 12 I assume, at least larger. I >>>> could not observe any change. >>>> >>> >>> I see not problem changing the font size for a text note, either in the >>> file itself or by changing the default font size. How did you attempt to >>> change the font size? >>> >>> Christiaan > > _______________________________________________ > Skim-app-users mailing list > [email protected] > https://lists.sourceforge.net/lists/listinfo/skim-app-users
_______________________________________________ Skim-app-users mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/skim-app-users
