I abandoned the search ahead and back that was causing me grief. The positioning in the scrollback buffer was getting very messed up. The code h cleaner now, and the behaviour matches gnome-terminal. It would be nice if there was a way of finding out if there were matched before/after the current highlight without having to perform mickey mouse searches, but this is the hand the API has dealt. Deal with it ;-)
Fix committed in rev 1773.
I abandoned the search ahead and back that was causing me grief. The positioning in the scrollback buffer was getting very messed up. The code h cleaner now, and the behaviour matches gnome-terminal. It would be nice if there was a way of finding out if there were matched before/after the current highlight without having to perform mickey mouse searches, but this is the hand the API has dealt. Deal with it ;-)