Just an update: Ilyas helped me to find out that the patch works for X-box, but GNOME, which I am using and which is, I am afraid, the default interface when Ubuntu installs. So I do hope that at this stage the problem will be solved for GNOME users too. Or should we apply the patch for X-box users and consider the same problem for GNOME users in another bug report branch?
Just an update: Ilyas helped me to find out that the patch works for X-box, but GNOME, which I am using and which is, I am afraid, the default interface when Ubuntu installs. So I do hope that at this stage the problem will be solved for GNOME users too. Or should we apply the patch for X-box users and consider the same problem for GNOME users in another bug report branch?