* (non-Javadoc)
*
* @see org.eclipse.wst.sse.core.internal.undo.IDocumentSelectionMediator#undoOperationSelectionChanged(org.eclipse.wst.sse.core.internal.undo.UndoDocumentEvent)
*/
public void undoOperationSelectionChanged(UndoDocumentEvent event) {
IDocumentSelectionMediator requester = event.getRequester();
if (this == requester) {
// ok, the undo/redo operation is initialized by designer page.
// we should set selection in designer.
// However, when this method is called, the modelChanged event is
// not fired yet, so the