Community
Participate
Working Groups
fDirtyRegionQueue= new DirtyRegionQueue();
fThread= new BackgroundThread(getClass().getName());
// Ensure the background thread is started if the document is already set
IDocument document= textViewer.getDocument();
if (document != null)
fListener.inputDocumentChanged(null, document);
}
/*