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 . Keep up the great work! Best, Albert
_______________________________________________ Skim-app-users mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/skim-app-users
