public boolean replaceAll(View view, int index, int length)
public boolean replaceAll(View view, int start, int end)
	public boolean replaceAll(View view, int index, int length)	{		if(!view.getTextArea().isEditable())			return false;		boolean found = false;		beginCompoundEdit();		try		{			RE regexp = jEdit.getRE();			String replaceStr = jEdit.getProperty("history.replace.0");			if(regexp == null)			{				endCompoundEdit();				return false;			}			REMatch match;			while((match = regexp.getMatch(getText(index,				length - index))) != null)			{				int start = match.getStartIndex() + index;				int len = match.getEndIndex() - match					.getStartIndex();				String str = getText(start,len);				remove(start,len);				String subst = regexp.substitute(str,replaceStr);				index = start + subst.length();				insertString(start,subst,null);				found = true;			}		}		catch(Exception e)		{			Object[] args = { e.getMessage() };			if(args[0] == null)				args[0] = e.toString();			GUIUtilities.error(view,"reerror",args);		}		endCompoundEdit();		return found;	}