Interface SpaceDefinition

src/renderer/spaceDefinitions.ts:16–23

export type SpaceId = 'code' | 'tools' | 'math' | 'notes' | 'http' | 'drawings'

export interface SpaceDefinition {
  id: SpaceId
  label: string
  tooltip: string
  icon: Component
  to: RouteLocationRaw
  isActive: (routeName: RouteRecordName | null | undefined) => boolean
}

function isRouteNameInSpace(
  routeName: RouteRecordName | null | undefined,