wmde/ValueView — pull request #131 by snaterlicious (2014-11-12 07:45:17+00:00)
Title: util.highlightSubstring: Replaced "caseInsensitive" option

Since it is more sensible to have options default to "false", "caseInsensitive" option
is replace with "caseSensitive" option.