redraw
The redraw command completely redraws the layout window. Normally, magic records regions that require updating and redraws those portions of the layout. However, key and button events are allowed to interrupt the redraw, so on occasion it may be necessary to force a refresh of the display.
redraw is implemented as a built-in window command in magic.
| Return to command index |
Last updated: March 7, 2020 at 1:06pm