import React from 'react'; import EditorGroup from './EditorGroup'; import FilterGroup from './FilterGroup'; import AllowToRunGroup from './AllowToRunGroup'; import MiscellaneousGroup from './MiscellaneousGroup'; import ContextMenuGroup from './ContextMenuGroup'; import { Options } from './syncOptions'; export interface OptionsProps { readonly options: Options; readonly saveOption: ( name: K, value: Options[K], ) => void; } export default function OptionsComponent(props: OptionsProps) { return (


Setting options here is discouraged, and will not be possible in the next major release. Please{' '} specify them as parameters . See{' '} the issue {' '} for more details.
); }