/**
* 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);
}
