[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#33532: 26.1; set-window-configuration does not restore display start
From: |
Juri Linkov |
Subject: |
bug#33532: 26.1; set-window-configuration does not restore display start |
Date: |
Tue, 04 Dec 2018 23:44:18 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/27.0.50 (x86_64-pc-linux-gnu) |
>> What do you think about implementing the same behavior for
>> markers like it's implemented by 'comint-move-point-for-output'?
>> I.e. the same way as 'comint-move-point-for-output' moves point
>> to the end of the output, after erasing the buffer markers could
>> move their positions towards their previous valid position until
>> there is enough reverted text that they reach the old position.
>>
>> This is straightforward to implement.
>
> Is it? Then perhaps I don't understand what "this" is, because
> support for keeping the markers' positions is implemented on the C
> level, and every insertion/deletion primitive runs the low-level code
> which implements that. I wouldn't call changes in that area
> "straightforward" at all.
Straightforward because I thought it could reuse the existing
implementation of `insertion_type' that moves the marker
after text insertion. Maybe I'm mistaken.
- bug#33532: 26.1; set-window-configuration does not restore display start, Juri Linkov, 2018/12/01
- bug#33532: 26.1; set-window-configuration does not restore display start, martin rudalics, 2018/12/02
- bug#33532: 26.1; set-window-configuration does not restore display start, Juri Linkov, 2018/12/02
- bug#33532: 26.1; set-window-configuration does not restore display start, martin rudalics, 2018/12/04
- bug#33532: 26.1; set-window-configuration does not restore display start, Juri Linkov, 2018/12/04
- bug#33532: 26.1; set-window-configuration does not restore display start, martin rudalics, 2018/12/05
- bug#33532: 26.1; set-window-configuration does not restore display start, Juri Linkov, 2018/12/05
- bug#33532: 26.1; set-window-configuration does not restore display start, martin rudalics, 2018/12/06
- bug#33532: 26.1; set-window-configuration does not restore display start, Juri Linkov, 2018/12/06
- bug#33532: 26.1; set-window-configuration does not restore display start, Juri Linkov, 2018/12/25