Add syncInterval

frontend/obsidian-plugin/src/views/settings/settings-tab.ts

@@ -266,8 +266,9 @@ export class SyncSettingsTab extends PluginSettingTab {
 
                             new Notice("Checking connection to the server...");
                             new Notice(
-                                (await this.syncClient.checkConnection())
-                                    .serverMessage
+                                (
+                                    await this.syncClient.checkConnection()
+                                ).serverMessage
                             );
                             await this.statusDescription.updateConnectionState();
                         } else {
@@ -503,6 +504,47 @@ export class SyncSettingsTab extends PluginSettingTab {
                         );
                     })
             );
+
+        new Setting(containerEl)
+            .setName("Sync interval (ms)")
+            .setDesc(
+                "How often to reconcile when no changes are detected. Leave blank to rely on change notifications."
+            )
+            .addText((input) =>
+                input
+                    .setPlaceholder("Disabled")
+                    .setValue(
+                        this.syncClient
+                            .getSettings()
+                            .syncIntervalMs?.toString() ?? ""
+                    )
+                    .onChange(async (value) => {
+                        if (value === "") {
+                            return this.syncClient.setSetting(
+                                "syncIntervalMs",
+                                undefined
+                            );
+                        }
+
+                        const parsedValue = Number(value);
+                        if (
+                            !Number.isSafeInteger(parsedValue) ||
+                            parsedValue <= 0
+                        ) {
+                            input.setValue(
+                                this.syncClient
+                                    .getSettings()
+                                    .syncIntervalMs?.toString() ?? ""
+                            );
+                            return;
+                        }
+
+                        return this.syncClient.setSetting(
+                            "syncIntervalMs",
+                            parsedValue
+                        );
+                    })
+            );
     }
 
     private setStatusDescriptionSubscription(

frontend/sync-client/src/persistence/settings.ts

@@ -15,6 +15,7 @@ export interface SyncSettings {
     enableTelemetry: boolean;
     requestTimeoutMs: number;
     networkRetryIntervalMs: number;
+    syncIntervalMs?: number;
     minimumSaveIntervalMs: number;
 }
 
@@ -31,6 +32,7 @@ export const DEFAULT_SETTINGS: SyncSettings = {
     enableTelemetry: false,
     requestTimeoutMs: 30_000,
     networkRetryIntervalMs: 1000,
+    syncIntervalMs: undefined,
     minimumSaveIntervalMs: 1000
 };
 

frontend/sync-client/src/services/websocket-manager.ts

@@ -5,7 +5,7 @@ import type { WebSocketClientMessage } from "./types/WebSocketClientMessage";
 import type { CursorPositionFromClient } from "./types/CursorPositionFromClient";
 import type { ClientCursors } from "./types/ClientCursors";
 import { createPromise } from "../utils/create-promise";
-import type { EventBatch } from "./protocol";
+import type { EventBatch } from "./types/EventBatch";
 import { WEBSOCKET_DISCONNECT_TIMEOUT_IN_S } from "../consts";
 import { removeFromArray } from "../utils/remove-from-array";
 import { EventListeners } from "../utils/data-structures/event-listeners";

frontend/sync-client/src/types/file-manifest-entries.ts

@@ -0,0 +1,3 @@
+import type { FileManifest } from "../services/types/FileManifest";
+
+export type FileManifestEntries = FileManifest["entries"];