this.lineHighlight = lineHighlight;
if(lineHighlightTag != null) getHighlighter().removeHighlight(lineHighlightTag);  if(lineHighlight) { try { lineHighlightTag = getHighlighter().addHighlight( 0,0,new CurrentLineHighlighter()); } catch(BadLocationException bl) { bl.printStackTrace(); } } else lineHighlightTag = null;
	public void setLineHighlight(boolean lineHighlight)	{		this.lineHighlight = lineHighlight;	}