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