highlighting: avoid trying to match groups in area already highlighted: this could prevent an effective match further in the text

Jean-Francois Dockes Jean-Francois Dockes 2012-08-14

changed src/query/plaintorich.cpp
src/query/plaintorich.cpp Diff Switch to side-by-side view
Loading...