public class CurrentPageChanger
extends java.awt.event.MouseAdapter
implements java.awt.event.AdjustmentListener
| Constructor and Description |
|---|
CurrentPageChanger(javax.swing.JScrollPane scrollpane,
AbstractDocumentView documentView,
java.util.List<AbstractPageViewComponent> pageComponents) |
CurrentPageChanger(javax.swing.JScrollPane scrollpane,
AbstractDocumentView documentView,
java.util.List<AbstractPageViewComponent> pageComponents,
boolean addWheelMouseListener) |
| Modifier and Type | Method and Description |
|---|---|
void |
adjustmentValueChanged(java.awt.event.AdjustmentEvent e) |
void |
calculateCurrentPage() |
void |
dispose() |
void |
mouseReleased(java.awt.event.MouseEvent e) |
public CurrentPageChanger(javax.swing.JScrollPane scrollpane,
AbstractDocumentView documentView,
java.util.List<AbstractPageViewComponent> pageComponents)
public CurrentPageChanger(javax.swing.JScrollPane scrollpane,
AbstractDocumentView documentView,
java.util.List<AbstractPageViewComponent> pageComponents,
boolean addWheelMouseListener)
public void mouseReleased(java.awt.event.MouseEvent e)
mouseReleased in interface java.awt.event.MouseListenermouseReleased in class java.awt.event.MouseAdapterpublic void adjustmentValueChanged(java.awt.event.AdjustmentEvent e)
adjustmentValueChanged in interface java.awt.event.AdjustmentListenerpublic void calculateCurrentPage()
public void dispose()