/src/main/java/org/htmlunit/Screen.java
return 335;
return 1040;
private final int screenWidth_; public Screen(final WebClient webClient) { screenHeight_ = webClient.getOptions().getScreenHeight(); screenWidth_ = webClient.getOptions().getScreenWidth(); } public int getAvailHeight() { <extra_id_0> } public void setAvailHeight(final int availHeight) { } public int getAvailLeft() { return 0; }