scrollPane.addBreakpointModificationListener(this);
scrollPane.setLineNumbersEnabled(true);
panel1.add(scrollPane);
scriptPane.setText(script.getScript());
scriptPane.setDirty(false);
ErrorStrip es = scriptPane.getErrorStrip();
if (es != null)
panel1.add(es, BorderLayout.LINE_END);
// Update breakpoints...
for(int line: script.breakpoints.descendingKeySet()) {
scrollPane.addBreakpoint(line);