Separate names with a comma.
why not Command-Tab too? F12 can be switched in the preferences, whereas cmd-tab isn't customizable in either OS (as far as I know). Anyway, I'd...
