ソースを参照

bug fix: download new file format

Igor 2 年 前
コミット
7290cb02d7
1 ファイル変更1 行追加10 行削除
  1. 1 10
      js/visualUI/functions.js

+ 1 - 10
js/visualUI/functions.js

@@ -1681,16 +1681,7 @@ function downloadFile() {
   
   var contentToSend = '{}\n::algorithm::';
 
-  if (settingsProgrammingTypes == "textual") {
-    contentToSend +=  ivprogCore.CodeEditor.getCode();
-  } else {
-    contentToSend += JSON.stringify(window.program_obj, function(key, value) {
-      if (key == 'dom_object') {
-          return;
-      }
-      return value;
-    });
-  }
+  contentToSend = generator();
 
   var date = new Date(); 
   var temp = date.toISOString().split('T')[0] + "_" + date.toTimeString().split(' ')[0].replaceAll(':', '-');