Searched refs:areaStr (Results 1 – 1 of 1) sorted by relevance
347 final String areaStr = getNextArg(); in runDisplayFoldedArea() local349 if (areaStr == null) { in runDisplayFoldedArea()352 } else if ("reset".equals(areaStr)) { in runDisplayFoldedArea()357 final Matcher matcher = flattenedPattern.matcher(areaStr); in runDisplayFoldedArea()