Hebikuzure's Tech Memo

2014年1月22日

Internet Explorer での「ソース表示」

Filed under: Internet Explorer — hebikuzure @ 12:16 AM

Internet Explorer で表示中の Web ページのソースを表示するのに利用されるプログラムは、Internet Explorer 8 以降既定では Internet Explorer 自体に内蔵のビューアーになっています。これを以前のバージョンの Internet Explorer のようにメモ帳にしたり、あるいは別のテキスト エディターに変更する方法は、Microsoft MVP のさくしまさんのブログ「世の中は不思議なことだらけ」の『Windows 7 の Internet Explorer での「ソース表示」』に書かれているように、「F12 開発者ツール」を利用する事でした。

ところが Internet Explorer 11 では F12 開発者ツールの仕様が変更されて、「Internet Explorer ソースの表示のカスタマイズ」の機能が無くなってしまいました。そのため Internet Explorer 11 でソース表示に利用されるプログラムを変更する手順としては、さくしまさんのブログ『Windows 8.1のInternet Explorer での「ソース表示」』に書かれているように、[インターネット オプション] で [プログラム]  タブを開き、[HTML の編集] の [HTML エディター] でプログラムを指定する事になるのですが、この方法を取ると、さくしまさんの記事のように元の IE 内蔵ビューアでの表示に戻すことができなくなります。

そこでどうしても内蔵ビューアでの表示に戻したい、という場合は、以下のレジストリ キーを削除すれば良い事を手元環境 (Windows 8.1 および Windows 7 の IE11) で確認しました。

  • HKEY_CURRENT_USER\Software\Microsoft\Internet Explorer\Default HTML Editor
  • HKEY_CURRENT_USER\Software\Microsoft\Internet Explorer\View Source Editor

ただし以下のレジストリ エントリが存在する場合は HKEY_CURRENT_USER のキーを削除しても HKEY_LOCAL_MACHINE のキーが利用されるので、内蔵ビューアを利用するにはこちらも削除する必要があります。

実際にはインターネット オプションで変更されるのは HKEY_CURRENT_USER のキーなので、インターネット オプションで設定を変更する前は、元々HKEY_LOCAL_MACHINE のキーの設定が有効になっていたはずです。
従って HKEY_CURRENT_USER のキーを削除すれば、インターネット オプションでの設定前の状態には戻るはずです。

  • HKEY_LOCAL_MACHINE\Software\Microsoft\Internet Explorer\Default HTML Editor
  • HKEY_LOCAL_MACHINE\Software\Microsoft\Internet Explorer\View Source Editor

※レジストリ キーや値の削除をする場合は事前にバックアップを作成し、慎重に操作してください。

なお、ソースの表示に利用されるプログラムの指定は View Source Editor キーで行われていて、これだけを削除してもよさそうなものですが、[インターネット オプション] の [HTML エディター] では (メニューバーの) [ファイル] – [編集] で起動するプログラムも一緒に指定され、こちらは Default HTML Editor キーに記憶されるので、両方とも同じように削除しないと整合性が取れなくなって問題が起きるようです。

コメントする »

まだコメントはありません。

RSS feed for comments on this post. TrackBack URI

コメントを残す

以下に詳細を記入するか、アイコンをクリックしてログインしてください。

WordPress.com ロゴ

WordPress.com アカウントを使ってコメントしています。 ログアウト / 変更 )

Twitter 画像

Twitter アカウントを使ってコメントしています。 ログアウト / 変更 )

Facebook の写真

Facebook アカウントを使ってコメントしています。 ログアウト / 変更 )

Google+ フォト

Google+ アカウントを使ってコメントしています。 ログアウト / 変更 )

%s と連携中

WordPress.com で無料サイトやブログを作成.

%d人のブロガーが「いいね」をつけました。