--- a/emailuis/emailui/data/html/header.js Thu Dec 17 08:39:21 2009 +0200
+++ b/emailuis/emailui/data/html/header.js Thu Jan 07 12:38:38 2010 +0200
@@ -1,11 +1,13 @@
function collapseHeader()
{
handleHeaderDisplay( "header_table", "table_initial" )
+ parent.document.getElementById('headerBody').rows = '10%,*';
}
function expandHeader()
{
handleHeaderDisplay( "table_initial", "header_table" )
+ parent.document.getElementById('headerBody').rows = '40%,*';
}
function handleHeaderDisplay( tableToHide, tableToShow )