From d4202d88e28b6b2e7bd981836408131366c7a6d3 Mon Sep 17 00:00:00 2001
From: Henning Dieterichs <henning.dieterichs@live.de>
Date: Sun, 23 Feb 2020 13:24:57 +0100
Subject: [PATCH] Removes unused "source" selection.

---
 .../ui/src/Components/VisualizerHeaderDetails.tsx  | 14 ++++++++------
 1 file changed, 8 insertions(+), 6 deletions(-)

diff --git a/extension/ui/src/Components/VisualizerHeaderDetails.tsx b/extension/ui/src/Components/VisualizerHeaderDetails.tsx
index 5984d3c..e8325bc 100644
--- a/extension/ui/src/Components/VisualizerHeaderDetails.tsx
+++ b/extension/ui/src/Components/VisualizerHeaderDetails.tsx
@@ -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