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