From 9b48d2cec35fcc86042d3bac0c6198362eec80fa Mon Sep 17 00:00:00 2001
From: Matthias Konitzny <konitzny@ibr.cs.tu-bs.de>
Date: Fri, 10 Dec 2021 12:53:40 +0100
Subject: [PATCH] Hide node labels from the user.

---
 display/display.css | 1 +
 display/graph.js    | 2 +-
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/display/display.css b/display/display.css
index e7385c3..0580ede 100644
--- a/display/display.css
+++ b/display/display.css
@@ -51,6 +51,7 @@
     -ms-user-select: none; /* Internet Explorer/Edge */
     user-select: none; /* Non-prefixed version, currently
                                   supported by Chrome, Edge, Opera and Firefox */
+    cursor: default;
 }
 
 .close-button {
diff --git a/display/graph.js b/display/graph.js
index edfce59..e638726 100644
--- a/display/graph.js
+++ b/display/graph.js
@@ -55,7 +55,7 @@ export default class Graph {
             rendererConfig: { antialias: true },
         })(document.getElementById("3d-graph"))
             .graphData(this.gData)
-            .nodeLabel("id")
+            .nodeLabel("hidden")  // Just a value that is not present as node attribute.
             .nodeAutoColorBy("group")
             .nodeColor((node) => this.getNodeColor(node))
             .linkWidth((link) => this.getLinkWidth(link))
-- 
GitLab