if (styles == null) { styles = new StyleRange[0]; }
	public void writeLine(String line, int lineOffset) {		if (isClosed()) {			SWT.error(SWT.ERROR_IO);		}		//StyledTextEvent event = renderer.getLineStyleData(lineOffset, line);		StyledTextEvent event = getLineStyleData(lineOffset, line);		StyleRange[] styles = new StyleRange[0];		if (event != null) {			styles = event.styles;		}		//event = renderer.getLineBackgroundData(lineOffset, line);		event = getLineBackgroundData(lineOffset, line);		Color lineBackground = null;		if (event != null) {			lineBackground = event.lineBackground;		}		if (lineBackground == null) {			lineBackground = getBackground();		}		writeStyledLine(line, lineOffset, styles, lineBackground);	}