[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Emacs as a translator's tool
From: |
tomas |
Subject: |
Re: Emacs as a translator's tool |
Date: |
Wed, 10 Jun 2020 15:35:03 +0200 |
User-agent: |
Mutt/1.5.21 (2010-09-15) |
On Tue, Jun 09, 2020 at 10:54:44PM +0200, Emanuel Berg via Users list for the
GNU Emacs text editor wrote:
> Marcin Borkowski wrote:
>
> > 1. It is inefficient, in the sense that every
> > overlay belongs to some buffer. No need to keep the
> > variable `source-buffer'.
>
> I don't understand?
The overlay already "knows" to which buffer it belongs. See
function (overlay-buffer OVERLAY).
Cheers
-- t
signature.asc
Description: Digital signature
- Re: Emacs as a translator's tool, (continued)
- Re: Emacs as a translator's tool, Emanuel Berg, 2020/06/10
- Re: Emacs as a translator's tool, Jean-Christophe Helary, 2020/06/10
- Re: Emacs as a translator's tool, Emanuel Berg, 2020/06/10
- Re: Emacs as a translator's tool, Jean-Christophe Helary, 2020/06/10
- Re: Emacs as a translator's tool, Emanuel Berg, 2020/06/10
- Re: Emacs as a translator's tool, Marcin Borkowski, 2020/06/08
- Re: Emacs as a translator's tool, Emanuel Berg, 2020/06/08
- Re: Emacs as a translator's tool, Marcin Borkowski, 2020/06/09
- Re: Emacs as a translator's tool, Emanuel Berg, 2020/06/09
- Re: Emacs as a translator's tool, Emanuel Berg, 2020/06/09
- Re: Emacs as a translator's tool,
tomas <=
- Re: Emacs as a translator's tool, tomas, 2020/06/10
- recentering another window (was: Re: Emacs as a translator's tool), Emanuel Berg, 2020/06/10
- Re: Emacs as a translator's tool, Marcin Borkowski, 2020/06/10
- Re: Emacs as a translator's tool, Emanuel Berg, 2020/06/10
- Re: Emacs as a translator's tool, Marcin Borkowski, 2020/06/12
- Re: Emacs as a translator's tool, Emanuel Berg, 2020/06/12
- Re: Emacs as a translator's tool, Marcin Borkowski, 2020/06/12
- Re: Emacs as a translator's tool, Emanuel Berg, 2020/06/19
- Re: Emacs as a translator's tool, Emanuel Berg, 2020/06/19
- Re: Emacs as a translator's tool, Emanuel Berg, 2020/06/10