rcl_refresh

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
	}
}