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