void redisplay()
Updates the contents of windows needing redisplay. Of course this update is immediate, and not delayed until current Smac execution ends.