buffer.addMarker('\0',caret);
buffer.addOrRemoveMarker('\0',caret);
	public void addMarker()	{		Selection[] selection = getSelection();		for(int i = 0; i < selection.length; i++)		{			Selection s = selection[i];			if(s.startLine != s.endLine)			{				if(s.startLine != caretLine)					buffer.addMarker('\0',s.start);			}			if(s.endLine != caretLine)				buffer.addMarker('\0',s.end);		}		buffer.addMarker('\0',caret);	}