push widget [with [modifier-]button[1-5]] doubleclick widget
push は指定されたウィジェット上でのマウスボタンを使用したクリック (マウスボタンを押して離すという動作) をシミュレートします。with キーワードを使用すると、特定のマウスボタンを指定することができます。このキーワードを使用しない場合は、ボタン 1 (マウスの左ボタン) が使用されます。キーボード修飾子 (Shift キーなど) を使用して、マウスボタンイベントの置換を拡張することができます。使用できる修飾子は、Alt、Ctrl、Shift です。
doubleclick は、マウスの左ボタンを使用したダブルクリックをシミュレートします。このキーワードはどのウィジェットにも使用できますが、テキストウィジェットから選択する場合に特に便利です。
ウィジェットの中には、マウスをクリックする位置は重要ではないものもあります。たとえば、ボタンウィジェット上のどの部分をクリックしても、そのボタンは活性化されます。しかし、位置が重要となるウィジェットもあります。たとえば、スケールウィジェット上では押す位置によって結果が異なります。
以下の表に、位置に依存するウィジェットと位置に依存しないウィジェットを示します。
位置依存ウィジェット
位置非依存ウィジェット
位置依存リストの残りのウィジェットの記録および再生については、「ボタンアクション (位置に依存した制御)」を参照してください。
in ApplicationShell push this_button in ApplicationShell push that_button with shift-button2 in my_dialog_popup if color_toggle->set:true push color_toggle endif
関連項目: