-
Quick Highlight is a simple plugin that highlight every occurences of selected text. This first implementation relies on the GtkSourceView serch infrastructure for matching text. https://bugzilla.gnome.org/show_bug.cgi?id=770477
686ed940
Quick Highlight is a simple plugin that highlight every occurences of selected text. This first implementation relies on the GtkSourceView serch infrastructure for matching text. https://bugzilla.gnome.org/show_bug.cgi?id=770477