Details
Description
public int getMainWindowWidth() {
if (mainWindowWidth < 100)
else if (mainWindowHeight > Toolkit.getDefaultToolkit()
.getScreenSize().width)
return mainWindowWidth;
}
the marked "bold" should be mainWindowWidth
commited:
r12572 = 68dadcd9fa2764be038838a07bbc361874e8fee3
Description:
-replaced mainWindowHeight with mainWindowWidth