[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: About the DEL trick
From: |
Didier Verna |
Subject: |
Re: About the DEL trick |
Date: |
Tue, 27 Aug 2019 14:44:29 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/26.3 (darwin) |
Gavin Smith <address@hidden> wrote:
> FWIW a while ago I suggested removing this feature (at the end of
> https://lists.gnu.org/archive/html/bug-gnu-emacs/2019-01/msg00235.html).
> But there has been no changes since then and there would be no rush to
> remove it, especially if you find it useful.
Well, although I cannot use it right now, I would hate to see it go
because it is the only solution there is to have really anything in
node names.
The current solution I use is to replace problematic characters by
ugly sequences like <dot>, and soon by Unicode characters looking like
the original ones (Cf. the paper I sent you the other day). But these
solutions prevent readers from cut'n pasting the node names and get
the real thing.
I'll try to patch the Emacs mode one of these days to make it support
the DEL trick. Requesting a recent Info reader / Emacs mode is a price
I'm willing to pay in order to have really free node names.
--
Resistance is futile. You will be jazzimilated.
Lisp, Jazz, Aïkido: http://www.didierverna.info