-
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
7049a161