|
131 | 131 | document.getElementById("startup").style.display = "none"; |
132 | 132 | } else if (e.data.cmd == "notify_alive") { |
133 | 133 | document.getElementById("startup_btn").disabled = false; |
| 134 | + } else if (e.data.cmd == "load_layout") { |
| 135 | + loadLayout(); |
| 136 | + } else if (e.data.cmd == "save_layout") { |
| 137 | + saveLayout(e.data.layout); |
134 | 138 | } else if (e.data.cmd == "fatal_error") { |
135 | 139 | alert(e.data.msg); |
136 | 140 | } |
137 | 141 | } |
138 | 142 |
|
| 143 | + const FILE_OPTIONS = { |
| 144 | + types: [ |
| 145 | + { |
| 146 | + description: "Vial layout", |
| 147 | + accept: { "application/json": [".vil"] }, |
| 148 | + }, |
| 149 | + ], |
| 150 | + excludeAcceptAllOption: false, |
| 151 | + multiple: false, |
| 152 | + }; |
| 153 | + |
| 154 | + async function loadLayout() { |
| 155 | + if (!window.showOpenFilePicker) { |
| 156 | + alert("File loading API unavailable. Please use a newer browser."); |
| 157 | + return; |
| 158 | + } |
| 159 | + |
| 160 | + const [handle] = await window.showOpenFilePicker(FILE_OPTIONS); |
| 161 | + |
| 162 | + if (!handle) { |
| 163 | + return; |
| 164 | + } |
| 165 | + |
| 166 | + const file = await handle.getFile(); |
| 167 | + const layout = await file.text(); |
| 168 | + |
| 169 | + PThread.runningWorkers[0].postMessage({ |
| 170 | + cmd: "py", |
| 171 | + payload: `import webmain;webmain.window.on_layout_loaded(b${JSON.stringify(layout)})`, |
| 172 | + }); |
| 173 | + } |
| 174 | + |
| 175 | + async function saveLayout(layout) { |
| 176 | + if (window.showSaveFilePicker) { |
| 177 | + // This shows a file chooser dialog. It's a nicer experience |
| 178 | + // if available, allowing the user to select a target |
| 179 | + // filename and directory. |
| 180 | + const handle = await window.showSaveFilePicker(FILE_OPTIONS); |
| 181 | + const stream = await handle.createWritable(); |
| 182 | + await stream.write(layout); |
| 183 | + await stream.close(); |
| 184 | + } else { |
| 185 | + // If the File System API isn't available, we can at least |
| 186 | + // trigger a simple download with a hardcoded filename. |
| 187 | + const download = document.createElement('a'); |
| 188 | + download.setAttribute('href', 'data:text/plain;charset=utf-8,' + encodeURIComponent(layout)); |
| 189 | + download.setAttribute('download', 'layout.vil'); |
| 190 | + |
| 191 | + if (document.createEvent) { |
| 192 | + var event = document.createEvent('MouseEvents'); |
| 193 | + event.initEvent('click', true, true); |
| 194 | + download.dispatchEvent(event); |
| 195 | + } else { |
| 196 | + download.click(); |
| 197 | + } |
| 198 | + } |
| 199 | + } |
| 200 | + |
139 | 201 | async function connect() { |
140 | 202 | var btn = document.getElementById("startup_btn"); |
141 | 203 |
|
|
0 commit comments