text = styledText.getText();
	void disposeExampleWidgets () {		/* store the state of the styledText if applicable */		if (styledText != null) {			styleRanges = styledText.getStyleRanges();		}		super.disposeExampleWidgets();		}