xtUnmanageChild(+WidgetName)
intrinsicsのXtUnmanageChild()と同様の働きをします。
1個のwidgetに対する表示管理を停止します。 (この述語によってwidgetが破壊されることはありません)
?- xtUnmanageChild(command_1).
yes ?- xtIsManaged(command_1).
no ?- xtManageChildren([command_1]).
yes ?- _
xtManageChild/1の場合と同一です。
| scroll to top |
|