save file

Author: javascript-2020

blog/25-08-27/how-to-download-a-github-directory/how-to-download-a-github-directory.html

@@ -191,7 +191,7 @@ <h3>
             </p>
 
 
-            <snippet-html-console id=full-ex component v2.0 src='ex/full-ex.html'>
+            <snippet-html-console id=full-ex component v2.0 h=100px src='ex/full-ex.html'>
             </snippet-html-console>
 
 
@@ -346,7 +346,6 @@ <h3>
 
               var node        = $('#full-ex');
               snippet['full-ex'].initdom(node);
-              snippet['full-ex'].console.height   = 200;
 
 
               var node        = $('#data-structure');