BusyIndicator.showWhile(editor.getTextViewer().getControl().getDisplay(), runnable);
} finally {
// tell the model that we are done with the big
// model
// change
model.changedModel();
// end recording
ITextSelection selection = (ITextSelection) editor.getSelectionProvider().getSelection();
model.endRecording(this, selection.getOffset(), selection.getLength());
}