Martin Blanchard authored Feb 05, 2018 and Jeremy Bicha committed Aug 06, 2018

The quick-highlight plugin brings fast and interactive highlight
of selected text. Text slice maching and highlighting have been
written using the existing search infrastructure. A particular
care has been given to performance. Hit should be reduce to
something acceptable.

Current implementation is inspired of the latest work done by
Christian Hergert on similar plugin for gnome-builder.

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