Re: Info mutilates user overlays.

[Luc Teirlinck]

>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.

Sincerely,

Luc.