{
// If no selection, fold the innermost non-anonymous scope
ScopeList scopeList = new ScopeList(docDisplay_);
scopeList.removeAll(ScopeList.ANON_BRACE);
Scope scope = scopeList.findLast(new ContainsFoldPredicate(
Range.fromPoints(docDisplay_.getSelectionStart(),
docDisplay_.getSelectionEnd())));
if (scope == null)
return;