-
Christian Kandeler authored
Right now, the only way for a user to find out whether a search term was found is to scan the editor window for marked strings, which is a drag in the negative case. Also, an ongoing search is practically indistinguishable from a failed one. Therefore, color the search term red if the search has failed. Change-Id: I57441c3804043e1dcfb33638844b4550abd5ac46 Reviewed-by: Eike Ziller <eike.ziller@theqtcompany.com>
38609296