I also see this bug. Can be reproduced using these steps:
1. launch gnome-terminal 2. type "man ls" 3. without closing the man page click the top right close button "X-mark" to close the terminal
I also see this bug. Can be reproduced using these steps:
1. launch gnome-terminal
2. type "man ls"
3. without closing the man page click the top right close button "X-mark" to close the terminal