色、キー、メニューの設定を変えたい
掲載日：2005年1月18日 |
| ■回答 |
| |
カスタマイズ・ファイル「mi.config」の中の定義を変更することにより、キー定義、メニュー定義、カラー定義、明示キーワード定義、拡張子定義、改行文字のコード、Bsキーの設定などのカスタマイズが可能です。
明示キーワード以外は簡単な定義方法ですので、ぜひご自身のお好みのものにしてみてください。
（なお、このファイルは終了時に自動的に変更されることはありません）
また、起動時のオプション -cNAME で「mi.config」以外のファイルをカスタマイズ・ファイルとして読み込んで起動もできます。（例えば「mitest.config」の場合は
mi -ctest)
なお、この「mi.config」とは別に、メニューで設定した表示や動作の状態や、各種の履歴状態などを保存するファイル「mi.ini」があります。このファイルは起動時に自動的に読み込まれ、終了時には自動的に書き出されます。 |
|
