> 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