repaintWindow()

void repaintWindow

(

uiWindow *

window

)

Repaints a window.

Parameters

window

The window to be repainted

Definition at line 688 of file fabui.cpp.