changed: label in info

2023-03-08 12:19:56 +01:00 · 2023-03-08 12:19:56 +01:00 · 0956b09a5b
parent 7b32b4e167
commit 0956b09a5b
1 changed files with 1 additions and 1 deletions
--- 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;
 			}
 		}
 	});