/** * Returns the navigator that triggered this event. * * @return Navigator (not null) */ public Navigator getNavigator() { return (Navigator) getSource(); }
/** * Returns the navigator that triggered this event. * * @return Navigator (not null) */ public Navigator getNavigator() { return (Navigator) getSource(); }