widget is instantiated in Playground.get_widget() which is defined below!!