1469 |
revalidate(); |
revalidate(); |
1470 |
repaint(); |
repaint(); |
1471 |
} |
} |
1472 |
|
|
1473 |
|
/** |
1474 |
|
* Sets the value of the rowHeight property for the specified |
1475 |
|
* row. |
1476 |
|
* |
1477 |
|
* @param rh is the new rowHeight |
1478 |
|
* @param row is the row to change the rowHeight of |
1479 |
|
*/ |
1480 |
|
public void setRowHeight(int rh, int row) |
1481 |
|
{ |
1482 |
|
setRowHeight(rh); |
1483 |
|
// FIXME: not implemented |
1484 |
|
} |
1485 |
|
|
1486 |
/** |
/** |
1487 |
* Set the value of the {@link #rowMargin} property. |
* Set the value of the {@link #rowMargin} property. |
1488 |
* |
* |