Restoring Super+<Num> Window Switching in Linux Mint 19.3

UPDATE: This is no longer needed as an update has been released which restores this functionality.

Linux Mint 19.3 “Tricia” has recently been released. After upgrading, I was disappointed to find that one of the most used feature, switching applications using the Super+<Num> (Win+<Num>) key has been removed with no configuration option to enable it back.

And I’m not the only one

A user from the Linux Mint 19.3 “Tricia” release blog post

Users commenting on the git commit removing the feature

I was as a lost of what to do, since this is the most common way I use to switch applications and I get annoyed every time I press the shortcut and nothing happens. Then I noticed that the change was in a JavaScript file which I can find and edit. Long live JavaScript!

This is the patch: https://gist.github.com/pawitp/fb74c6da0a8e9e5f6738669c8e502195

And here’s how you can apply it

cd /usr/share/cinnamon/applets
# Backup
cp -pR grouped-window-list@cinnamon.org ~/Desktop/grouped-window-list@cinnamon.org.bak
# Apply the patch
curl https://gist.githubusercontent.com/pawitp/fb74c6da0a8e9e5f6738669c8e502195/raw/0c145dc936253fd339574bb18b81c720a42e8855/super_num.patch | sudo patch -p0

After logging out and back in again, the shortcuts should now work!

Note that this is just a hack which may get overwritten the next time you upgrade Cinnamon.