One of our users reported the following error together with a patch:
After switching tabs using the keyboard shortcut (Ctrl+Tab), some commands
(e.g. cut, copy, paste, run) are applied to the previously visible document.
Switching tabs by clicking on them works fine.
Steps to Reproduce:
1.Open multiple documents
2.Select some text in one document
3.Ctrl-tab to another document
4.Press Ctrl+X to cut selected text
The command is applied to the first document, not the current one