Oha, Gnome 3.14 hat soweit alle graphischen Glitches für mich gefixt und fühlt sich besser an :)