RE: Skip frame delay when possible

Must this fix really need to be applied at the video driver level.

It seems to me that if the video mode doesn’t change on exit of the command line (and on other occasions)
RISC OS should just simply not signal anything to the video driver.

It seems to me that if the video mode doesn’t change on exit of the command line (and on other occasions)
RISC OS should just simply not signal anything to the video driver.

All of the video drivers have logic in them to spot if the mode has really changed from their point of view. Arguably RISC OS could spot identical modes and not call the driver, though it’d then need to track things like dropping to the command prompt, loading a new video driver, then returning to the desktop (where the mode from RISC OS’ point of view is the same, but the newly loaded video driver might not be able to achieve it).

[Aside: GC320Video already skipped the mode change if possible, but there was an extra 1 frame delay that was often unnecessary and would cause a small but perceivable jump to the right while the monitor hiccupped]