/**
 * Properties for an extension WorkspaceView component.
 */
export interface IExtensionWorkspaceViewProps {
    /** A unique id for this WorkspaceView. This is the workspace view id. */
    id: number;
    /** Height of the WorkspaceView component. */
    height: number;
    /** Width of the WorkspaceView component. */
    width: number;
}