Counter Strike Global Offensive - Tab key not working

A silly problem, which can be solved by restarting the game, or just changing the resolution back and forth.