Coin, Quoting Yves-Alexis Perez <[email protected]>:
Could you try in another vte-based terminal (gnome-terminal for example) and report the behavior?
I just tried gnome-terminal, which uses the same shortcuts defaults to switch tabs, and it's working very well.
Tell me if you need more testing. Regards. -- Marc Dequènes (Duck)
pgpQoAUe2hP5P.pgp
Description: PGP Digital Signature

