Matitaweb:

[helm.git] / matitaB / matita / layout.js

diff --git a/matitaB/matita/layout.js b/matitaB/matita/layout.js
index 2271fe8b767f02b128a952a311d6f8a76b75b4ce..1952115577c3046f0b53a4e37388d42d2ab252b2 100644 (file)
--- 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() {