private void removeUncommittedDataElements() {
Script script = getDisplayedObject();
if (!script.isDeleted()) {
GlobalDataElements des = project.getGlobalDataElements();
ScriptVariables variables = new ScriptVariables(des);
variables.scanScript(script);
}
}
public void highlightText(Interval interval) {
builder.highlightText(interval);