docs: public void setHeight(int height) {
  
          m_defaultHeight = height;
          m_scrollPanel.setHeight(m_defaultHeight + "px");
          m_scrollPanel.setDefaultHeight(m_defaultHeight);
          m_scrollPanel.onResizeDescendant();
      }