Issues with shortcuts
I recently encountered some rather peculiar behavior with the terminal. The shortcuts stopped working. For instance, I can't open a new tab by pressing ctrl-shift-T. However! I can open it using shift-ctrl-T. Are these now two different shortcuts? And so all shortcuts with Shift key! Is this a bug or a feature?