void setShapeProperty(int shapeType, String propertyName, Object value, BitSet bsSelected) {
		// this one is necessary, because we do try to load some shapes
		// while the frame itself is loading.
		if (frame != null)
			frame.setShapeProperty(shapeType, propertyName.intern(), value, bsSelected);
	}