From ba8d221a42e7a39316e03d2f1b63362dde548e89 Mon Sep 17 00:00:00 2001 From: Arne Keller Date: Fri, 12 Mar 2021 10:59:50 +0100 Subject: [PATCH] Tooltip on entire plus button --- frontend/src/mathjax-proof-tree.ts | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/frontend/src/mathjax-proof-tree.ts b/frontend/src/mathjax-proof-tree.ts index 5fd699d..3ef5fe0 100644 --- a/frontend/src/mathjax-proof-tree.ts +++ b/frontend/src/mathjax-proof-tree.ts @@ -299,7 +299,7 @@ class MathjaxProofTree extends MathjaxAdapter { // add tooltips to buttons const zoomIn = document.createElementNS("http://www.w3.org/2000/svg", "title"); zoomIn.append(document.createTextNode("zoom in")); - svg.getElementById("svg-pan-zoom-zoom-in")!.children[0].appendChild(zoomIn); + svg.getElementById("svg-pan-zoom-zoom-in")!.appendChild(zoomIn); const zoomOut = document.createElementNS("http://www.w3.org/2000/svg", "title"); zoomOut.append(document.createTextNode("zoom out")); svg.getElementById("svg-pan-zoom-zoom-out")!.appendChild(zoomOut);