diff options
| author | Dani Megert | 2006-12-14 08:49:53 +0000 |
|---|---|---|
| committer | Dani Megert | 2006-12-14 08:49:53 +0000 |
| commit | 32ca8f9b61c4cd09fe9bdf1d01ece7f9a50e5501 (patch) | |
| tree | 865151e532f6783dc4f47e5235eab9b697323607 /org.eclipse.ui.workbench.texteditor/schema | |
| parent | f3f70881f97814357c2b1064a5d4e3ef5ab4b40c (diff) | |
| download | eclipse.platform.text-32ca8f9b61c4cd09fe9bdf1d01ece7f9a50e5501.tar.gz eclipse.platform.text-32ca8f9b61c4cd09fe9bdf1d01ece7f9a50e5501.tar.xz eclipse.platform.text-32ca8f9b61c4cd09fe9bdf1d01ece7f9a50e5501.zip | |
Fixed bug 168013: Redundant 'deprecated'
Diffstat (limited to 'org.eclipse.ui.workbench.texteditor/schema')
| -rw-r--r-- | org.eclipse.ui.workbench.texteditor/schema/quickDiffReferenceProvider.exsd | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/org.eclipse.ui.workbench.texteditor/schema/quickDiffReferenceProvider.exsd b/org.eclipse.ui.workbench.texteditor/schema/quickDiffReferenceProvider.exsd index f18d6b87cea..c67ef02f2c3 100644 --- a/org.eclipse.ui.workbench.texteditor/schema/quickDiffReferenceProvider.exsd +++ b/org.eclipse.ui.workbench.texteditor/schema/quickDiffReferenceProvider.exsd @@ -82,7 +82,7 @@ <attribute name="default" type="boolean"> <annotation> <documentation> - Deprecated - do not use. + If this flag is set to <code>true</code>, this reference provider will be installed per default the first time quick diff is enabled for a document. If multiple providers are installed with the flag set are encountered, the first one is taken. </documentation> <appInfo> <meta.attribute deprecated="true"/> |