/** Horizontal size of the display window, measured in pixels*/