*/
public void setSize(int width_, int height_) {
super.setSize(width_, height_);
Dimension size = new Dimension(width_, height_);
if (_border != null) {
Insets borderInsets = _border.getBorderInsets(this);
size.height -= (borderInsets.top + borderInsets.bottom);
size.width -= (borderInsets.left + borderInsets.right);
}
// Set the size of the viewport(s) as well