-
Erik Verbruggen authored
The replace button was not connected. Also made the search restarting slightly more robust. Change-Id: Iad7aea436749c0bda6ec4f58776e73b598a12a23 Reviewed-by:
Christian Stenger <christian.stenger@digia.com>
Erik Verbruggen authoredThe replace button was not connected. Also made the search restarting slightly more robust. Change-Id: Iad7aea436749c0bda6ec4f58776e73b598a12a23 Reviewed-by:
Christian Stenger <christian.stenger@digia.com>