equal
deleted
inserted
replaced
1 function collapseHeader() |
1 function collapseHeader() |
2 { |
2 { |
3 handleHeaderDisplay( "header_table", "table_initial" ) |
3 handleHeaderDisplay( "header_table", "table_initial" ) |
|
4 parent.document.getElementById('headerBody').rows = '10%,*'; |
4 } |
5 } |
5 |
6 |
6 function expandHeader() |
7 function expandHeader() |
7 { |
8 { |
8 handleHeaderDisplay( "table_initial", "header_table" ) |
9 handleHeaderDisplay( "table_initial", "header_table" ) |
|
10 parent.document.getElementById('headerBody').rows = '40%,*'; |
9 } |
11 } |
10 |
12 |
11 function handleHeaderDisplay( tableToHide, tableToShow ) |
13 function handleHeaderDisplay( tableToHide, tableToShow ) |
12 { |
14 { |
13 document.getElementById(tableToShow).style.display = ""; |
15 document.getElementById(tableToShow).style.display = ""; |