def reload_demos():
"""Reload the default widgets, then reload the default explorations."""
Widget.delete_all_widgets()
InteractiveWidget.load_default_widgets()
NonInteractiveWidget.load_default_widgets()
Exploration.delete_demo_explorations()
Exploration.load_demo_explorations()
