モード設定 - 「ツール」タブ

ツールを編集します。
ツールには、よく使う文字列や操作を登録することができ、「ツール」メニューや、ツール入力モードから使用可能です。

有効/無効

このツールを有効にするかどうかを設定します。

タイプ

このツールのタイプが表示されます。

タイプ説明
ユーザー作成ツール ユーザーが作成した項目です。
プリセットツール(編集可) アプリにあらかじめ設定されているツールです。
プリセットツールをベースとして、ユーザーが編集を加えることもできます。
プリセットツール(編集済み) ユーザーが編集を加えたプリセットツールです。
プリセットの内容に戻すボタンで、プリセットの内容に戻すこともできます。

ショートカット

このツールのショートカットキーを設定できます。
ただし、修飾キーの組み合わせによっては、動作しない場合もあります。(すべての修飾キーOFFの場合など)

ツール名

ツール名を設定します。

挿入文字列

このツールを実行したときに、テキストに挿入する文字列を設定します。

<<<>>>の間に囲まれた部分は、 ツールコマンドとなり、特定の動作をmiにさせることが可能です。

補足