()
| 105 | } |
| 106 | |
| 107 | function save_file() { |
| 108 | var mind_data = _jm.get_data(); |
| 109 | var mind_name = mind_data.meta.name; |
| 110 | var mind_str = jsMind.util.json.json2string(mind_data); |
| 111 | jsMind.util.file.save(mind_str, 'text/jsmind', mind_name + '.jm'); |
| 112 | } |
| 113 | |
| 114 | function open_file() { |
| 115 | var file_input = document.getElementById('file_input'); |