()
| 66 | } |
| 67 | |
| 68 | function recordInactiveEdit() { |
| 69 | if (file.markChanged === false) return; |
| 70 | file.markEdited(); |
| 71 | file.scheduleCacheWrite(); |
| 72 | editorManager.emit("file-content-changed", file); |
| 73 | editorManager.onupdate("file-changed"); |
| 74 | editorManager.emit("update", "file-changed"); |
| 75 | } |
| 76 | |
| 77 | return new Proxy(state, { |
| 78 | get(target, prop) { |