/** * FocusModeToggle * * Pill button that turns the editor's focus mode on and off, with a hover * tooltip naming what it does in its current state. */ import React from 'react'; export interface FocusModeToggleProps { active: boolean; onToggle: () => void; } export declare function FocusModeToggle({ active, onToggle }: FocusModeToggleProps): React.ReactElement;