diff options
author | Mickael Istria | 2019-08-22 17:12:53 +0000 |
---|---|---|
committer | Mickael Istria | 2019-08-22 17:12:53 +0000 |
commit | 13712284cc6f426dd64c84c27589755a96979663 (patch) | |
tree | d1ba10a1a36d46dc1035432333aac8769840058d | |
parent | cbc3f41c5bbaeefe42ee458c5b8c50acb01085ba (diff) | |
download | eclipse.platform.text-13712284cc6f426dd64c84c27589755a96979663.tar.gz eclipse.platform.text-13712284cc6f426dd64c84c27589755a96979663.tar.xz eclipse.platform.text-13712284cc6f426dd64c84c27589755a96979663.zip |
Bug 550327 - Move "Quick Search" pref page under "Preferences > General"I20190823-0840I20190823-0530
Change-Id: I4e7a1c0caa83e41c8ce344a0c5aa4e4116478759
Signed-off-by: Mickael Istria <mistria@redhat.com>
-rw-r--r-- | org.eclipse.text.quicksearch/plugin.xml | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/org.eclipse.text.quicksearch/plugin.xml b/org.eclipse.text.quicksearch/plugin.xml index f4b036856dc..c46b2c7f73e 100644 --- a/org.eclipse.text.quicksearch/plugin.xml +++ b/org.eclipse.text.quicksearch/plugin.xml @@ -100,9 +100,11 @@ </extension> <extension point = "org.eclipse.ui.preferencePages"> - <page id="org.eclipse.text.quicksearch.PreferencesPage" - class="org.eclipse.text.quicksearch.internal.ui.QuickSearchPreferencesPage" - name="%quickSearch.label"> + <page + category="org.eclipse.ui.preferencePages.Workbench" + class="org.eclipse.text.quicksearch.internal.ui.QuickSearchPreferencesPage" + id="org.eclipse.text.quicksearch.PreferencesPage" + name="%quickSearch.label"> </page> </extension> |