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