> 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 Desktop Packages, which is subscribed to gnome-terminal in Ubuntu. https://bugs.launchpad.net/bugs/1566437 Title: Scrolling randomly stops working Status in gnome-terminal package in Ubuntu: New Bug description: Usually, scrolling in the terminal window works as expected, which is like this: - the terminal window has a scrollbar - Assuming there are more lines (of commands you have typed + their output) than fit in the window, you can scroll up and down both by dragging the scrollbar and by using the mouse wheel However, at random times, the Terminal starts behaving like this: 1 - the scrollbar's "handle" is as high as the whole scrollbar, as if the existing lines didn't exceed the height of the window, even if that is not the case 2 - you can't scroll by dragging the scrollbar (which is consistent with 1) 3 - the scrollwheel behaves like the up and down arrow keys, that is, it scans through previously typed commands in your history. I have no idea what triggers the nonsense behavior. It seems to start happening randomly. ProblemType: Bug DistroRelease: Ubuntu 15.10 Package: gnome-terminal 3.16.2-1ubuntu4 ProcVersionSignature: Ubuntu 4.2.0-34.39-generic 4.2.8-ckt4 Uname: Linux 4.2.0-34-generic x86_64 NonfreeKernelModules: nvidia ApportVersion: 2.19.1-0ubuntu5 Architecture: amd64 CurrentDesktop: Unity Date: Tue Apr 5 19:05:18 2016 InstallationDate: Installed on 2013-10-11 (906 days ago) InstallationMedia: Ubuntu 13.04 "Raring Ringtail" - Release amd64 (20130424) SourcePackage: gnome-terminal UpgradeStatus: Upgraded to wily on 2016-01-18 (78 days ago) To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/1566437/+subscriptions -- Mailing list: https://launchpad.net/~desktop-packages Post to : desktop-packages@lists.launchpad.net Unsubscribe : https://launchpad.net/~desktop-packages More help : https://help.launchpad.net/ListHelp
