From 09da5ec2a388a4ec27c35d3c427e0830a4de13a8 Mon Sep 17 00:00:00 2001
From: Luca Trupiano <luca.trupiano@isti.cnr.it>
Date: Fri, 31 Jan 2025 10:45:37 +0100
Subject: [PATCH] corretto minimap

---
 js/minimap_4.3.js | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

diff --git a/js/minimap_4.3.js b/js/minimap_4.3.js
index 9642892..9675c99 100644
--- a/js/minimap_4.3.js
+++ b/js/minimap_4.3.js
@@ -2,6 +2,8 @@
  * 
  */
  
+//import {cssTableMainHeight} from './script_5.0.mod.js'
+
 const displayCantoId = '#displaycanto';
 const displayCantoWrapperId = '#displaycantoWrapper';
 const minimapviewerId = '#minimapviewer';
@@ -9,7 +11,7 @@ const displayminimapId = '#displayminimap';
 const visCantoClass = '.visCanto';
 const fillerClass = '.filler';
 const bodyScript = '<script type="module" src="https://unpkg.com/ionicons@5.5.2/dist/ionicons/ionicons.esm.js"></script> <script nomodule src="https://unpkg.com/ionicons@5.5.2/dist/ionicons/ionicons.js"></script>'
-const cssTableMainHeight = 0.95;
+const cssTableMainHeightBis = 0.95;
 
 let minimap = document.createElement('div');
 let viewer = document.createElement('div');
@@ -23,7 +25,7 @@ let scrollCorrectionFactor = 0.997;
 
 function drawMinimap(name, onlyContent = false, cantoOffset = 0){
 	//var cantoHeightToSet = $("body")[0].clientHeight*cssCantoHeight;
-	var maxCantoHeightToSet = $("body")[0].clientHeight*cssTableMainHeight-110; // 63 padding top + 47 margine bottom
+	var maxCantoHeightToSet = $("body")[0].clientHeight*cssTableMainHeightBis-110; // 63 padding top + 47 margine bottom
 	$(visCantoClass).css("max-height", maxCantoHeightToSet);	
 	$(displayCantoId).css("max-height", maxCantoHeightToSet);	
 
@@ -107,7 +109,7 @@ function showMinimap(onlyContent) {
 		let bgCanto = $(visCantoClass).css('background-color');
 		$('iframe').contents().find('body').css('background-color', bgCanto + ' !important;');
 
-		var infoHeightToSet = $("body")[0].clientHeight*cssTableMainHeight - $(visCantoClass)[0].clientHeight-2-63-2-46
+		var infoHeightToSet = $("body")[0].clientHeight*cssTableMainHeightBis - $(visCantoClass)[0].clientHeight-2-63-2-46
 		$("#displayinfo").css("maxHeight", infoHeightToSet+"px");
 		$("#displayinfo").css("height", infoHeightToSet+"px");
 		$("#displaynote").css("maxHeight", infoHeightToSet+"px");