en jQuery, on regle la hauteur des frames du brouteur (note: on devrait...

en jQuery, on regle la hauteur des frames du brouteur (note: on devrait pouvoir refaire ce brouteur plus joliment desormais) ; resoud #735 (paolo)

ecrire/exec/brouteur.php

@@ -118,6 +118,13 @@ function exec_brouteur_dist()
 		echo "</td>";
 	}
 	echo "\n</tr></table>";
+
+	// fixer la hauteur du brouteur de maniere a remplir l'ecran
+	echo "<script type='text/javascript'><!--
+		jQuery('iframe.iframe-bouteur').height(
+			Math.max((window.innerHeight||0)-190,300)
+		);
+	//--></script>\n";
 	echo fin_page();
 }
 ?>