A window manager with support for multiple virtual screens