実行フィルタはマウスジェスチャやキーの設定など、フィルタが付いていないランチャで拡張子別の実行を分けたい場合に使うアドオンです。 タイプを「Execution filter」にして フィルタ,タイプ,オプション を「,」で区切って書いていきます。 *.txt,選択項目…