> On 14 Jul 2021, at 16:24, Albert J. Menkveld <[email protected]> > wrote: > > Dear users: > > For more than a decade I have been using Skim.app, and I love it! > > There is one annoying feature which is that when I pick a default note font > smaller than 9 (which is the minimum on the list), then it will reset to 9 > the next time I start Skim. I, for example, set it to 6 by simply typing it > in the box. It applies it to the note in the session, but it will simply not > change the default note size. I searched the mailing list and the Internet, > but I could not find a discussion/solution, which is why I file it here as > someone might have a workaround. > > For screenshot, please see: > https://albertjmenkveld.com/online-archive/screenshot-skim-default-font-size.png > > <https://albertjmenkveld.com/online-archive/screenshot-skim-default-font-size.png>. > > Keep up the great work! > > Best, Albert
That seems to be a bug in our binding, it looks like the size is not updated in the preferences, only in the UI. This is now fixed for the next release. Christiaan
_______________________________________________ Skim-app-users mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/skim-app-users
