/*
* (non-Javadoc)
*
* @see
* de.tub.tfs.muvitor.gef.editparts.AdapterGraphicalEditPart#performRequest
* (org.eclipse.gef.Request)
*/
@Override
public void performRequest(Request request) {
if (!RequestConstants.REQ_OPEN.equals(request.getType())) {
super.performRequest(request);
}
}
/*
* (non-Javadoc)
*
* @see org.eclipse.gef.editparts.AbstractEditPart#refreshVisuals()
*/
@Override
protected void refreshVisuals() {
super.refreshVisuals();
counterLabel.setText(Integer.toString(getCastedModel().getCounter()));
}