Nutzer von Linux Mint können in der nächsten Version der GTK-basierten Cinnamon-Desktopumgebung mit einer einfacheren Umschaltung zwischen Tastaturlayouts und Eingabemethoden rechnen.