以前、WZエディタのキー割り当てをカスタマイズする方法について紹介しましたが、ある日気づいたらそれが無効になっていました。
結果としては簡単に復元できたのですが、うっかり見落としてしまう可能性もあると思うので紹介しておきます。
「ユーザー追加定義」は見落としやすい
WZエディタの基本的なキーカスタマイズ方法については、以前の記事で紹介しました。
-
WZエディタのキーカスタマイズ
ずいぶん前に愛用していたテキストエディタを久しぶりに使い始めましたが、最近買い換えたキーボードでの操作性を改善するため、キー割り当てをカスタマイズすることにしました。 そこで今回はこのエディタのキー割 ...
続きを見る
今回それが無効になったので設定ファイルの破損などを疑ったのですが、原因はもっと簡単で「ユーザー追加定義」というチェックボックスがオフになっていたためでした。
以前紹介した手順では、このチェックボックスは自動でオンになるようであまり意識していなかったのですが、なにかの拍子にオフになってしまったようです。
「ユーザー定義追加」の確認手順
step
1設定画面を開く
[表示]メニューの[設定...]を選んで、設定ダイアログを開きます。
step
2[インターフェイス]タブに切り替え
設定ダイアログを開いたら[インターフェイス]タブに切り替えます。
step
3「ユーザー追加定義」を確認
「ユーザー追加定義」のチェックボックスがオンになっているか確認します。
step
4チェックして[OK]をクリック
チェックボックスにマークしたら、[OK]をクリックして設定ダイアログを閉じます。
簡単だけど見落としに注意
これで、またカスタマイズしたユーザー定義が使えるようになりました。
もし、追加したキーバインドが使えなくなったときはこのユーザー追加定義がオフになっていないか確認してみましょう。