[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: User interaction from multiple threads
From: |
Michael Albinus |
Subject: |
Re: User interaction from multiple threads |
Date: |
Thu, 16 Aug 2018 17:19:30 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/27.0.50 (gnu/linux) |
Eli Zaretskii <address@hidden> writes:
> The simplest idea is to have every primitive that displays in the echo
> area to take a certain mutex before it does so.
Agreed. Some days ago, I've tried to implement such an approach in the
feature/tramp-thread-safe branch. This failed miserably, due to my lack
of understanding how echo area, minibuffer and keyboard events are
handled in Emacs. Some help would be appreciated for a proof of concept.
(Maybe it is too early to ask for, since we are still collecting ideas)
Best regards, Michael.
- Re: User interaction from multiple threads, (continued)
- Re: User interaction from multiple threads, martin rudalics, 2018/08/17
- Re: User interaction from multiple threads, Eric Abrahamsen, 2018/08/17
- Re: User interaction from multiple threads, Michael Albinus, 2018/08/17
- Re: User interaction from multiple threads, Eli Zaretskii, 2018/08/17
- Re: User interaction from multiple threads, martin rudalics, 2018/08/18
- Re: User interaction from multiple threads, Eli Zaretskii, 2018/08/18
- Re: User interaction from multiple threads, martin rudalics, 2018/08/19
Re: User interaction from multiple threads, Eli Zaretskii, 2018/08/15
Re: User interaction from multiple threads, Gemini Lasswell, 2018/08/20
Re: User interaction from multiple threads, Eli Zaretskii, 2018/08/20
Re: User interaction from multiple threads, Gemini Lasswell, 2018/08/19
- Re: User interaction from multiple threads, Phil Sainty, 2018/08/19
- Re: User interaction from multiple threads, Gemini Lasswell, 2018/08/20
- Re: User interaction from multiple threads, Eli Zaretskii, 2018/08/20
- Re: User interaction from multiple threads, John Shahid, 2018/08/29
- Re: User interaction from multiple threads, Phil Sainty, 2018/08/29
- Re: User interaction from multiple threads, John Shahid, 2018/08/29
- Re: User interaction from multiple threads, Eli Zaretskii, 2018/08/30