syncBounds();
syncBounds(null);
	private void replaceTXNText(int start, int end, String s) {		int l= s.length();		char[] chars= new char[l];		s.getChars(0, l, chars, 0); 		OS.TXNSetData(fTX, chars, start, end);				syncBounds();				sendEvent (SWT.Modify);	}