Hi Christiaan,

Thank you so much for your help! I'm glad to hear that this was a bug,
which will be fixed soon.

For now, I followed your instructions for making an applescript for font
size, and it worked perfectly!

Thank you so much again!

Sincerely,
Soo

On Fri, Sep 3, 2021 at 11:05 PM Christiaan Hofman <[email protected]>
wrote:

>
>
> On 4 Sep 2021, at 10:22, Shin, Soo Yun <[email protected]> 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
> [email protected]
> https://lists.sourceforge.net/lists/listinfo/skim-app-users
>
_______________________________________________
Skim-app-users mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/skim-app-users

Reply via email to