InternetExplorer(IE11)で「ソースの表示」を実行した時のエディターを変更する

「インターネットオプション」からサクッと変更でき...なかったので。(さすがIE)
備忘録をかねて。
レジストリエディターを開く
Win+Rを押す- 開いたエディットに
regeditを入力。実行。 - レジストリエディターが開く
View Source Editorに好きなエディターを設定する
HKEY_CURRENT_USER\Software\Microsoft\Internet Explorer\View Source Editor\Editor Nameまで移動する- 右のウィンドウで右クリック「文字列値」を新規作成する

- 「(既定)」の値に、好きなエディターのフルパスを入力する

「ソースを開くエディターを変更する」ためだけにレジストリエディターを使わせる。そこにしびれるあこがれる。
これが、Windows8.1 on IE11で一番カンタンな方法だとおもいます。