control.setStyleRanges(styleRanges.toArray(new StyleRange[0]));
}
public void setDocument(IDocument document) {
this.document = document;
DefaultDocumentAdapter adapter = new DefaultDocumentAdapter();
adapter.addTextChangeListener(new TextChangeListener() {
@Override
public void textChanged(TextChangedEvent event) {
update();
}
@Override
public void textSet(TextChangedEvent event) {
update();
}
@Override
public void textChanging(TextChangingEvent event) {
// TODO Auto-generated method stub
}
});
adapter.setDocument(document);
control.setContent(adapter);
partitioner.connect(document);
document.setDocumentPartitioner(partitioner);
update();
}