Interface WorkspaceSwitcherCharacters

Character tokens used by WorkspaceSwitcher.

interface WorkspaceSwitcherCharacters {
    active: string;
    disabled: string;
    selected: string;
}