Igaz nálam Ubuntu 15.10 van, de ott hiába állítom be, nem működik...restart után igen, de csak 1x, utána Ctrl + Super + D gyorsbillentyűvel lehet csak. Tehát mégiscsak a Mintet szeressük.