save file

Author: javascript-2020

code/html/page-html/v1.0/page-html-v1.0.html

@@ -276,7 +276,7 @@ <h3>
 
         show.source   = async function(file){
                                                                                 debug('show.source',file);
-              $('#files-view-hdr').textContent                = 'source : '+file;
+              $('#files-view-hdr').textContent          = 'source : '+file;
               $('web-editor').style.display             = '';
               $('snippet-html-console').style.display   = 'none';