return getSelectedText("\n");
StringBuffer buf = new StringBuffer(s.end - s.start); s.getText(buffer,buf); return buf.toString();
	public String getSelectedText()	{		return getSelectedText("\n");	} //}}}