> On 4 Dec 2020, at 17:21, bestenborstel <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
