Junk shortcut "j" ausschalten

    • Betriebssystem + Version: Ubuntu 19.10
    • Kontenart (POP / IMAP): irrelevant
    • Postfach-Anbieter (z.B. GMX): irrelevant
    • Eingesetzte Antiviren-Software: irrelevant
    • Firewall (Betriebssystem-intern/Externe Software): irrelevant
    • Router-Modellbezeichnung (bei Sende-Problemen): irrelevant

    Moin,


    Ich benutze den aktuellen TB 68.7.0 (64-Bit) auf Ubuntu 19.10. Bei älteren Versionen konnte man die Shortcuts bearbeiten/deaktivieren mit dem "dorando keyconfig" Add-On. seit 68 geht dies leider nicht mehr.


    Bei Stack-Exchange scheint keiner eine Lösung zu finden. Am vielversprechendsten sah dies hier aus: https://unix.stackexchange.com/a/563600/20661 aber leider funktioniert es auch nicht.


    Hat hier vielleicht jemand eine Lösung gefunden oder einen Ansatz, wie man das lösen könnte?

  • graba

    Set the Label from All operating systems to Linux
  • graba

    Set the Label from Linux to All operating systems