Gavin Smith <[email protected]> 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
