Yes, I have set up a shortcut to filter for grace notes now. It selects the grace notes but it then deselects the regular notes. It’s just as useful, of course, but I in this case I was trying to do the opposite.
I guess I’m wondering if I can alternate between selecting and deselecting operations without manually switching the filter mode in the Edit menu.
Found it! There is indeed an option to assign a shortcut to toggle Filter Select/Deselect mode! It’s just not listed in the Filter section - I finally realized I can search for items in that box and it’s in the Edit section.
In any case, I suppose I can build a shortcut string now: Select Notes - Switch to Deselct - Deselect Grace Notes, etc…