diff options
author | Dani Megert | 2007-01-26 16:07:49 +0000 |
---|---|---|
committer | Dani Megert | 2007-01-26 16:07:49 +0000 |
commit | df9c0e9800fb6c21639d3e11b9b2bf0947600250 (patch) | |
tree | e2dfe4be655e4e7498b14b7cddbb13ba5bc41ae9 /org.eclipse.ui.editors/plugin.xml | |
parent | 3a3e3fc22700066194aff0fade46fdd8e03c60c5 (diff) | |
download | eclipse.platform.text-df9c0e9800fb6c21639d3e11b9b2bf0947600250.tar.gz eclipse.platform.text-df9c0e9800fb6c21639d3e11b9b2bf0947600250.tar.xz eclipse.platform.text-df9c0e9800fb6c21639d3e11b9b2bf0947600250.zip |
Fixed bug 88293: [misc] Extension-Point for HyperlinkDetectors
Diffstat (limited to 'org.eclipse.ui.editors/plugin.xml')
-rw-r--r-- | org.eclipse.ui.editors/plugin.xml | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/org.eclipse.ui.editors/plugin.xml b/org.eclipse.ui.editors/plugin.xml index 8842d77ff0a..6c75ec4fc18 100644 --- a/org.eclipse.ui.editors/plugin.xml +++ b/org.eclipse.ui.editors/plugin.xml @@ -242,6 +242,13 @@ id="org.eclipse.ui.editors.preferencePages.LinkedModePreferencePage"> <keywordReference id="org.eclipse.ui.editors.linkedmode"/> </page> + <page + name="%HyperlinkDetectorsPreferencePage" + category="org.eclipse.ui.preferencePages.GeneralTextEditor" + class="org.eclipse.ui.internal.editors.text.HyperlinkDetectorsPreferencePage" + id="org.eclipse.ui.editors.preferencePages.HyperlinkDetectorsPreferencePage"> + <keywordReference id="org.eclipse.ui.editors.hyperlinkDetectors"/> + </page> </extension> <extension @@ -264,6 +271,9 @@ <keyword label="%preferenceKeywords.linkedmode" id="org.eclipse.ui.editors.linkedmode"/> + <keyword + label="%preferenceKeywords.hyperlinkDetectors" + id="org.eclipse.ui.editors.hyperlinkDetectors"/> </extension> <extension point="org.eclipse.ui.editors.documentProviders"> |