Sets the window size.
TODO(jingbian): Remove this, prefer setter.
void setSize(Rectangle<int> size) { this.size = size; }