The search functionality needs JavaScript enabled
Sets size of window
void setSize( WindowSize w ); void setSize( int width, int height );