Hi Mingus,
Thanks for your advice. I seem to have it working, but I don't completely understand why.
First, although the third party app changes tabs with Ctrl-Pageup/Pagedown, it also responds to Ctrl-left/right, which is apparently the "standard" way to do this with keyboard shortcuts in...