> The terminal shouldn't rely on applications exiting cleanly. You misunderstand the very basics of terminals.
A terminals just obeys the instructions it receives in a single stream, it doesn't even have the notion of "shell", "application" (started from that shell), "exit" (of that shell), "clean" vs. "unclean" exit, etc. It cannot tell which instruction comes from which component. The best you can do is modify your shell prompt: add escape sequences that restore as many properties as you wish to their default. E.g. leave alternate screen, disable mouse, restore charset, restore color and so on. You might want to file another bugreport so that the distribution's default PS1 shell prompt takes care of this. Re (3): It's an intentional feature that in alternate screen mode, if the application running inside the terminal is not interested in mouse events, mouse scroll events are converted to Up/Down keystrokes. -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1566437 Title: Scrolling randomly stops working To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/1566437/+subscriptions -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
