xtRemoveAllCallbacks(+WidgetName, +CallbackName)
intrinsicsのXtRemoveCallbacks()と同様の働きをします。
指定したwidgetの指定したコ−ルバックリストに関連する、すべてのコ−ルバック述語を削除します。
?- xtRemoveAllCallbacks(command_1, callback).
yes ?- _
widget_expected WidgetNameがwidgetの名前でない atom_expected CallbackNameがアトムでない illegal_callback_name この名前のコ−ルバックリストは存在しない illegal_widget_callback このwidgetに存在しないコ−ルバックリストである
| 冒頭へ |
|