718719720721722723724725726727728
public void textChanged(TextEvent event) { IUpdate findReplace = (IUpdate) globalActions .get(ActionFactory.FIND.getId()); if (findReplace != null) { findReplace.update(); } } }; textViewer.getSelectionProvider().addSelectionChangedListener(