17 マウス入力 (mouse input)

出力形式 x11, pm, windows, ggi, wxt では、現在の描画にマウス を使って作用をすることが可能になっています。これらはホットキーの定義も サポートしていて、マウスカーソルが有効な描画ウィンドウにあるときに、あ るキーを押すことであらかじめ定義した関数を実行させることができます。マ ウス入力を batch コマンドスクリプトと組み合わせることも可能で、例え ば pause mouse として、その後にマウスクリックによってパラメータとし て返って来るマウス変数をその後のスクリプト動作に反映させることができま す。以下参照: bind (p. ), mouse variables (p. )。また以下も参照: set mouse (p. )。