diff options
| author | Jayaprakash Arthanareeswaran | 2014-12-05 07:20:11 +0000 |
|---|---|---|
| committer | Jayaprakash Arthanareeswaran | 2014-12-05 07:20:11 +0000 |
| commit | 06764b62b785bb80863f600397b49c0f2e884a4d (patch) | |
| tree | ba2580e07b99f810061dbc28e508277e80397ad8 | |
| parent | 462fdbe66c95fe469d26ca4c9a495870e5915168 (diff) | |
| download | eclipse.jdt.core-06764b62b785bb80863f600397b49c0f2e884a4d.tar.gz eclipse.jdt.core-06764b62b785bb80863f600397b49c0f2e884a4d.tar.xz eclipse.jdt.core-06764b62b785bb80863f600397b49c0f2e884a4d.zip | |
Revert "Bug 453527 - Consider disabling all org.eclipse.jdt.apt.core debug options if general debug option is disabled"
This reverts commit a64919c0c4ec66879cf77662550d459f0b5a8477.
| -rw-r--r-- | org.eclipse.jdt.apt.core/src/org/eclipse/jdt/apt/core/internal/AptPlugin.java | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/org.eclipse.jdt.apt.core/src/org/eclipse/jdt/apt/core/internal/AptPlugin.java b/org.eclipse.jdt.apt.core/src/org/eclipse/jdt/apt/core/internal/AptPlugin.java index e6c908ef6e..1aec2908c9 100644 --- a/org.eclipse.jdt.apt.core/src/org/eclipse/jdt/apt/core/internal/AptPlugin.java +++ b/org.eclipse.jdt.apt.core/src/org/eclipse/jdt/apt/core/internal/AptPlugin.java @@ -183,9 +183,9 @@ public class AptPlugin extends Plugin implements DebugOptionsListener { public void optionsChanged(DebugOptions options) { DEBUG = options.getBooleanOption(APT_DEBUG_OPTION, false); - DEBUG_GFM = DEBUG && options.getBooleanOption(APT_DEBUG_GFM_OPTION, false); - DEBUG_GFM_MAPS = DEBUG && options.getBooleanOption(APT_DEBUG_GFM_MAPS_OPTION, false); - DEBUG_COMPILATION_ENV = DEBUG && options.getBooleanOption(APT_COMPILATION_ENV_OPTION, false); + DEBUG_GFM = options.getBooleanOption(APT_DEBUG_GFM_OPTION, false); + DEBUG_GFM_MAPS = options.getBooleanOption(APT_DEBUG_GFM_MAPS_OPTION, false); + DEBUG_COMPILATION_ENV = options.getBooleanOption(APT_COMPILATION_ENV_OPTION, false); } public static void trace(final String msg){ |