Well, I can try to re-open this issue on the gnome-terminal/vte3 side. Perhaps I can convince them to take an approach where the terminal isn't violating the assumptions of the display engine by introducing a new flag or something like that.
On Mon, Jun 12, 2017 at 9:27 PM, Chet Ramey <chet.ra...@case.edu> wrote: > On 6/12/17 2:24 PM, Paul Peet wrote: >> I guess this is why I don't get the garbage output with gnome-terminal >> and dash. Dash doesn't use readline apparently. > > Dash doesn't support line editing at all out of the box, though you can > build it using libedit. > >> >> So, what can be done to actually fix this? > > Not a lot, really. If the display engine assumes that the only characters > on the screen are the ones it writes there, and the terminal emulator > violates that on a screen size change, you're basically left with running > ^L (with or without a numeric argument to restrict it to the current line) > a lot. > > Now, if you force a complete refresh with ^L and the display is still > wrong, we have a redisplay bug. > > -- > ``The lyf so short, the craft so long to lerne.'' - Chaucer > ``Ars longa, vita brevis'' - Hippocrates > Chet Ramey, UTech, CWRU c...@case.edu http://cnswww.cns.cwru.edu/~chet/
