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

[Stefan Monnier]

> +(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