[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Stop frames stealing eachothers' minibuffers!
From: |
martin rudalics |
Subject: |
Re: Stop frames stealing eachothers' minibuffers! |
Date: |
Sat, 21 Nov 2020 19:08:41 +0100 |
> You mean that (selected-frame) != (window-frame)?
Yes. But Alan's last fix might have fixed this part now.
> That's an important invariant to preserve. We've had problems with this
> for years and I've worked pretty hard to fix them over the years (I've
> been tempted to remove the `selected_frame` variable and define
> SELECTED_FRAME on top of `selected_window` instead, but that's proved
> difficult in the `select-frame` and `select-window` code).
Maybe we should try again.
martin
- Re: Stop frames stealing eachothers' minibuffers!, (continued)
- 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!, Gregory Heytings, 2020/11/23
- Re: Stop frames stealing eachothers' minibuffers!, Andrii Kolomoiets, 2020/11/23
- Re: Stop frames stealing eachothers' minibuffers!, Stefan Monnier, 2020/11/21
- Re: Stop frames stealing eachothers' minibuffers!,
martin rudalics <=
- Re: Stop frames stealing eachothers' minibuffers!, martin rudalics, 2020/11/11
- RE: Stop frames stealing eachothers' minibuffers!, Drew Adams, 2020/11/11
- Re: Stop frames stealing eachothers' minibuffers!, martin rudalics, 2020/11/11
- RE: Stop frames stealing eachothers' minibuffers!, Drew Adams, 2020/11/10
- Re: Stop frames stealing eachothers' minibuffers!, Stefan Monnier, 2020/11/10
- Re: Stop frames stealing eachothers' minibuffers!, Eli Zaretskii, 2020/11/10
- RE: Stop frames stealing eachothers' minibuffers!, Drew Adams, 2020/11/10
- RE: Stop frames stealing eachothers' minibuffers!, Drew Adams, 2020/11/10