xtUnrealizeWidget(+WidgetName)
intrinsicsのXtUnrealizeWidget()と同様の働きをします。
widgetとその子孫のウインドを破壊します。
?- xtUnrealizeWidget(applicateShell_1).
yes ?- xtLoopWhileEvents.
yes ?- xtRealizeWidget(applicateShell_1).
yes ?- xtMainLoop. < ctrl B in window >
yes ?- _
widget_expected WidgetNameがwidgetの名前でない
| 冒頭へ |
|