* @param treeSelectionListener when somebody selects a tree node, this listener listens to the event
* @param pageSelectionListener when somebody changes a page, this listener changes accordingly
*/
public PdfReaderController(TreeSelectionListener treeSelectionListener,
PageSelectionListener pageSelectionListener) {
pdfTree = new PdfTree();
pdfTree.addTreeSelectionListener(treeSelectionListener);
addObserver(pdfTree);
pages = new PagesTable(this, pageSelectionListener);
addObserver(pages);
outlines = new OutlineTree(this);