AppleScript is notoriously bad at interpreting its own language, especially if terms can have multiple meanings (like ’type’). In this case you can use a slightly different filter that usually does work. Replace ‘whose type’ with the equivalent (or it should be) ‘where its type’, then it should work.
Christiaan > On 14 Nov 2022, at 20:04, Glenn Hollingsworth <[email protected]> wrote: > > When I tried this, I get the result: "Skim got an error: Can’t make type into > type specifier." number -1700 from type to specifier > > I'm using Monterey 12.6 and updated Skim app (1.6.13). I've tried looking at > the examples of other scripts in the wiki or whatever but not found anything > that makes it work. > > I"m asking because sometimes when I export a Skim-annotated PDF with embedded > notes, then later convert those notes back into skim notes, it makes the font > larger in text notes. Not sure if there's a different fix for preventing that > in the first place, but I thought I'd throw it out there. > > Thank you. > > > On Sun, Jun 12, 2022 at 7:31 AM <[email protected] > <mailto:[email protected]>> wrote: > Send Skim-app-users mailing list submissions to > [email protected] > <mailto:[email protected]> > > To subscribe or unsubscribe via the World Wide Web, visit > https://lists.sourceforge.net/lists/listinfo/skim-app-users > <https://lists.sourceforge.net/lists/listinfo/skim-app-users> > or, via email, send a message with subject or body 'help' to > [email protected] > <mailto:[email protected]> > > You can reach the person managing the list at > [email protected] > <mailto:[email protected]> > > When replying, please edit your Subject line so it is more specific > than "Re: Contents of Skim-app-users digest..." > Today's Topics: > > 1. change font size of all existing text notes at once? > (Glenn Hollingsworth) > 2. Re: change font size of all existing text notes at once? > (Christiaan Hofman) > > > > ---------- Forwarded message ---------- > From: Glenn Hollingsworth <[email protected] <mailto:[email protected]>> > To: [email protected] > <mailto:[email protected]> > Cc: > Bcc: > Date: Sat, 11 Jun 2022 12:14:51 -0500 > Subject: [Skim-app-users] change font size of all existing text notes at once? > Is it possible to change the font size of all (or even a portion) existing > text notes in a PDF at once? > > Thanks. > Glenn > > > > ---------- Forwarded message ---------- > From: Christiaan Hofman <[email protected] <mailto:[email protected]>> > To: Skim users list <[email protected] > <mailto:[email protected]>> > Cc: > Bcc: > Date: Sat, 11 Jun 2022 19:26:05 +0200 > Subject: Re: [Skim-app-users] change font size of all existing text notes at > once? > > >> On 11 Jun 2022, at 19:14, Glenn Hollingsworth <[email protected] >> <mailto:[email protected]>> 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 [email protected] https://lists.sourceforge.net/lists/listinfo/skim-app-users
