diff options
author | Paul Pazderski | 2019-02-28 21:17:43 +0000 |
---|---|---|
committer | Andrey Loskutov | 2019-03-16 16:31:05 +0000 |
commit | f8f69cc849b9a3bd4edea07fbafc96db4c4f1842 (patch) | |
tree | 5ed3a488ba81289a0bf043a17af347388909e928 /org.eclipse.ui.console/src | |
parent | da6766d3adacd89923da191bce68e3e096445e0e (diff) | |
download | eclipse.platform.debug-f8f69cc849b9a3bd4edea07fbafc96db4c4f1842.tar.gz eclipse.platform.debug-f8f69cc849b9a3bd4edea07fbafc96db4c4f1842.tar.xz eclipse.platform.debug-f8f69cc849b9a3bd4edea07fbafc96db4c4f1842.zip |
Bug 544969 - [console] ConsoleDocumentAdapter.setText does not set textI20190318-1800
Change-Id: Ib12b38b964891bb13bd933bb1f9d74fb39421471
Signed-off-by: Paul Pazderski <paul-eclipse@ppazderski.de>
Signed-off-by: Andrey Loskutov <loskutov@gmx.de>
Diffstat (limited to 'org.eclipse.ui.console/src')
-rw-r--r-- | org.eclipse.ui.console/src/org/eclipse/ui/internal/console/ConsoleDocumentAdapter.java | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/org.eclipse.ui.console/src/org/eclipse/ui/internal/console/ConsoleDocumentAdapter.java b/org.eclipse.ui.console/src/org/eclipse/ui/internal/console/ConsoleDocumentAdapter.java index 0d90b45cd..f8f0df6f5 100644 --- a/org.eclipse.ui.console/src/org/eclipse/ui/internal/console/ConsoleDocumentAdapter.java +++ b/org.eclipse.ui.console/src/org/eclipse/ui/internal/console/ConsoleDocumentAdapter.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 @@ -240,6 +240,7 @@ public class ConsoleDocumentAdapter implements IDocumentAdapter, IDocumentListen @Override public synchronized void setText(String text) { + document.set(text == null ? "" : text); //$NON-NLS-1$ TextChangedEvent changeEvent = new TextChangedEvent(this); for (TextChangeListener listener : textChangeListeners) { listener.textSet(changeEvent); |