ダブルタップで選択テキストをテキストエディタで編集する（「どこでもJedit」をKeyboard Maestroで実現する）