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 |