diff --git a/src/editor/js/components/editor.tsx b/src/editor/js/components/editor.tsx index 68f633b16cab67d4e806c76319911a6ecb20c4ce..c602df48ad2ffe96586f1a691add8c082e060870 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