From f8544620e754ff762a1f56839dbaecbac2fb3683 Mon Sep 17 00:00:00 2001 From: nicola Date: Wed, 13 Nov 2024 18:41:29 +0100 Subject: [PATCH] minor changes --- js/browseMgr.js | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/js/browseMgr.js b/js/browseMgr.js index 77b7383..419bfe6 100644 --- a/js/browseMgr.js +++ b/js/browseMgr.js @@ -1431,7 +1431,7 @@ $(document).ready(function() { drawMinimap(cantoDisplayed, true) } - function manageMM(name) { + /*function manageMM(name) { currentMinimap = name; let testhtml = $(currentMinimap)[0].outerHTML; //let minim=$(" .minimap__content") @@ -1441,7 +1441,7 @@ $(document).ready(function() { getDimensionsDiv(true, true); } - +*/ var unitaRicerca = 'forma' function manageQuery() { @@ -2040,6 +2040,7 @@ $(document).ready(function() { //calcolo numero dei contesti countResultContexts() $("#loader").fadeOut(300); + // mostra lista risultati $.manageResultList(0,showOffset); });