diff options
author | Paul Pazderski | 2019-10-09 11:16:45 +0000 |
---|---|---|
committer | Paul Pazderski | 2019-10-09 11:16:45 +0000 |
commit | f99a92ff42bbdea4a8942581dfe84029df7d8e98 (patch) | |
tree | 51c1a608c1a9b097a8134e67b09558c759ad044a | |
parent | 45c4201d33d4ad7a79a93137e7525874454f6d28 (diff) | |
download | eclipse.platform.debug-f99a92ff42bbdea4a8942581dfe84029df7d8e98.tar.gz eclipse.platform.debug-f99a92ff42bbdea4a8942581dfe84029df7d8e98.tar.xz eclipse.platform.debug-f99a92ff42bbdea4a8942581dfe84029df7d8e98.zip |
Bug 367355 - [preferences] [console] Error message header is notI20191012-1800I20191011-1800
reliably showing the status of the page
Change-Id: I0bebdfedef1038ff1115fd859893337d9855c531
Signed-off-by: Paul Pazderski <paul-eclipse@ppazderski.de>
-rw-r--r-- | org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/preferences/ConsolePreferencePage.java | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/preferences/ConsolePreferencePage.java b/org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/preferences/ConsolePreferencePage.java index 7844424a7..881290b8e 100644 --- a/org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/preferences/ConsolePreferencePage.java +++ b/org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/preferences/ConsolePreferencePage.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 @@ -226,10 +226,7 @@ public class ConsolePreferencePage extends FieldEditorPreferencePage implements } protected boolean canClearErrorMessage() { - if (fWidthEditor.isValid() && fBufferSizeEditor.isValid()) { - return true; - } - return false; + return fWidthEditor.isValid() && fBufferSizeEditor.isValid() && fTabSizeEditor.isValid(); } /** @@ -249,6 +246,9 @@ public class ConsolePreferencePage extends FieldEditorPreferencePage implements if (fBufferSizeEditor != null && event.getSource() != fBufferSizeEditor) { fBufferSizeEditor.refreshValidState(); } + if (fTabSizeEditor != null && event.getSource() != fTabSizeEditor) { + fTabSizeEditor.refreshValidState(); + } checkState(); } else { super.propertyChange(event); |