@Deprecated
protected class DeferredDocumentProvider.DeferredSetTextRunnable
extends java.lang.Object
implements java.lang.Runnable
Modifier and Type | Field and Description |
---|---|
protected java.lang.String |
displayText
Deprecated.
|
protected org.eclipse.xtext.ui.editor.model.XtextDocument |
document
Deprecated.
|
Constructor and Description |
---|
DeferredSetTextRunnable(org.eclipse.xtext.ui.editor.model.XtextDocument document,
java.lang.String displayText)
Deprecated.
|
Modifier and Type | Method and Description |
---|---|
void |
run()
Deprecated.
|
@NonNull protected final org.eclipse.xtext.ui.editor.model.XtextDocument document
@NonNull protected final java.lang.String displayText