/*
*
* DRAWINGAREA
*
*/
public static void ErasePaint(Gtk.DrawingArea da, Gdk.Pixmap px)
{
px.DrawRectangle (da.Style.WhiteGC, true, 0, 0, da.Allocation.Width, da.Allocation.Height);
da.QueueDraw(); // -- refresh
}
private void event_execute_erasePaint(Gtk.DrawingArea drawingarea)
{
event_execute_pixmap.DrawRectangle (drawingarea.Style.WhiteGC, true, 0, 0,
drawingarea.Allocation.Width, drawingarea.Allocation.Height);
// -- refresh
drawingarea.QueueDraw();
}
public static void SetRedrawOnFocusChildSet (Gtk.Container aContainer)
{
if (aContainer == null)
throw new Exception ("Adding widget to null container");
aContainer.FocusChildSet += delegate(object o, FocusChildSetArgs args) {
aContainer.QueueDraw();
};
}
