Christian Kandeler 38609296d1 Find widget: Give feedback to user about whether search has succeeded. ...

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>

2015-02-17 10:28:11 +00:00

..

dark.creatortheme

Find widget: Give feedback to user about whether search has succeeded.

2015-02-17 10:28:11 +00:00

default.creatortheme

Find widget: Give feedback to user about whether search has succeeded.

2015-02-17 10:28:11 +00:00