dclement wrote:I also reckon that the patch definitely improves, but there's still something slightly wrong even in Mint-X.
So grab the master version from github as linked above. Still not the same? Sorry, go complain to Gnome folks upstream. People usually have better things to do than repairing absolutely pointless and undocumented borkage caused by every new minor GTK version released.