Removes unused "source" selection.

This commit is contained in:
Henning Dieterichs
2020-02-23 13:24:57 +01:00
parent c17e6e7ed7
commit d4202d88e2

View File

@@ -42,12 +42,14 @@ export class VisualizerHeaderDetails extends React.Component<{ model: Model }> {
className="component-VisualizerHeaderDetails"
style={{ display: "flex", alignItems: "center" }}
>
<NamedSelect
name="Source"
selected={0}
options={[{ label: "js" }]}
onSelected={item => {}}
/>
{/*
<NamedSelect
name="Source"
selected={0}
options={[{ label: "js" }]}
onSelected={item => {}}
/>
*/}
<div style={{ width: 10 }} />
<NamedSelect