Lösung: Tastatur-Kürzel lassen sich unter Linux Mint 14 (Cinnamon) nicht konfigurieren
Die Lösung ist zwar eher ein Workaround, aber mir fällt im Moment auc nichts besseres ein – zumindest funktioniert es so. Wir verwenden einfach das GNOME Controll Center dazu. Wenn Du in einem Terminal gnome-control-center keyboard
ausführst, kannst Du Dein Tastaturkürzel konfigurieren und das funktioniert auch. In meinem Fall habe ich Palaver Strg+s zugewiesen – das war noch frei. Nun ist das etwas bequemer als über die Kommandozeile.
Update: Strg+s war ne saublöde Idee, weil zum Beispiel LibreOffice als Schnellspeicher-Kürzel verwendet … 🙂