Skip to content
  • Michael Catanzaro's avatar
    Add URI handler for view source mode · 2b7dc7df
    Michael Catanzaro authored and Michael Catanzaro's avatar Michael Catanzaro committed
    This brings back the view source handler that lived in master in late 2016
    and early 2017, so we don't have to open page source in gedit anymore.
    
    It's not perfect, in that it could get the source code from the wrong
    tab if two different tabs are displaying the same URI, but let not
    perfect be the enemy of the good. Content will be fetched from the
    network if no tab is displaying the desired URI.
    
    No syntax highlighting because I never found a library that handles this
    efficiently enough for our needs.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=738475
    2b7dc7df