[daniel02216]

Do you have the 'use F1, etc as function keys' unchecked? You'll need to use fn+control+F7 instead.

[JadeNB]

Nope—the machine is a laptop, but I'm using an external keyboard. For example, CTRL-F2 and CTRL-F3 both work fine.