In version 6/10 a RestoreColours() function appeared. This is called in two places only: after an UNDO and after a RESTORE. In any case, if color mode is enabled, then RestoreColours() will clear the screen. If no color mode, no screen clearing. Why was this done?