return new P1<String>() {public void e(String str) {
			String content = ta.getText();
			int index = content.indexOf(str);
			if (index > -1) {
				ta.setCaretPosition(index);
				ta.setSelectionStart(index);
				ta.setSelectionEnd(index + str.length());
			}
		}}