SearchContext: better handle high-priority region
SearchContext: better handle high-priority region

When several views have the same buffer,
_gtk_source_search_context_update_highlight() is called several times,
with different subregions.

https://bugzilla.gnome.org/show_bug.cgi?id=742550

GNOME/gtksourceview,GNOME/gtksourceview,uajain/gtksourceview,uajain/gtksourceview,uajain/gtksourceview,GNOME/gtksourceview,GNOME/gtksourceview,uajain/gtksourceview,GNOME/gtksourceview,GNOME/gtksourceview,GNOME/gtksourceview,GNOME/gtksourceview,GNOME/gtksourceview,GNOME/gtksourceview,GNOME/gtksourceview,GNOME/gtksourceview,GNOME/gtksourceview,GNOME/gtksourceview,uajain/gtksourceview,uajain/gtksourceview,GNOME/gtksourceview,uajain/gtksourceview,uajain/gtksourceview,uajain/gtksourceview,uajain/gtksourceview