My system is up to date but I can report now that it is fixed for me with graphics drivers from xorg-edgers ppa (inluding kernel 3.7.0-4-generic 32 bit). But not in the present packages quoted above.
My system is up to date but I can report now that it is fixed for me with graphics drivers from xorg-edgers ppa (inluding kernel 3.7.0-4-generic 32 bit). But not in the present packages quoted above.