From 5f8c48ac182d4baebaf81eadd2177fda56b28a1f Mon Sep 17 00:00:00 2001 From: Damien De Paoli Date: Sat, 27 Sep 2025 17:36:31 +1000 Subject: [PATCH] fix highlighting issue - as expected, ecnt was wrong --- internal/js/files_support.js | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/internal/js/files_support.js b/internal/js/files_support.js index e1501c3..aa71da3 100644 --- a/internal/js/files_support.js +++ b/internal/js/files_support.js @@ -505,13 +505,14 @@ function drawPageOfFigures() } // back button, if gray/back decide if we see grayed out folder and/or the name of the folder we go back to html=`
-
+
${back}
` + ecnt++ /* */