On the lon term, I would prefer Ctrl+Left / Right to change tabs
compared to the more complex Tab key shortcut. But this would require
setting an event filter on the QPlainTextEdit to re-assign the shortcut
(we don't necessarily need to move word by word here).