[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Gap buffer problem?
From: |
Robert Pluim |
Subject: |
Re: Gap buffer problem? |
Date: |
Wed, 11 Dec 2024 18:45:15 +0100 |
>>>>> On Wed, 11 Dec 2024 18:13:41 +0100, Gerd Möllmann
>>>>> <gerd.moellmann@gmail.com> said:
Gerd> Eli Zaretskii <eliz@gnu.org> writes:
>>> From: Gerd Möllmann <gerd.moellmann@gmail.com>
>>> Cc: "Pip Cet via \"Emacs development discussions.\""
<emacs-devel@gnu.org>,
>>> Óscar Fuentes <ofv@wanadoo.es>
>>> Date: Wed, 11 Dec 2024 16:33:18 +0100
>>>
>>> Pip Cet <pipcet@protonmail.com> writes:
>>>
>>> > This may be a very stupid idea, but why not use a separate process?
>>>
>>> Not stupid at all. I thought about something similar in a different
>>> context, namely if one could decouple the GUI part of Emacs from the
>>> rest.
>>
>> If it can be done by two processes, it can also be done by two threads
>> in the same process. Right?
Gerd> Yes, I think so.
But then you have to throw a lock over all the memory in the
non-display thread that might affect redisplay (although come to think
of it, youʼd probably need that even when using fork)
Robert
--
- Re: pdumper on Solaris 10, (continued)
- Re: pdumper on Solaris 10, Eli Zaretskii, 2024/12/10
- Gap buffer problem?, Gerd Möllmann, 2024/12/11
- Re: Gap buffer problem?, Pip Cet, 2024/12/11
- Re: Gap buffer problem?, Gerd Möllmann, 2024/12/11
- Re: Gap buffer problem?, Pip Cet, 2024/12/11
- Re: Gap buffer problem?, Gerd Möllmann, 2024/12/11
- Re: Gap buffer problem?, Pip Cet, 2024/12/11
- Re: Gap buffer problem?, Gerd Möllmann, 2024/12/11
- Re: Gap buffer problem?, Eli Zaretskii, 2024/12/11
- Re: Gap buffer problem?, Gerd Möllmann, 2024/12/11
- Re: Gap buffer problem?,
Robert Pluim <=
- Re: Gap buffer problem?, Gerd Möllmann, 2024/12/11
- Re: Gap buffer problem?, Eli Zaretskii, 2024/12/11
- Re: Gap buffer problem?, Pip Cet, 2024/12/11
- Re: Gap buffer problem?, Eli Zaretskii, 2024/12/11
- Re: Gap buffer problem?, Pip Cet, 2024/12/11
- Re: Gap buffer problem?, Eli Zaretskii, 2024/12/11
- Re: Gap buffer problem?, Dmitry Gutov, 2024/12/11
- Re: Gap buffer problem?, Gerd Möllmann, 2024/12/11
- Re: Gap buffer problem?, Robert Pluim, 2024/12/12
- Re: Gap buffer problem?, Gerd Möllmann, 2024/12/12