public boolean handleEvent(Event event) {
if (event.target instanceof ScrolledPanel) {
if (event.id == ScrolledPanel.RESIZE)
// RESIZE event from panel.
{
DDimension tmp_dim;
tmp_dim = viewingPanel_.getPortSize();
portScroller_.setPortSize(tmp_dim.width, tmp_dim.height);
tmp_dim = viewingPanel_.getContentSize();
portScroller_.setContentSize(tmp_dim.width, tmp_dim.height);
tmp_dim = viewingPanel_.getOffset();
portScroller_.setOffset(tmp_dim.width, tmp_dim.height);
return true;
} else if (event.id == ScrolledPanel.OFFSET) {
DDimension tmp_dim = viewingPanel_.getOffset();
portScroller_.setOffset(tmp_dim.width, tmp_dim.height);
return true;
}
} else if (event.target instanceof ViewportScroller) {
if (event.id == ViewportScroller.SCROLL) {
graphCanvas_.setWireframe(true);
viewingPanel_.scrollTo((int) portScroller_.getOffsetX(), (int) portScroller_.getOffsetY());
}
if (event.id == ViewportScroller.DONE) {
graphCanvas_.setWireframe(false);
viewingPanel_.scrollTo((int) portScroller_.getOffsetX(), (int) portScroller_.getOffsetY());
}
} else if (event.target instanceof AngleControlPanel) {
if (event.id == AngleControlPanel.ANGLE) {
DPoint angles = (DPoint) event.arg;
graphCanvas_.setWireframe(true);
graphCanvas_.setViewAngles(angles.x, angles.y);
}
if (event.id == AngleControlPanel.DONE) {
DPoint angles = (DPoint) event.arg;
graphCanvas_.setWireframe(false);
graphCanvas_.setViewAngles(angles.x, angles.y);
}
} else if (event.target instanceof GraphCanvas)
// Graph has changed.
{
if (event.id == GraphCanvas.UPDATE) {
cbmiDirected_.setState(graph_.isDirected());
}
}
// quit from Window Manager menu
else if (event.id == Event.WINDOW_DESTROY) {
Destroy();
return false;
}
// call inherited handler
return super.handleEvent(event);
}
