function PageListChangedListener(pageListChangedEvent, navigationHolder) {
	this.navigationHolder = navigationHolder;
	this.pageListChangedEvent = pageListChangedEvent;
	this.pageListChangedEvent.pageListChanged.subscribe(this.onPageListChanged, this);
}

PageListChangedListener.prototype.onPageListChanged = function (type, args, me) {
	me.navigationHolder.setPages(args[0]);
}