Comment 8 for bug 939768

crazybyte (vlzoltan) wrote :

Thank you for the workaround Kevin! It got very annoying not being able to use Ctrl+F12 to bring the terminal window up (usual shortcut in my case).