Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorMickael Istria2019-08-22 17:12:53 +0000
committerMickael Istria2019-08-22 17:12:53 +0000
commit13712284cc6f426dd64c84c27589755a96979663 (patch)
treed1ba10a1a36d46dc1035432333aac8769840058d
parentcbc3f41c5bbaeefe42ee458c5b8c50acb01085ba (diff)
downloadeclipse.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.xml8
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>

Back to the top