From 51a86d0c12f913afd20592757db25941ef81e453 Mon Sep 17 00:00:00 2001
From: Max <m.giller@tu-braunschweig.de>
Date: Wed, 13 Jul 2022 14:50:52 +0200
Subject: [PATCH] Implementes checkbox to change visibility of node labels

---
 src/editor/js/components/editor.tsx | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)

diff --git a/src/editor/js/components/editor.tsx b/src/editor/js/components/editor.tsx
index 68f633b..c602df4 100644
--- a/src/editor/js/components/editor.tsx
+++ b/src/editor/js/components/editor.tsx
@@ -406,6 +406,24 @@ export class Editor extends React.PureComponent<propTypes, stateTypes> {
                             }
                             onChange={this.forceUpdate}
                         />
+                        <hr />
+                        <div>
+                            <input
+                                type={"checkbox"}
+                                checked={this.state.visibleLabels}
+                                onChange={(event) => {
+                                    const newValue = event.target.checked;
+                                    if (newValue == this.state.visibleLabels) {
+                                        return;
+                                    }
+
+                                    this.setState({
+                                        visibleLabels: newValue,
+                                    });
+                                }}
+                            />
+                            Node labels // TODO: Proper label for checkbox
+                        </div>
                     </div>
                     {this.state.graph ? (
                         <ReactForceGraph2d
-- 
GitLab