Ubuntu
gnome-terminal package

  1. Bug #526437
  2. Comment #4

Comment 4 for bug 526437

Revision history for this message
Pedro Villavicencio (pedro) wrote :

Thanks for the report Hernando, are you still getting this with gnome-terminal 2.29.6 ? are you any custom keyboard shortcuts with gnome-terminal ?