public class ViewChangedEvent extends ViewEvent
| Constructor and Description |
|---|
ViewChangedEvent(java.lang.Object src,
View view,
double scale,
double zoom,
OrientedRectangle region)
Constructs a ViewChangedEvent
|
| Modifier and Type | Method and Description |
|---|---|
void |
accept(ViewEventDispatcher visitor)
Visitor pattern styled method used when dispatching
the view event in the
ViewEventDispatcher. |
OrientedRectangle |
getRegion()
Gets the region
|
double |
getScale()
Gets the scale
|
double |
getZoom()
Gets the zoom level
|
isCancelled, setCancelledpublic ViewChangedEvent(java.lang.Object src,
View view,
double scale,
double zoom,
OrientedRectangle region)
src - the source objectview - the viewscale - the scalezoom - the zoom levelregion - the rectangular regionpublic double getScale()
public double getZoom()
public OrientedRectangle getRegion()
public void accept(ViewEventDispatcher visitor)
ViewEventViewEventDispatcher.