Correction on last comment: Bug is present in gnome3 fallback as well. However I am unable to reproduse it as often, and is as a result less enoying.
Correction on last comment: Bug is present in gnome3 fallback as well. However I am unable to reproduse it as often, and is as a result less enoying.