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 <cmhof...@gmail.com> 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 <bestenbors...@gmail.com >> <mailto:bestenbors...@gmail.com>> 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 <cmhof...@gmail.com >>> <mailto:cmhof...@gmail.com>> wrote: >>> >>> >>> >>>> On 4 Dec 2020, at 17:21, bestenborstel <bestenbors...@gmail.com >>>> <mailto:bestenbors...@gmail.com>> 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 > Skim-app-users@lists.sourceforge.net > https://lists.sourceforge.net/lists/listinfo/skim-app-users
_______________________________________________ Skim-app-users mailing list Skim-app-users@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/skim-app-users
