[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Buffer corruption when the terminal is resized.
From: |
Paul Peet |
Subject: |
Re: Buffer corruption when the terminal is resized. |
Date: |
Mon, 12 Jun 2017 21:45:34 +0200 |
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.ramey@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 chet@case.edu http://cnswww.cns.cwru.edu/~chet/
- Re: Buffer corruption when the terminal is resized., (continued)
- Re: Buffer corruption when the terminal is resized., Paul Peet, 2017/06/10
- Re: Buffer corruption when the terminal is resized., Eduardo Bustamante, 2017/06/10
- Re: Buffer corruption when the terminal is resized., Paul Peet, 2017/06/10
- Re: Buffer corruption when the terminal is resized., Eduardo Bustamante, 2017/06/10
- Re: Buffer corruption when the terminal is resized., Paul Peet, 2017/06/10
- Re: Buffer corruption when the terminal is resized., Eduardo Bustamante, 2017/06/12
- Re: Buffer corruption when the terminal is resized., Paul Peet, 2017/06/12
- Re: Buffer corruption when the terminal is resized., Chet Ramey, 2017/06/12
- Re: Buffer corruption when the terminal is resized., Paul Peet, 2017/06/12
- Re: Buffer corruption when the terminal is resized., Chet Ramey, 2017/06/12
- Re: Buffer corruption when the terminal is resized.,
Paul Peet <=
- Re: Buffer corruption when the terminal is resized., Chet Ramey, 2017/06/12
- Re: Buffer corruption when the terminal is resized., Paul Peet, 2017/06/12
- Re: Buffer corruption when the terminal is resized., Chet Ramey, 2017/06/12
- Re: Buffer corruption when the terminal is resized., Chet Ramey, 2017/06/12
- Re: Buffer corruption when the terminal is resized., Paul Peet, 2017/06/12
- Re: Buffer corruption when the terminal is resized., Chet Ramey, 2017/06/17