From 0956b09a5b30c62d0e0dfef67a9fc5dfe4230257 Mon Sep 17 00:00:00 2001 From: quenousimporte <76260127+quenousimporte@users.noreply.github.com> Date: Wed, 8 Mar 2023 12:19:56 +0100 Subject: [PATCH] changed: label in info --- main.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/main.js b/main.js index 3110c2e..6734aa9 100644 --- a/main.js +++ b/main.js @@ -767,7 +767,7 @@ function showoutline() { var nbcar = 40; next = next.length < nbcar ? next : next.substring(0, nbcar) + "..."; - outline["section L" + index + ": " + next] = pos; + outline["section line " + index + ": " + next] = pos; } } });