/** * Sets the height of the table cell in which this is displayed * * @param h cell height */ public void setHeight(int h) { setSize(getWidth(), h); m_numer.setSize(m_numer.getWidth(), h); m_divider.setSize(m_divider.getWidth(), h); m_denom.setSize(m_denom.getWidth(), h); }