Space sync now scheduled

web/sync_service.ts

@@ -166,6 +166,11 @@ export class SyncService {
     this.filesScheduledForSync.delete(path);
   }
 
+  async scheduleSpaceSync(): Promise<void> {
+    await this.noOngoingSync(5000);
+    await this.syncSpace();
+  }
+
   start() {
     this.syncSpace().catch(console.error);
 

web/syscalls/editor.ts

@@ -184,10 +184,6 @@ export function editorSyscalls(editor: Client): SysCallMapping {
       const cm = vimGetCm(editor.editorView)!;
       return Vim.handleEx(cm, exCommand);
     },
-    // Sync
-    "editor.syncSpace": () => {
-      return editor.syncService.syncSpace();
-    },
     // Folding
     "editor.fold": () => {
       foldCode(editor.editorView);

web/syscalls/sync.ts

@@ -12,5 +12,8 @@ export function syncSyscalls(editor: Client): SysCallMapping {
     "sync.scheduleFileSync": (_ctx, path: string): Promise<void> => {
       return editor.syncService.scheduleFileSync(path);
     },
+    "sync.scheduleSpaceSync": () => {
+      return editor.syncService.scheduleSpaceSync();
+    },
   };
 }