WebContent/widgets/tabs.js
// this can only be done after the header has been rendered.
this can only be done after the header has been rendered.
this can only be done after the header has been rendered .
function __adjust_tab_body(widget)
{
    let tabs = widget.children("ul.Tabs");
    let header = tabs.height();
    if (header <= 0)
    {
        return;
    }
    let body_hei = widget.height() - tabs.height();
    widget.children("div.TabBody").height(body_hei);
}
function __adjust_tab_body ( widget ) { let tabs = widget . children ( "ul.Tabs" ) ; let header = tabs . height ( ) ; if ( header <= 0 ) { return ; } let body_hei = widget . height ( ) - tabs . height ( ) ; widget . children ( "div.TabBody" ) . height ( body_hei ) ; }
this can only be done after the header has been rendered.
this can only be done after the header has been rendered .
// console.log("Cannot adjust tab height at this time"); // console.log("Height of Tabs widget: " + widget.height() + //             ", height of tab header: " + tabs.height());