public void expandFolds(int foldLevel)
public void expandFolds(char digit)
	public void expandFolds(int foldLevel)	{		if(buffer.getFoldHandler() instanceof IndentFoldHandler)			foldLevel = (foldLevel - 1) * buffer.getIndentSize() + 1;		showLineRange(0,buffer.getLineCount() - 1);		/* this ensures that the first line is always visible */		boolean seenVisibleLine = false;		int firstInvisible = 0;		for(int i = 0; i < buffer.getLineCount(); i++)		{			if(!seenVisibleLine || buffer.getFoldLevel(i) < foldLevel)			{				if(firstInvisible != i)				{					hideLineRange(firstInvisible,						i - 1);				}				firstInvisible = i + 1;				seenVisibleLine = true;			}		}		if(firstInvisible != buffer.getLineCount())			hideLineRange(firstInvisible,buffer.getLineCount() - 1);		_notifyScreenLineChanges();		textArea.foldStructureChanged();	} //}}}