2011-10-11 mintty ってコピーペーストどうやるだっけ? Win まあ、みんな知っていると思うけど、忘れていた自分用のメモ。タイトルの所で右くりっくしてオプションかなにかでwheelかマウスの設定からいじるみたい。