[woodruffw]

I had the same experience with gnome-terminal back on Ubuntu 14.04 (or maybe even 12.04, it's been a while).