Sorry, die Frage war einfach nur, wie der Code für die 140 geändert werden muss, um zur 128 zu passen?
Das "Warum und Wieso", oder alternative Lösungen sind nicht Thema des Threads und sind insofern auch nicht zielführend.
Hätte ich die 140 angeboten bekommen, würde ich nicht nach dem Code für die 128 fragen.
Enttäuschend bei Mint ist auch, dass die 140 nicht mal als PPA verfügbar ist.
Evtl. bekomme ich die 140 aber auch nur als Flatpak angeboten, weil mein Mint nicht ganz die neuste Version ist.
Das Mint-Upgrade schiebe ich jedoch noch möglichst hinaus, weil das neuste Mint das Tool easystroke (für Mausgesten außerhalb dem Firefox) nicht mehr unterstützt. Dieses Tool will ich mir aber so lange wie möglich erhalten, weil ich diese Mausgesten sehr vermissen würde.