public void run() {
if (textViewer == null) {
textViewer = notesViewer.getImplementation().getTextViewer();
}
if (textViewer != null) {
if (textViewer.canDoOperation(op)) {
textViewer.doOperation(op);
}
}
}
public void update(TextViewer textViewer) {
setEnabled(textViewer.canDoOperation(op));
}