save file

Author: javascript-2020

utils/editors/html/code-explorer/v1.0/code-explorer-v1.0.html

@@ -170,6 +170,8 @@
                     $(node,'.args').textContent   = o.args;
                     view.append(node);
 
+                    node.onclick    = e=>editor.gotoline(o.line);
+                    
               });