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