public static void Unindent() { if(NSTraceOptions.UseSystemTrace) Trace.Unindent(); foreach(TraceListener tl in Listeners) tl.IndentLevel = tl.IndentLevel - 1; } #endregion