Highlighting on double-click all instances of a word is an option in the Addons plugin. Also my quick-search plugin (see github.com/sblatnick) does additional highlighting in other colors based on what was searched last and what was selected last.
Hope this helps, Steve
_______________________________________________ Devel mailing list Devel@lists.geany.org https://lists.geany.org/cgi-bin/mailman/listinfo/devel
