類型別名 SliceSpaceUpdatedEvent
SliceSpaceUpdatedEvent: | { sliceSpaceParam: { depth: number; heightVector: Geo3DPoint; origin: GeoPoint; sideExtendVector: Geo3DPoint; }; success: true; } | { sliceSpaceParam: null; success: false } 類型宣告
- {
sliceSpaceParam: {
depth: number;
heightVector: Geo3DPoint;
origin: GeoPoint;
sideExtendVector: Geo3DPoint;
};
success: true;
} - { sliceSpaceParam: null; success: false }
sliceSpaceParam: null
success: false
裁切空間更新事件。