/* (non-Javadoc)
* @see desmoj.extensions.experimentation.ui.IGraphicalObserver#setSize(int, int)
*/
public void setSize(int width, int height) {
context.setSize(this, width, height);
}
/* (non-Javadoc)
* @see desmoj.extensions.experimentation.ui.IGraphicalObserver#setSize(int, int)
*/
public void setSize(int width, int height) {
context.setSize(this, width, height);
}