public CurrentPageChanger(
JScrollPane scrollpane,
AbstractDocumentView documentView,
List<AbstractPageViewComponent> pageComponents,
boolean addWheelMouseListener) {
this.pageComponents = pageComponents;
this.scrollpane = scrollpane;
this.documentView = documentView;
documentViewModel = documentView.getViewModel();
// listen for scroll bar manaipulators
this.documentView.addMouseListener(this);
this.scrollpane.getHorizontalScrollBar().addAdjustmentListener(this);
this.scrollpane.getHorizontalScrollBar().addMouseListener(this);
this.scrollpane.getVerticalScrollBar().addAdjustmentListener(this);
this.scrollpane.getVerticalScrollBar().addMouseListener(this);
// addMouseListenerToAnyButtonsIn(scrollpane.getHorizontalScrollBar());
// addMouseListenerToAnyButtonsIn(scrollpane.getVerticalScrollBar());
// load wheel mouse listener
mouseWheelCurrentPageListener = MouseWheelCurrentPageListener.install(scrollpane, this);
}
public void paintComponent(Graphics g) {
Rectangle clipBounds = g.getClipBounds();
// paint background gray
g.setColor(backgroundColor);
g.fillRect(clipBounds.x, clipBounds.y, clipBounds.width, clipBounds.height);
// paint selection box
super.paintComponent(g);
}
public void calculateCurrentPage() {
if (pageComponents != null) {
Rectangle viewport = scrollpane.getViewport().getViewRect();
// find visible pages
ArrayList<PageViewComponent> visiblePages = new ArrayList<PageViewComponent>(10);
Rectangle pageBounds;
int pageCount = 0;
for (AbstractPageViewComponent pageComponent : pageComponents) {
if (pageComponent != null) {
pageBounds = documentViewModel.getPageBounds(pageCount);
if (pageBounds != null && pageComponent.isShowing()) {
visiblePages.add(pageComponent);
}
}
pageCount++;
}
// find center point of view port
int x = viewport.x + (viewport.width / 2);
int y = viewport.y + (viewport.height / 2);
Point centerView = new Point(x, y);
// find out which page center is closest to center and thus the new current page
double minLength = Double.MAX_VALUE;
int minPage = -1;
double tmpDistance;
for (PageViewComponent pageComponent : visiblePages) {
if (pageComponent != null) {
pageBounds = documentViewModel.getPageBounds(pageComponent.getPageIndex());
x = pageBounds.x + (pageBounds.width / 2);
y = pageBounds.y + (pageBounds.height / 2);
// find minimum page.
tmpDistance = centerView.distance(x, y);
if (tmpDistance < minLength) {
minLength = tmpDistance;
minPage = pageComponent.getPageIndex();
}
}
}
// clean up
visiblePages.clear();
visiblePages.trimToSize();
// finally send out event to update page number
int oldCurrentPage = documentViewModel.getViewCurrentPageIndex();
documentViewModel.setViewCurrentPageIndex(minPage);
DocumentViewControllerImpl documentViewController =
(DocumentViewControllerImpl) documentView.getParentViewController();
documentViewController.firePropertyChange(
PropertyConstants.DOCUMENT_CURRENT_PAGE, oldCurrentPage, minPage);
}
}
public void dispose() {
// remove standard mouse listeners
documentView.removeMouseListener(this);
scrollpane.getHorizontalScrollBar().removeAdjustmentListener(this);
scrollpane.getHorizontalScrollBar().removeMouseListener(this);
scrollpane.getVerticalScrollBar().removeAdjustmentListener(this);
scrollpane.getVerticalScrollBar().removeMouseListener(this);
// Remove wheel mouse listener
MouseWheelCurrentPageListener.uninstall(scrollpane, mouseWheelCurrentPageListener);
}
public void dispose() {
disposing = true;
// remove utilities
if (currentPageChanger != null) {
currentPageChanger.dispose();
}
if (keyListenerPageChanger != null) {
keyListenerPageChanger.uninstall();
}
// trigger a re-layout
pagesPanel.removeAll();
pagesPanel.invalidate();
// make sure we call super.
super.dispose();
}