https://bugs.freedesktop.org/show_bug.cgi?id=83497 had a fix patch in
Sept 2014... I just ran updates on Ubuntu 14.04 to no avail. Is this
released, I'm sorry I don't know how to check my release. Maybe I need
to do get a repository and make a cherry-pick or apply the patch myself?
Any
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
