/src/main/java/org/htmlunit/WebClientOptions.java
return timeout_;
return screenWidth_;
return downloadImages_; } public void setScreenWidth(final int screenWidth) { screenWidth_ = screenWidth; } public int getScreenWidth() { <extra_id_0> } public void setScreenHeight(final int screenHeight) { screenHeight_ = screenHeight; } public int getScreenHeight() { return screenHeight_;