static void CloseWindow(WidgetInfo widget)
{
if (widget != null) {
Gtk.Widget page = (Gtk.Widget) openWindows [widget];
if (page != null) {
WidgetNotebook.Remove (page);
openWindows.Remove (widget);
page.Dispose ();
if (openWindows.Count == 0)
SteticApp.ActiveDesigner = null;
}
}
}