import React from 'react' import { useStore } from '@nanostores/react' import { Link } from 'react-router-dom' import { documentUiEnabledStore, setDocumentUiEnabled } from '../stores' type Props = { isOpen: boolean onClose: () => void skipIntro: boolean onSkipIntroChange: (skip: boolean) => void } export const ConfigModal: React.FC = ({ isOpen, onClose, skipIntro, onSkipIntroChange }) => { const documentUiEnabled = useStore(documentUiEnabledStore) if (!isOpen) return null return (
e.stopPropagation()}>

Configuration

Skip the loading screen animation on startup
Replace the directive management interface with an interactive document editor. This is a proof of concept.
{documentUiEnabled && ( Open Directives Editor {'\u2192'} )}
) }