Skip to content

Commit

Permalink
Mark the page as changed on setText
Browse files Browse the repository at this point in the history
  • Loading branch information
jcgurango committed Sep 17, 2024
1 parent 4bc6ed7 commit b3db793
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions web/syscalls/editor.ts
Original file line number Diff line number Diff line change
Expand Up @@ -32,6 +32,8 @@ export function editorSyscalls(client: Client): SysCallMapping {
changes: allChanges,
annotations: isolateHistory.of("full"),
});
client.ui.viewDispatch({ type: "page-changed" });
client.save();
},
"editor.getCursor": (): number => {
return client.editorView.state.selection.main.from;
Expand Down

0 comments on commit b3db793

Please sign in to comment.