wish# 1010 Highlight search

Submitter: javier
Category: IDE
Date: 2018/10/02
Number: 1010
Status: Open
Synopsis: Highlight search
Description
Interactions