if (PREF_TAB_SIZE.equals(key)) { fSourceViewer.getTextWidget().setTabs(Integer.parseInt(number)); }
	private void textChanged(Text textControl) {		String key= (String) textControl.getData();		String number= textControl.getText();		IStatus status= validatePositiveNumber(number);		if (!status.matches(IStatus.ERROR)) {			fWorkingValues.put(key, number);		}		updateStatus(status);		updatePreview();	}