I can reproduce this bug.
In my GNOME Terminal, only Ctrl+Alt+C works, CTRL+ALT+V doesn't work.
And I can't use Alt+(NUMBER) to switch the tab in all applications: gedit, gnome-terminal and firefox.
I can reproduce this bug.
In my GNOME Terminal, only Ctrl+Alt+C works, CTRL+ALT+V doesn't work.
And I can't use Alt+(NUMBER) to switch the tab in all applications: gedit, gnome-terminal and firefox.