From: Francois Fleuret Date: Fri, 10 Feb 2012 10:16:45 +0000 (+0100) Subject: The sub-string highlighting seems to work. X-Git-Url: https://fleuret.org/cgi-bin/gitweb/gitweb.cgi?a=commitdiff_plain;h=f18a4423d8eb4fe2d3afb792ac5dbadfbc30bd74;hp=f18a4423d8eb4fe2d3afb792ac5dbadfbc30bd74;p=selector.git The sub-string highlighting seems to work. ---