xtFlush(+WidgetName)
XlibのXFlush()と同様の働きをします。
Xlibの出力バッファからオペレ−ション（操作要求）をフラッシュ（強制排出）します。
性能を上げるために、XlibはXサ−バに対するオペレ−ションをできるだけ長くバッファリングします。Xlibサ−バが応答を待っている時や、イベントを待っている間にイベントル−プが中断されている時には、自動的にフラッシュが起こります。よって、明示的なフラッシュは通常は必要ありません。しかし長い計算中にスクリ−ンの画像を更新すべき場合には、この述語が便利です。
widget_expected WidgetNameがwidgetの名前でない