void setHeaderHeight ( final float fHeaderHeight ) { // Set the maximum value only if ( Float . isNaN ( m_fHeaderHeight ) ) m_fHeaderHeight = fHeaderHeight ; else m_fHeaderHeight = Math . max ( m_fHeaderHeight , fHeaderHeight ) ; }
Set the page header height .