ICSE 2001 Logo   Rigi Logo
 
rcl_refresh
Back to RCL Command Index

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

Back to RCL Command Index