Oops, I was a bit confused with Alt-1 vs. Alt-F1, but it remains the same in principle: Some key combinations are consumed before we get a chance to use them, and in some terminal emulators you can reconfigure those that ther emulator itself uses.