xawAsciiSourceChanged(+WidgetName)
XawAsciiSourceChangedと同様の働きをします。 テキストがxawAsciiSave又は質問されたことでセーブされた直前からすでに変更された場合には成功します。
widget_expected WidgetNameがwidget名でない ascii_arc_object_expected WidgetNameがasciiSrcObjectでなければならない atom_expected FileNameがアトムでなければならない
| scroll to top |
|