Question about APIs for changing video modes
How can an application set the video output resolution? The screen is represented by a Havi HScreen, which is composed of one or more graphics, video, and background devices. Video is represented by an HVideoDevice, which has a setVideoConfiguration method that applications can use this to request a specific video pixel resolution. Graphics are represented by an HGraphicsDevice, with a setGraphicsConfiguration method that can also set a pixel resolution.
DVB MHP 1.0.3, section 18.104.22.168, says, "pixels in the HGraphicsDevice may not correspond to discrete physical pixels in the actual display device." So the graphics device could be scaled to match the current video mode. I haven’t been able to find any similar statements about the video device. Is the intention that setting the video pixel resolution automatically causes the host to select a video output format with the same pixel resolution? For example, when changing the video device’s pixel resolution from 6400x480 to 1280x720, should the video output mode switch from 480p to 720p?
The Device Settings extension provides its own API for setting video output mode: VideoOutputSettings#setOutputConfiguration sets a specific video output to a specific mode. But if HVideoDevice can also control the mode, what is the purpose of the VideoOutputSettings API?