diff options
author | Lars Vogel | 2016-11-15 20:49:18 +0000 |
---|---|---|
committer | Lars Vogel | 2016-11-15 20:51:14 +0000 |
commit | 472c98851d01b36a7c0d02726019bf98849fc522 (patch) | |
tree | bd3dac6f8328e9c636a13237bc53c6531b1bb9fb /org.eclipse.ui.genericeditor/plugin.xml | |
parent | b6b48fbb1efc77cea2fb11a8db30a87849965a8a (diff) | |
download | eclipse.platform.text-472c98851d01b36a7c0d02726019bf98849fc522.tar.gz eclipse.platform.text-472c98851d01b36a7c0d02726019bf98849fc522.tar.xz eclipse.platform.text-472c98851d01b36a7c0d02726019bf98849fc522.zip |
Bug 507400 - Search dialog should not be modalY20161117-1000I20161117-2000I20161116-2000
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>
Diffstat (limited to 'org.eclipse.ui.genericeditor/plugin.xml')
0 files changed, 0 insertions, 0 deletions