No arguments accepted.
Description:
This procedure causes the Rigi to redraw the current window.
It does not affect the underlying graph in any way. It is sometimes
desireable to refresh a window when arc or node colors have changed
or when the image has been damaged.
(If the window has no backing store assigned and if there is an
unassigned backing store and if the window has a large number
of draw objects, Rigi will assign a backing store to the window
before redrawing it.)
Return Value:
None.
Exceptions:
None.
Example:
# Refresh all windows set allwins [winfo children .] foreach child $allwins { if {[scan $child ".window%d" winid] == 1} { rcl_win_select $winid rcl_refresh } }