DisplayManager: we can now get the size of a Display.