From ce9ed9981add50be9ca0e912d0071f393ef8a1c0 Mon Sep 17 00:00:00 2001
From: Matthias Konitzny <konitzny@ibr.cs.tu-bs.de>
Date: Tue, 1 Mar 2022 18:06:47 +0100
Subject: [PATCH] Fixed some warnings.

---
 display/overlays/neighbors.js | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/display/overlays/neighbors.js b/display/overlays/neighbors.js
index 345397e..9a6301a 100644
--- a/display/overlays/neighbors.js
+++ b/display/overlays/neighbors.js
@@ -99,7 +99,7 @@ class NodeNeighborOverlay {
         collTabContent.type = name;
 
         const list = createHTMLElement("ul", collTabContent);
-        list.style.margin = 0;
+        list.style.margin = "0px";
 
         collTabContent.list = list;
         collTabContent.marker = openMarkerTabs;
@@ -157,11 +157,11 @@ class NodeNeighborOverlay {
     /**
      * Creates a new list element for the given target node.
      * @param target
-     * @returns {HTMLDivElement}
+     * @returns {HTMLLIElement}
      */
     createReference(target) {
         const linkDiv = document.createElement("li");
-        var linkText = document.createTextNode(target.name);
+        const linkText = document.createTextNode(target.name);
         linkDiv.className = "neighbor-content-link";
         linkDiv.appendChild(linkText);
         linkDiv.addEventListener("click", () => {
-- 
GitLab