@Björn: Once I upgraded go gnome 3.8 with the gnome3 PPA (unsupported), the highlight issue went away. So it seems the problem is just showing up with Raring's gnome 3.6. Did you upgraded to 3.8?
@Björn: Once I upgraded go gnome 3.8 with the gnome3 PPA (unsupported), the highlight issue went away. So it seems the problem is just showing up with Raring's gnome 3.6. Did you upgraded to 3.8?