window.getHeight() now returns the different/correct value when a window is shaded.
renamed BScreen::getCount to BScreen::getWorkspaceCount.