/* * (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())); }