public static void Repaint()
{
if (Profiler == null)
{
Profiler = new DProf("Derma.Repaint");
}
if (CanRepaint())
{
Profiler.Start();
workspace.Refresh();
Profiler.End();
((Main)workspace)._DebugLabelMain.Text = Profiler.GetSpew();
lastPaint = DateTime.Now;
NeedsRefresh = false;
}
else
{
NeedsRefresh = true;
}
}
public static void Repaint()
{
if(Profiler == null){Profiler=new DProf("Derma.Repaint");}
if (CanRepaint())
{
Profiler.Start();
workspace.Refresh();
Profiler.End();
((Main)workspace)._DebugLabelMain.Text = Profiler.GetSpew();
lastPaint = DateTime.Now;
NeedsRefresh = false;
}else
{
NeedsRefresh = true;
}
}