Implementes checkbox to change visibility of node labels

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