It works for me. I love you Łukasz! Admittedly I haven't given it a huge amount of testing... But creating approx 20 gnome terminals and closing them again, gives the expected result. :D I haven't had anything bad happen yet. I've been using gnome classic (no effects) in the meantime, because that works properly, and gives decent frame rates in minecraft with a HD 7870. ;)
It works for me. I love you Łukasz! Admittedly I haven't given it a huge amount of testing... But creating approx 20 gnome terminals and closing them again, gives the expected result. :D I haven't had anything bad happen yet. I've been using gnome classic (no effects) in the meantime, because that works properly, and gives decent frame rates in minecraft with a HD 7870. ;)