if (oldFont != null) oldFont.dispose();
	void resetColorsAndFonts () {		foregroundColor = null;		setExampleWidgetForeground ();		backgroundColor = null;		setExampleWidgetBackground ();		font = null;		setExampleWidgetFont ();		setExampleWidgetSize ();	}