Subject: bug#14015: Feature request: highlight partial matches in Info's index-search

From: Stefan Monnier <[email-masked]>
Date: Thu, 21 Mar 2013 21:29:50 -0400

> +(defcustom Info-index-match-face 'match
> +  "Face used by \\[Info-index] to show the text that matches.
> +If the value is nil, don't highlight the matching portions specially."
> +  :type 'face
> +  :group 'info
> +  :version "24.4")

Nowadays, we usually prefer to define a new face that inherits from
`match'.

        Stefan