> On 11 Jun 2022, at 19:14, Glenn Hollingsworth <wghwo...@gmail.com> wrote:
> 
> Is it possible to change the font size of all (or even a portion) existing 
> text notes in a PDF at once? 
> 
> Thanks.
> Glenn

This can be done using AppleScript. For instance, this simple script:

tell document 1 of application "Skim"
        set font size of notes whose type is text note to 12
end tell

Christiaan

_______________________________________________
Skim-app-users mailing list
Skim-app-users@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/skim-app-users

Reply via email to