| public static ErasePaint ( Gtk da, Gdk px ) : void | ||
| da | Gtk | |
| px | Gdk | |
| return | void | |
//called for cleaning the graph of a event done before than the current
public static void ClearDrawingArea(Gtk.DrawingArea da, Gdk.Pixmap px)
{
if (px == null)
{
px = new Gdk.Pixmap(da.GdkWindow, da.Allocation.Width, da.Allocation.Height, -1);
}
UtilGtk.ErasePaint(da, px);
}