/** Recreates the "Example" widgets. */ void recreateExampleWidgets() { if (textWidget == null) { super.recreateExampleWidgets(); } }