(module GtkMiscProps.DrawingArea)