X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matitaB%2Fmatita%2Flayout.js;h=1952115577c3046f0b53a4e37388d42d2ab252b2;hb=0aa993bb1d23567612aa5d63fab74ef6fb918c0d;hp=2271fe8b767f02b128a952a311d6f8a76b75b4ce;hpb=5fbe7da7019bda8fead167c8b1da1b06625551b3;p=helm.git

diff --git a/matitaB/matita/layout.js b/matitaB/matita/layout.js
index 2271fe8b7..195211557 100644
--- a/matitaB/matita/layout.js
+++ b/matitaB/matita/layout.js
@@ -1,10 +1,10 @@
 function resizeItem(item,w,h){  
   item.style.height = h + "px";
-  item.style.minHeight = h + "px";
-  item.style.maxHeight = h + "px";
+//  item.style.minHeight = h + "px";
+//  item.style.maxHeight = h + "px";
   item.style.width = w + "px";
-  item.style.minWidth = w + "px";
-  item.style.maxWidth = w + "px";
+//  item.style.minWidth = w + "px";
+//  item.style.maxWidth = w + "px";
 }
 
 function int_of_px(px) {
@@ -59,14 +59,17 @@ function initializeLayout() {
 		}
 	}
 
-	resize();
+	$(window).bind("resize", resize);
+
+	// resize();
 
 }
 
 function resize() {
-	var htmlheight = int_of_px(window.getComputedStyle(body.parentNode,null).height);  
-	var htmlwidth = int_of_px(window.getComputedStyle(body.parentNode,null).width);
-	apparea.resize(htmlwidth,htmlheight);
+	// var htmlheight = int_of_px(window.getComputedStyle(body.parentNode,null).height);  
+	// var htmlwidth = int_of_px(window.getComputedStyle(body.parentNode,null).width);
+	// apparea.resize(htmlwidth,htmlheight);
+	apparea.resize($(window).width(),$(window).height());
 }
 
 function updateSide() {