• view source is now colored, and uses viewsource.css. Has anyone written an extension to change those style settings from the app itself?
  • started working on preserving the selection between Normal and Source view