tree bd3dac6f8328e9c636a13237bc53c6531b1bb9fb
parent b6b48fbb1efc77cea2fb11a8db30a87849965a8a
author Lars Vogel <Lars.Vogel@vogella.com> 1479242958 +0100
committer Lars Vogel <Lars.Vogel@vogella.com> 1479243074 +0100

Bug 507400 - Search dialog should not be modal

This make the search dialog non-blocking anymore, so that the user can
still select text from the editor, even if the dialog is open. Opening
multiple times the dialog is not possible due to a check in the related
action.

Change-Id: Ic4ae870a3097e8f16aba708f138c2e05fe1d8cc2
Signed-off-by: Lars Vogel <Lars.Vogel@vogella.com>