How to modify the IE browser "view source" HTML editor back to the default

If you want to modify the HTML editor back to the default, how to operate? The following Microsoft chiefs use the IE11 browser under Win8.1 as an example to share the modification method:

Win + R shortcut key to bring up the "Run" dialog box, enter "ldedit", confirm, Open “Registry Editor'; in the list on the left, navigate to “

HKEY_CURRENT_USER\\Software\\Microsoft\\

Internet Explorer\\View Source Editor\\Editor Name”. Figure:

Then double-click the default string value in the right pane, empty the value data, OK, close the Registry Editor.

When you view the source again, the web page source file will be opened with the default editor. Figure: