diff options
| author | Stefan Xenos | 2016-06-11 00:45:01 +0000 |
|---|---|---|
| committer | Dani Megert | 2016-10-02 14:43:22 +0000 |
| commit | cd2186eb11c3c3bfeedea792d6bcd336d17076f1 (patch) | |
| tree | 7eecde8b051217063c5b8d4faae5d818a4d71d8c | |
| parent | ed21e9f2cfeffcee7cda40ecf79fe4b7592aa4ca (diff) | |
| download | eclipse.platform.common-cd2186eb11c3c3bfeedea792d6bcd336d17076f1.tar.gz eclipse.platform.common-cd2186eb11c3c3bfeedea792d6bcd336d17076f1.tar.xz eclipse.platform.common-cd2186eb11c3c3bfeedea792d6bcd336d17076f1.zip | |
Bug 495817 - preference for disabling new indexY20161024-2045Y20161024-1300Y20161024-0700Y20161021-1200Y20161021-0600Y20161020-1800Y20161020-1000Y20161018-1100Y20161013-1000Y20161006-1000I20161024-2000I20161024-1000I20161024-0410I20161023-2000I20161018-0800I20161011-0800I20161005-1430I20161005-1045I20161005-0815
Change-Id: I375a5d239bd4586e7d26e45ba1459a9e22f3c8ad
Signed-off-by: Stefan Xenos <sxenos@gmail.com>
| -rw-r--r-- | bundles/org.eclipse.jdt.doc.user/contexts_JDT.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bundles/org.eclipse.jdt.doc.user/contexts_JDT.xml b/bundles/org.eclipse.jdt.doc.user/contexts_JDT.xml index 280d973f5..4502b2dea 100644 --- a/bundles/org.eclipse.jdt.doc.user/contexts_JDT.xml +++ b/bundles/org.eclipse.jdt.doc.user/contexts_JDT.xml @@ -878,7 +878,7 @@ <!-- Preference pages --> <context id="java_base_preference_page_context"> - <description>On this page you can indicate your preferences for the general Java tooling settings.</description> + <description>On this page you can indicate your preferences for the general Java tooling settings. Eclipse 4.7 contains an experimental new Java index which is enabled by default. If you suspect an index-related bug, you can disable the new index from here.</description> <topic label="Java preferences" href="reference/preferences/ref-preferences-java.htm"/> </context> |