diff options
| author | sarsenau | 2002-06-07 14:04:38 +0000 |
|---|---|---|
| committer | sarsenau | 2002-06-07 14:04:38 +0000 |
| commit | 7ede673fba8e32ed4129b68c7b555765c1fba51a (patch) | |
| tree | ff6c438db7702b9af9079b36746c20faffd50e35 /org.eclipse.ui.externaltools/External Tools/org/eclipse/ui/externaltools | |
| parent | e3a72e0fc3b0465a0ffbc087670c6f313d0aae96 (diff) | |
| download | eclipse.platform.debug-7ede673fba8e32ed4129b68c7b555765c1fba51a.tar.gz eclipse.platform.debug-7ede673fba8e32ed4129b68c7b555765c1fba51a.tar.xz eclipse.platform.debug-7ede673fba8e32ed4129b68c7b555765c1fba51a.zip | |
Fix PR 19355 - [External Tools] LogConsolePreferencePage not used
Diffstat (limited to 'org.eclipse.ui.externaltools/External Tools/org/eclipse/ui/externaltools')
| -rw-r--r-- | org.eclipse.ui.externaltools/External Tools/org/eclipse/ui/externaltools/internal/ui/LogConsolePreferencePage.java | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/org.eclipse.ui.externaltools/External Tools/org/eclipse/ui/externaltools/internal/ui/LogConsolePreferencePage.java b/org.eclipse.ui.externaltools/External Tools/org/eclipse/ui/externaltools/internal/ui/LogConsolePreferencePage.java index 50a8f4872..f7bf95704 100644 --- a/org.eclipse.ui.externaltools/External Tools/org/eclipse/ui/externaltools/internal/ui/LogConsolePreferencePage.java +++ b/org.eclipse.ui.externaltools/External Tools/org/eclipse/ui/externaltools/internal/ui/LogConsolePreferencePage.java @@ -18,6 +18,8 @@ import org.eclipse.ui.help.WorkbenchHelp; /** * A page to set the preferences for the console + * + * @deprecated This preference page should not be used. To be removed by next release. */ public class LogConsolePreferencePage extends FieldEditorPreferencePage |