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