[Bug 1566437] Re: Scrolling randomly stops working
Is that any reason why bash shouldn't always restore the the terminal settings after any program it launches exits? (where by "restore" I mean restore the settings as they were before launching the program, not necessarily the default ones). -- You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is subscribed to gnome-terminal in 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/bash/+bug/1566437/+subscriptions -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
[Bug 1566437] Re: Scrolling randomly stops working
Errata: by "is that" I meant "is there", of course ** Package changed: gnome-terminal (Ubuntu) => bash (Ubuntu) -- You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is subscribed to gnome-terminal in 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/bash/+bug/1566437/+subscriptions -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
[Bug 1566437] Re: Scrolling randomly stops working
That's right. By convention, the expected behavior is that vim restores the terminal's settings. If it exits uncleanly, it might leave the terminal in a nondefault state, to which usually typing "reset", or closing the terminal and opening a new one might be an easy workaround. I've always wondered why distributions don't set up a default shell prompt that resets some of the terminal options. I think it would be a good idea. Anyway, this does not belong to gnome-terminal but rather to bash. -- You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is subscribed to gnome-terminal in 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 -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
[Bug 1566437] Re: Scrolling randomly stops working
> 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) Mmm, I probably do misunderstand something, but then I'm under the impression this might just be a bug in the shell rather than the terminal. When in the shell I write "vim", then I use vim for a while, and finally exit it, maybe the terminal itself knows nothing about that but the shell does, right? becaue it's the shell that launched vim... -- You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is subscribed to gnome-terminal in 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 -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
[Bug 1566437] Re: Scrolling randomly stops working
... "exit" (of that *application*) ... -- You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is subscribed to gnome-terminal in 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 -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
[Bug 1566437] Re: Scrolling randomly stops working
> 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 Desktop Bugs, which is subscribed to gnome-terminal in 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 -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
[Bug 1566437] Re: Scrolling randomly stops working
> If it gets stuck in this mode at your shell prompt, yes it did > it means that your application did not exit cleanly and left the terminal in this mode. The very fact that that can happen is a bug. After exiting whatever application triggered "alternate screen", normal scrolling should be reestablished. The terminal shouldn't rely on applications exiting cleanly. Also note that the behavior described at point (3) (the scrollwheel behaving like the up and down keys) makes no sense, it's inconsistent, useless and annoying. It should be eliminated altogether. -- You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is subscribed to gnome-terminal in 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 -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
[Bug 1566437] Re: Scrolling randomly stops working
The behavior you describe happens when the terminal switches to the so- called "alternate screen" upon encountering a certain escape sequence that is printed by your application. Usually fullscreen applications (such as the "mc" file manager, "less" pager, text editors etc.) use this mode. If it gets stuck in this mode at your shell prompt, it means that your application did not exit cleanly and left the terminal in this mode. Execute the "reset" command to get out of this situation. -- You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is subscribed to gnome-terminal in 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 -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs