[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Stop frames stealing eachothers' minibuffers!
From: |
Alan Mackenzie |
Subject: |
Re: Stop frames stealing eachothers' minibuffers! |
Date: |
Sun, 22 Nov 2020 17:11:52 +0000 |
Hello, Stefan.
On Sun, Nov 22, 2020 at 10:13:35 -0500, Stefan Monnier wrote:
> > Yes. It seems my patch from yesterday was too complicated. At the
> Agreed. I think we should more narrowly taylor-make it for the problem
> at hand: i.e. when signaling an error, remember the selected-frame
> somewhere before doing the longjmp, and then when emitting the error
> message make use of that remembered selected-frame to choose which
> miniwindow to use for the message.
Er, I think you're talking about the patch I committed on Thursday, not
the proposed one I sent to Martin.
> Basically, the problem at hand is that we want to emit the error message
> "as if" we did it before the longjmp, but for technical reasons we need
> to do it after the longjmp.
> Stefan
--
Alan Mackenzie (Nuremberg, Germany).
- Re: Stop frames stealing eachothers' minibuffers!, (continued)
- Re: Stop frames stealing eachothers' minibuffers!, martin rudalics, 2020/11/20
- Re: Stop frames stealing eachothers' minibuffers!, Alan Mackenzie, 2020/11/20
- Re: Stop frames stealing eachothers' minibuffers!, Stefan Monnier, 2020/11/20
- Re: Stop frames stealing eachothers' minibuffers!, martin rudalics, 2020/11/21
- Re: Stop frames stealing eachothers' minibuffers!, Alan Mackenzie, 2020/11/21
- Re: Stop frames stealing eachothers' minibuffers!, martin rudalics, 2020/11/21
- Re: Stop frames stealing eachothers' minibuffers!, Alan Mackenzie, 2020/11/21
- Re: Stop frames stealing eachothers' minibuffers!, martin rudalics, 2020/11/21
- Re: Stop frames stealing eachothers' minibuffers!, Alan Mackenzie, 2020/11/22
- Re: Stop frames stealing eachothers' minibuffers!, Stefan Monnier, 2020/11/22
- Re: Stop frames stealing eachothers' minibuffers!,
Alan Mackenzie <=
- Re: Stop frames stealing eachothers' minibuffers!, Stefan Monnier, 2020/11/22
- Re: Stop frames stealing eachothers' minibuffers!, martin rudalics, 2020/11/22
- Re: Stop frames stealing eachothers' minibuffers!, Alan Mackenzie, 2020/11/22
- Re: Stop frames stealing eachothers' minibuffers!, martin rudalics, 2020/11/23
- Re: Stop frames stealing eachothers' minibuffers!, Alan Mackenzie, 2020/11/23
- Re: Stop frames stealing eachothers' minibuffers!, martin rudalics, 2020/11/23
- Re: Stop frames stealing eachothers' minibuffers!, Alan Mackenzie, 2020/11/23
- Re: Stop frames stealing eachothers' minibuffers!, martin rudalics, 2020/11/23
- Re: Stop frames stealing eachothers' minibuffers!, Andrii Kolomoiets, 2020/11/23
- Re: Stop frames stealing eachothers' minibuffers!, martin rudalics, 2020/11/24