Default filenames for Widget constructors; Make WidgetTabControl tab count dynamic