> On 4 Sep 2021, at 10:22, Shin, Soo Yun <shinsoo...@gmail.com> wrote:
>
> Hello,
>
> I was wondering if there's a way to change the font size for anchored notes.
> I tried changing the font sizes for anchored notes in Preferences - Notes,
> but even if I make the font size bigger there, the actual note content's font
> size doesn't change at all. The other formatting (italic, bold, etc.) from
> Preference - Notes works but not the font size. I would appreciate any help.
>
> Sincerely,
> Soo
Sorry, there is currently a bug in the preferences UI for the font preferences.
This is already fixed for the next release.
As a workaround for now, you can change the font preferences through
AppleScript. Here is an AppleScript that does this:
tell application “Skim”
set default note font sizes to {anchored note font size:12}
end tell
Be aware that this only changes the default font for new (,anchored) notes, not
the font for existing notes, which is just part of its data. If you want to
change the font of existing notes, you should just change it there in its text.
Christiaan
_______________________________________________
Skim-app-users mailing list
Skim-app-users@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/skim-app-users
