public void mouseClicked(MouseEvent event) {
		if (event.getModifiers() == event.BUTTON1_MASK) {
			if (event.getClickCount() == 1
					&& controller.isVertex(event.getPoint())) {
				controller.renameVertex(event.getPoint());
			} else if (event.getClickCount() == 1
					&& controller.isEdge(event.getPoint())) {
				controller.resizeEdge(event.getPoint());
			}
		}
	}