/src/main/java/org/htmlunit/Screen.java
} return screenHeight_;
return screenHeight_; }
public boolean isFontSmoothingEnabled() { return true; } public void setFontSmoothingEnabled(final boolean fontSmoothingEnabled) { } public int getHeight() { <extra_id_0> public void setHeight(final int height) { } public int getLeft() { return 0; } public void setLeft(final int left) {