onContentEdit(tc.getDocument(), new P1<UndoableEditEvent> () {public void e(UndoableEditEvent e) {
			if (e.getEdit().getPresentationName().startsWith("st")) {
				return;
			}
			
			undoManager.addEdit(e.getEdit());
		}}