public void ResetIndent() { var scope = IndentScope.Get(); scope.Enter(0, 0); scopes.Push(scope); }
public void PopIndent(IndentScope scope) { if (scopes.Peek() == scope) { PopIndent(); } }
public void PushIndent(int delay = 0) { var scope = IndentScope.Get(); scope.Enter(realIndentLevel + 1, delay); scopes.Push(scope); }
public void PopIndent() { if (scopes.Count > 0) { IndentScope.Release(scopes.Pop()); } }
public static void Release(IndentScope scope) { pool.Push(scope); }