save file

Author: javascript-2020

utils/misc/nodejs-terminal/v3.0/nodejs-terminal-v3.0.html

@@ -612,6 +612,11 @@
 
         menu_callback['save-snapshot']    = async function(){
                                                                                 console.log('save-snapshot');
+              if(!tabs.cur.view){
+                    log.red('no active terminal');
+                    return;
+              }
+              
               var cwd       = tabs.cur.view.terminal.shell.cwd;
               var cwd_abs   = tabs.cur.view.terminal.shell.cwd_abs;
                                                                                 console.log(cwd_abs);
@@ -620,6 +625,8 @@
                     return;
               }
 
+              var term    = tabs.cur.view.terminal.term;
+              
               term.writeln('');
               term.writeln.green('saving snapshot ...');
 
@@ -654,6 +661,11 @@
 
         menu_callback['load-snapshot']   = async function(){
                                                                                 console.log('load-snapshot');
+              if(!tabs.cur.view){
+                    log.red('no active terminal');
+                    return;
+              }
+              
               var cwd   = tabs.cur.view.terminal.shell.cwd;
 
               if(cwd===null){
@@ -665,6 +677,8 @@
                     return;
               }
 
+              var term    = tabs.cur.view.terminal.term;
+              
               term.writeln('');
               term.writeln.green('loading snapshot ...');