Great post... Someone should to change Ctrl+D; bash delete character or
gnome. Perhaps if gnome would warn (ok or never with an always do this)
before closing the tab. It is really annoying to lose all of one's tabs
due to the keyboard repeating this key combo.

-- 
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1000317

Title:
  CTRL+D exits terminal

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/1000317/+subscriptions

-- 
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs

Reply via email to