[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Info mutilates user overlays.

From: Luc Teirlinck
Subject: Re: Info mutilates user overlays.
Date: Wed, 1 Oct 2003 18:18:53 -0500 (CDT)

>From my previous message:
   Maybe just adding the updating command to the right hook might
   solve the problem.

I will take a closer look at it, but at first sight
`Info-selection-hook' looks like it might work.  There probably are
other *info* style buffers, so I still would have to tell that in
certain situations manual re-highlighting will be necessary.



reply via email to

[Prev in Thread] Current Thread [Next in Thread]