I have updated the description of this bug to reflect the results of the experiments performed by ZelinskiyIS (many thanks to him). According to the gnome-terminal people this is not a bug of the virtual terminal but likely a bug in bash/readline (see http://bugzilla.gnome.org/show_bug.cgi?id=580297 ). As the bash source contains its own copy of the readline code I think that the right people to contact are bash upstream developers.
I have updated the description of this bug to reflect the results of the experiments performed by ZelinskiyIS (many thanks to him). According to the gnome-terminal people this is not a bug of the virtual terminal but likely a bug in bash/readline (see http:// bugzilla. gnome.org/ show_bug. cgi?id= 580297 ). As the bash source contains its own copy of the readline code I think that the right people to contact are bash upstream developers.