diff options
Diffstat (limited to 'org.eclipse.ui.console/src/org/eclipse/ui/internal/console/IOConsoleViewer.java')
| -rw-r--r-- | org.eclipse.ui.console/src/org/eclipse/ui/internal/console/IOConsoleViewer.java | 13 |
1 files changed, 5 insertions, 8 deletions
diff --git a/org.eclipse.ui.console/src/org/eclipse/ui/internal/console/IOConsoleViewer.java b/org.eclipse.ui.console/src/org/eclipse/ui/internal/console/IOConsoleViewer.java index 432f86a6f..2c6799741 100644 --- a/org.eclipse.ui.console/src/org/eclipse/ui/internal/console/IOConsoleViewer.java +++ b/org.eclipse.ui.console/src/org/eclipse/ui/internal/console/IOConsoleViewer.java @@ -1,5 +1,5 @@ /******************************************************************************* - * Copyright (c) 2000, 2015 IBM Corporation and others. + * Copyright (c) 2000, 2018 IBM Corporation and others. * All rights reserved. This program and the accompanying materials * are made available under the terms of the Eclipse Public License v1.0 * which accompanies this distribution, and is available at @@ -139,13 +139,10 @@ public class IOConsoleViewer extends TextConsoleViewer { * makes the associated text widget uneditable. */ public void setReadOnly() { - ConsolePlugin.getStandardDisplay().asyncExec(new Runnable() { - @Override - public void run() { - StyledText text = getTextWidget(); - if (text != null && !text.isDisposed()) { - text.setEditable(false); - } + ConsolePlugin.getStandardDisplay().asyncExec(() -> { + StyledText text = getTextWidget(); + if (text != null && !text.isDisposed()) { + text.setEditable(false); } }); } |