Ubuntu
gnome-terminal package

  1. Bug #1790100
  2. Comment #13

Comment 13 for bug 1790100

Revision history for this message
Egmont Koblinger (egmont-gmail) wrote :

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.