Please understand: It's not that we (vte and gnome-terminal developers) don't want to hear about it. We've heard about it and we are pretty certain that this is a bug somewhere elsewhere. Vte's and gnome-terminal's source code has absolutely no sign of treating ^ or any other similar simple character specially.
Please understand: It's not that we (vte and gnome-terminal developers) don't want to hear about it. We've heard about it and we are pretty certain that this is a bug somewhere elsewhere. Vte's and gnome-terminal's source code has absolutely no sign of treating ^ or any other similar simple character specially.