Ubuntu
gnome-terminal package

  1. Bug #192682
  2. Comment #1

Comment 1 for bug 192682

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

Thanks for your report, you can change that with the gnome-keyboard-properties (System->Preferences->Keyboard).