diff --git a/extension/src-webview/options/components/option-inputs.tsx b/extension/src-webview/options/components/option-inputs.tsx index c90023d8..874894e6 100644 --- a/extension/src-webview/options/components/option-inputs.tsx +++ b/extension/src-webview/options/components/option-inputs.tsx @@ -37,17 +37,19 @@ export function CheckOption(props: CheckOptionProps): VNode { // The sprotty jsx function always puts an additional 'props' key around the element, requiring this hack. props = (props as any as {props: CheckOptionProps}).props return ( - +
+ +
); } @@ -191,4 +193,4 @@ export function DropDownMenuOption(props: DropDownMenuProps): VNode { ); -} \ No newline at end of file +}