((JButtonOperator)((JInternalFrameOperator)oper).getCloseButton()).push();
}
public void move(ComponentOperator oper, int x, int y) {
checkSupported(oper);
ComponentOperator titleOperator = ((JInternalFrameOperator)oper).getTitleOperator();
titleOperator.dragNDrop(titleOperator.getCenterY(),
titleOperator.getCenterY(),
x - ((JInternalFrameOperator)oper).getX() + titleOperator.getCenterY(),
y - ((JInternalFrameOperator)oper).getY() + titleOperator.getCenterY());
}
public void resize(ComponentOperator oper, int width, int height) {