I have filed the CTRL-RIGHT/CTRL-LEFT issue here: http://bugzilla.gnome.org/show_bug.cgi?id=578045 if people are interested.
I have filed the CTRL-RIGHT/ CTRL-LEFT issue here: http:// bugzilla. gnome.org/ show_bug. cgi?id= 578045
if people are interested.