F10 und das GNOME Terminal
Seit einiger Zeit überlege ich zumindest ab und an wieder mal den Midnight Commander zu verwenden. Seit einigen GNOME Versionen gibt es da aber einen recht hässlichen Bug: Drückt man F10 (mc beenden) geht das Popup Menü zusätzlich zur Aktion mit auf.
Dies kann man relativ einfach fixen, zumindest bis der Bug gefixt wurde. Und zwar erstellt man eine Datei ~/.config/gtk-3.0/gtk.css und kopiert folgenden Text hinein:
@binding-set NoKeyboardNavigation {
unbind "<shift>F10"
}
* {
gtk-key-bindings: NoKeyboardNavigation
}
Mit Google hätte man dies hier
gefunden (Beitrag #8).
Es ist wichtig nach dieser Änderung alle Terminals vom aktuellen Benutzer zu schließen, da sonst die Änderungen nicht greifen!