On Mon, Dec 02, 2013 at 11:04:09AM +0100, Stefan Haller wrote: > I don't think that not selecting the search hint is an > option: the selection is used to keep track of where to > search next.
To mark the next found position, should a 0-length selection be enough? I will try to experiment with it. > Can't we just raise the currentsearchhit tag above the sel > tag? This also seems to help, as far as I understod currentsearchhit is always removed as interactive selection starts, so it should not hide manual selection. -- Max -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majord...@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html
