Comment 2 for bug 370430

Revision history for this message
Martin Olsson (mnemo) wrote :

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