How does one change the colors of the IE9,10 viewsource mode and within developer tools? Is this possible at all?
Kind regards, mtness
There doesn't seem to be any way to change the colours in the in-built IE View Source window, but I've got a better suggestion. Since that window anyway is pretty worthless, you can simply replace it with a proper text/HTML editor of your choice. If it's small, powerful and yet loads fast (something like Notepad++ perhaps), it will be much more helpful compared to the default viewer.
Just save the following as a .REG file, edit to include the full path to your favourite editor's EXE, then import and you should be good to go:
Note: Tested only with IE9 so far (both 32 and 64-bit versions), not IE10. Absolutely no harm in trying though (changes can be easily reverted), so let me know if it works with IE10 as well.