save file

Author: javascript-2020

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

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