WSL/SLF GitLab Repository

  • Mathias Bavay's avatar
    Fixed a typo, improved the error message · 1def13a7
    Mathias Bavay authored
    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).