diff options
| author | Dani Megert | 2019-04-10 14:05:48 +0000 |
|---|---|---|
| committer | Dani Megert | 2019-04-10 14:05:48 +0000 |
| commit | f14ed757d58a610e6a9702ed7849da22563f6258 (patch) | |
| tree | f7401b39ee6fc2707ea904788bd24ba0f5066465 | |
| parent | 5573bbd6933649a2f28dc52a2b2a15c181eb851f (diff) | |
| download | eclipse.jdt.ui-f14ed757d58a610e6a9702ed7849da22563f6258.tar.gz eclipse.jdt.ui-f14ed757d58a610e6a9702ed7849da22563f6258.tar.xz eclipse.jdt.ui-f14ed757d58a610e6a9702ed7849da22563f6258.zip | |
Fixed bug 546285: [code mining] "preference option missing" in error logS4_12_0_M1I20190415-1800I20190415-0300I20190414-1800I20190414-0210I20190413-1800I20190412-1800I20190412-0520I20190411-0625I20190410-1800
| -rw-r--r-- | org.eclipse.jdt.ui/ui/org/eclipse/jdt/ui/PreferenceConstants.java | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/org.eclipse.jdt.ui/ui/org/eclipse/jdt/ui/PreferenceConstants.java b/org.eclipse.jdt.ui/ui/org/eclipse/jdt/ui/PreferenceConstants.java index dddc9db5be..cab794d179 100644 --- a/org.eclipse.jdt.ui/ui/org/eclipse/jdt/ui/PreferenceConstants.java +++ b/org.eclipse.jdt.ui/ui/org/eclipse/jdt/ui/PreferenceConstants.java @@ -1,5 +1,5 @@ /******************************************************************************* - * Copyright (c) 2000, 2018 IBM Corporation and others. + * Copyright (c) 2000, 2019 IBM Corporation and others. * * This program and the accompanying materials * are made available under the terms of the Eclipse Public License 2.0 @@ -4222,6 +4222,7 @@ public class PreferenceConstants { store.setDefault(EDITOR_JAVA_CODEMINING_SHOW_REFERENCES_ON_FIELDS, true); store.setDefault(EDITOR_JAVA_CODEMINING_SHOW_REFERENCES_ON_METHODS, true); store.setDefault(EDITOR_JAVA_CODEMINING_SHOW_IMPLEMENTATIONS, true); + store.setDefault(EDITOR_JAVA_CODEMINING_SHOW_PARAMETER_NAMES, false); } /** |