@hydranium/client-theia 1.0.0-next.38 → 1.0.0-next.380

package/lib/browser/connection-reporter.js

@@ -0,0 +1,104 @@
+"use strict";
+/********************************************************************************
+ * Copyright (c) 2026 CrossBreeze, EclipseSource and others.
+ *
+ * This program and the accompanying materials are made available under the
+ * terms of the MIT License which is available in the project root.
+ *
+ * SPDX-License-Identifier: MIT
+ ********************************************************************************/
+var __decorate = (this && this.__decorate) || function (decorators, target, key, desc) {
+    var c = arguments.length, r = c < 3 ? target : desc === null ? desc = Object.getOwnPropertyDescriptor(target, key) : desc, d;
+    if (typeof Reflect === "object" && typeof Reflect.decorate === "function") r = Reflect.decorate(decorators, target, key, desc);
+    else for (var i = decorators.length - 1; i >= 0; i--) if (d = decorators[i]) r = (c < 3 ? d(r) : c > 3 ? d(target, key, r) : d(target, key)) || r;
+    return c > 3 && r && Object.defineProperty(target, key, r), r;
+};
+var __metadata = (this && this.__metadata) || function (k, v) {
+    if (typeof Reflect === "object" && typeof Reflect.metadata === "function") return Reflect.metadata(k, v);
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.DefaultConnectionReporter = exports.ConnectionReporter = void 0;
+exports.bindConnectionReporter = bindConnectionReporter;
+const core_1 = require("@theia/core");
+const inversify_1 = require("@theia/core/shared/inversify");
+exports.ConnectionReporter = Symbol('ConnectionReporter');
+/**
+ * Reports through Theia notifications: an attempt still running after
+ * {@link connectingNoticeDelayMs} shows its progress, and an attempt ends in at
+ * most one notification. A failure is shown once per target until it connects
+ * again, so a head that keeps retrying does not raise one per attempt.
+ */
+let DefaultConnectionReporter = class DefaultConnectionReporter {
+    messageService;
+    connectingNoticeDelayMs = 3_000;
+    /** Targets whose last reported attempt failed. */
+    failing = new Set();
+    connecting(target) {
+        let progress;
+        const notice = this.failing.has(target)
+            ? undefined
+            : setTimeout(() => (progress = this.showConnecting(target)), this.connectingNoticeDelayMs);
+        let settled = false;
+        const settle = () => {
+            if (settled) {
+                return false;
+            }
+            settled = true;
+            clearTimeout(notice);
+            void progress?.then(shown => shown.cancel());
+            return true;
+        };
+        return {
+            connected: () => {
+                if (settle() && (this.failing.delete(target) || progress)) {
+                    this.showConnected(target);
+                }
+            },
+            cancelled: () => {
+                settle();
+            },
+            failed: (message, retry) => {
+                if (settle() && !this.failing.has(target)) {
+                    this.failing.add(target);
+                    void this.showFailed(target, message, retry);
+                }
+            }
+        };
+    }
+    showConnecting(target) {
+        return this.messageService.showProgress({ text: target.connectingMessage });
+    }
+    showConnected(target) {
+        this.messageService.info(target.connectedMessage);
+    }
+    async showFailed(target, message, retry) {
+        if (!retry) {
+            this.messageService.error(message);
+            return;
+        }
+        const label = this.retryLabel();
+        if ((await this.messageService.error(message, label)) === label) {
+            // The retried attempt reports afresh, progress included.
+            this.failing.delete(target);
+            retry();
+        }
+    }
+    retryLabel() {
+        return core_1.nls.localize('hydranium/client-theia/connection-retry', 'Retry');
+    }
+};
+exports.DefaultConnectionReporter = DefaultConnectionReporter;
+__decorate([
+    (0, inversify_1.inject)(core_1.MessageService),
+    __metadata("design:type", core_1.MessageService)
+], DefaultConnectionReporter.prototype, "messageService", void 0);
+exports.DefaultConnectionReporter = DefaultConnectionReporter = __decorate([
+    (0, inversify_1.injectable)()
+], DefaultConnectionReporter);
+/** Bind {@link DefaultConnectionReporter} unless the slot is bound already; every head calls this. */
+function bindConnectionReporter(bind, isBound) {
+    if (!isBound(exports.ConnectionReporter)) {
+        bind(exports.ConnectionReporter).to(DefaultConnectionReporter).inSingletonScope();
+    }
+}
+//# sourceMappingURL=connection-reporter.js.map

package/lib/browser/connection-reporter.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"connection-reporter.js","sourceRoot":"","sources":["../../src/browser/connection-reporter.ts"],"names":[],"mappings":";AAAA;;;;;;;kFAOkF;;;;;;;;;;;;;AAElF,sCAAiE;AACjE,4DAAmF;AA8BtE,QAAA,kBAAkB,GAAG,MAAM,CAAC,oBAAoB,CAAC,CAAC;AAE/D;;;;;GAKG;AAEI,IAAM,yBAAyB,GAA/B,MAAM,yBAAyB;IACQ,cAAc,CAAkB;IAExD,uBAAuB,GAAW,KAAK,CAAC;IAC3D,kDAAkD;IAC/B,OAAO,GAAG,IAAI,GAAG,EAAoB,CAAC;IAEzD,UAAU,CAAC,MAAwB;QAChC,IAAI,QAAuC,CAAC;QAC5C,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC;YACpC,CAAC,CAAC,SAAS;YACX,CAAC,CAAC,UAAU,CAAC,GAAG,EAAE,CAAC,CAAC,QAAQ,GAAG,IAAI,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC,EAAE,IAAI,CAAC,uBAAuB,CAAC,CAAC;QAC9F,IAAI,OAAO,GAAG,KAAK,CAAC;QACpB,MAAM,MAAM,GAAG,GAAY,EAAE;YAC1B,IAAI,OAAO,EAAE,CAAC;gBACX,OAAO,KAAK,CAAC;YAChB,CAAC;YACD,OAAO,GAAG,IAAI,CAAC;YACf,YAAY,CAAC,MAAM,CAAC,CAAC;YACrB,KAAK,QAAQ,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;YAC7C,OAAO,IAAI,CAAC;QACf,CAAC,CAAC;QACF,OAAO;YACJ,SAAS,EAAE,GAAG,EAAE;gBACb,IAAI,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,QAAQ,CAAC,EAAE,CAAC;oBACzD,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC;gBAC9B,CAAC;YACJ,CAAC;YACD,SAAS,EAAE,GAAG,EAAE;gBACb,MAAM,EAAE,CAAC;YACZ,CAAC;YACD,MAAM,EAAE,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE;gBACxB,IAAI,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;oBACzC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;oBACzB,KAAK,IAAI,CAAC,UAAU,CAAC,MAAM,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;gBAChD,CAAC;YACJ,CAAC;SACH,CAAC;IACL,CAAC;IAES,cAAc,CAAC,MAAwB;QAC9C,OAAO,IAAI,CAAC,cAAc,CAAC,YAAY,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,iBAAiB,EAAE,CAAC,CAAC;IAC/E,CAAC;IAES,aAAa,CAAC,MAAwB;QAC7C,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,MAAM,CAAC,gBAAgB,CAAC,CAAC;IACrD,CAAC;IAES,KAAK,CAAC,UAAU,CAAC,MAAwB,EAAE,OAAe,EAAE,KAAkB;QACrF,IAAI,CAAC,KAAK,EAAE,CAAC;YACV,IAAI,CAAC,cAAc,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;YACnC,OAAO;QACV,CAAC;QACD,MAAM,KAAK,GAAG,IAAI,CAAC,UAAU,EAAE,CAAC;QAChC,IAAI,CAAC,MAAM,IAAI,CAAC,cAAc,CAAC,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC,KAAK,KAAK,EAAE,CAAC;YAC/D,yDAAyD;YACzD,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;YAC5B,KAAK,EAAE,CAAC;QACX,CAAC;IACJ,CAAC;IAES,UAAU;QACjB,OAAO,UAAG,CAAC,QAAQ,CAAC,yCAAyC,EAAE,OAAO,CAAC,CAAC;IAC3E,CAAC;CACH,CAAA;;AA/D6C;IAA1C,IAAA,kBAAM,EAAC,qBAAc,CAAC;8BAAqC,qBAAc;iEAAC;oCADjE,yBAAyB;IADrC,IAAA,sBAAU,GAAE;GACA,yBAAyB,CAgErC;AAED,sGAAsG;AACtG,gCAAuC,IAAqB,EAAE,OAA2B;IACtF,IAAI,CAAC,OAAO,CAAC,QAAA,kBAAkB,CAAC,EAAE,CAAC;QAChC,IAAI,CAAC,QAAA,kBAAkB,CAAC,CAAC,EAAE,CAAC,yBAAyB,CAAC,CAAC,gBAAgB,EAAE,CAAC;IAC7E,CAAC;AACJ,CAAC"}

package/lib/browser/editor-disk-sync.d.ts

@@ -0,0 +1,142 @@
+/********************************************************************************
+ * Copyright (c) 2026 EclipseSource and others.
+ *
+ * This program and the accompanying materials are made available under the
+ * terms of the MIT License which is available in the project root.
+ *
+ * SPDX-License-Identifier: MIT
+ ********************************************************************************/
+import { FrontendApplicationContribution } from '@theia/core/lib/browser/frontend-application-contribution';
+import { ILogger } from '@theia/core/lib/common/logger';
+import URI from '@theia/core/lib/common/uri';
+import { type interfaces } from '@theia/core/shared/inversify';
+import { EditorManager } from '@theia/editor/lib/browser/editor-manager';
+import type { EditorWidget } from '@theia/editor/lib/browser/editor-widget';
+import type { FileResourceVersion } from '@theia/filesystem/lib/browser/file-resource';
+import { FileService, type TextFileContent } from '@theia/filesystem/lib/browser/file-service';
+import { Clock } from '../common/clock';
+/**
+ * The members of Theia's Monaco editor model {@link EditorDiskSync} reads and
+ * resets. `contentChanges`, `resourceVersion` and `run` are `protected` there,
+ * so {@link isResyncableEditorDocument} checks for them at runtime: a Theia
+ * that renames them yields a document it refuses, and the sync then leaves it
+ * alone.
+ */
+export interface ResyncableEditorDocument {
+    readonly uri: string;
+    readonly dirty: boolean;
+    getText(): string;
+    revert(options: {
+        soft: boolean;
+    }): Promise<void>;
+    /** The edits the next save applies to the file, in place of the whole text. */
+    readonly contentChanges: unknown[];
+    /** The file version the next save expects to find on disk. */
+    resourceVersion: FileResourceVersion | undefined;
+    /** Queue `operation` behind the model's saves and syncs in progress. */
+    run(operation: () => Promise<void>): Promise<void>;
+    /** Awaited by each save before it takes the pending edits. */
+    onModelWillSaveModel(listener: () => Promise<void>): {
+        dispose(): void;
+    };
+}
+/** Whether `document` carries the members of {@link ResyncableEditorDocument}. */
+export declare function isResyncableEditorDocument(document: object): document is ResyncableEditorDocument;
+/**
+ * Keeps a dirty editor's save from applying edits its file already holds, as
+ * the file does once the server saves a document the editor shows unsaved.
+ *
+ * Theia keeps such an editor dirty, and its next save corrupts the file: the
+ * save applies the editor's pending edits to the file rather than writing the
+ * whole text, and the file already holds them, so each is applied twice.
+ * Theia's check that the file has not changed since the editor read it passes
+ * whenever the new file has the old one's size, so no conflict is reported. A
+ * revert alone keeps the pending edits.
+ *
+ * Before each save of the editor it reads the file. When the file holds the
+ * text the buffer held as the save began, it drops the edits pending then and
+ * has the save expect the file's version, so the save writes only the edits
+ * made after that point, a save participant's included, onto the file as it
+ * is. The save is not cancelled: it completes and is reported as saved. Save
+ * All relies on this check, since it saves a diagram and then an editor on the
+ * same file at once, before the file watcher has reported the diagram's write.
+ * The buffer is taken when the save calls its will-save listeners. Theia runs
+ * its save participants one after another, each behind an await, and its
+ * first one awaits before it edits, so none has changed the buffer by then. A
+ * participant ordered ahead of it that edits before its first await makes the
+ * file and the taken text differ, and the save applies every edit again.
+ *
+ * On each change the file watcher reports, it marks the editor clean when the
+ * file holds exactly its buffer. The file is compared with the buffer after
+ * it has been read, and the editor is marked in the same step, so a keystroke
+ * made while the file was read leaves the editor dirty. This sync waits behind
+ * a save in flight: that save drops the edits it sent from the pending ones
+ * when it finishes, and a sync before then would have it drop the edits typed
+ * meanwhile.
+ *
+ * An editor whose file holds neither text is left to Theia's own save,
+ * same-size gap included, and so is one whose file cannot be read within
+ * {@link readTimeoutMs}, or whose check throws.
+ *
+ * Bound by {@link bindEditorDiskSync}.
+ */
+export declare class EditorDiskSync implements FrontendApplicationContribution {
+    protected readonly fileService: FileService;
+    protected readonly editorManager: EditorManager;
+    protected readonly logger: ILogger;
+    /** Times {@link readTimeoutMs}: the container's {@link Clock}, or a `SystemClock`. */
+    protected readonly clock: Clock;
+    /** Whether an editor's document has failed {@link isResyncableEditorDocument}; warned of once. */
+    protected warnedUnsyncable: boolean;
+    /**
+     * How long a check waits for the file. The editor's save, and every later
+     * save and sync of that editor, waits for the check.
+     */
+    protected readTimeoutMs: number;
+    onStart(): void;
+    /** Check `widget`'s document before each of its saves, for as long as the widget lives. */
+    protected guardSaves(widget: EditorWidget): void;
+    /** Check each dirty document an editor shows on `uri`, behind that document's save in flight. */
+    protected checkFile(uri: URI): void;
+    /** Read the file of `document` if it is dirty, and sync it if the file holds its buffer. */
+    protected syncIfOnDisk(document: ResyncableEditorDocument): Promise<void>;
+    /**
+     * Before a save of `document`, drop the edits pending now if its file holds
+     * the buffer as it is now, and take the file's version. The buffer and the
+     * count are taken before the first await, while the save is still calling
+     * its will-save listeners; an edit made after that stays pending, and the
+     * save writes it onto the file.
+     */
+    protected dropChangesOnDisk(document: ResyncableEditorDocument): Promise<void>;
+    /**
+     * The file of `document`, or `undefined` when it is gone, cannot be read, or
+     * is not read within {@link readTimeoutMs}.
+     */
+    protected readFile(document: ResyncableEditorDocument): Promise<TextFileContent | undefined>;
+    /**
+     * Run `check`, and log its failure rather than pass it on. A will-save
+     * listener that rejects makes Theia drop the save without writing, and a
+     * sync that rejects goes unhandled.
+     */
+    protected isolate(check: () => Promise<void>): Promise<void>;
+    /** The dirty documents open in an editor on `uri`, each once however many editors show it. */
+    protected dirtyDocuments(uri: URI): ResyncableEditorDocument[];
+    /** `document` if it carries the members the sync resets; otherwise `undefined`, warned of once. */
+    protected resyncable(document: object): ResyncableEditorDocument | undefined;
+    /**
+     * Take `version` as the file `document` was last saved to, with nothing
+     * pending, and mark it clean. Synchronous throughout: a soft revert only
+     * marks the document clean, and reads nothing. The revert also cancels a
+     * save queued behind the sync, which would have written the same text.
+     */
+    protected syncFromDisk(document: ResyncableEditorDocument, version: FileResourceVersion): void;
+}
+/**
+ * Bind {@link EditorDiskSync} as a frontend contribution and rebind Theia's
+ * `FileService` to {@link HydraniumFileService}, unless `EditorDiskSync` is
+ * bound already. No framework module calls this, because the rebind would
+ * replace a frontend's own `FileService` binding. A subclass of the sync is
+ * rebound after this call: one bound before it skips the whole call.
+ */
+export declare function bindEditorDiskSync(bind: interfaces.Bind, isBound: interfaces.IsBound, rebind: interfaces.Rebind): void;
+//# sourceMappingURL=editor-disk-sync.d.ts.map

package/lib/browser/editor-disk-sync.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"editor-disk-sync.d.ts","sourceRoot":"","sources":["../../src/browser/editor-disk-sync.ts"],"names":[],"mappings":"AAAA;;;;;;;kFAOkF;AAGlF,OAAO,EAAE,+BAA+B,EAAE,MAAM,2DAA2D,CAAC;AAC5G,OAAO,EAAE,OAAO,EAAE,MAAM,+BAA+B,CAAC;AACxD,OAAO,GAAG,MAAM,4BAA4B,CAAC;AAC7C,OAAO,EAAgC,KAAK,UAAU,EAAE,MAAM,8BAA8B,CAAC;AAC7F,OAAO,EAAE,aAAa,EAAE,MAAM,0CAA0C,CAAC;AACzE,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,yCAAyC,CAAC;AAC5E,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,6CAA6C,CAAC;AACvF,OAAO,EAAE,WAAW,EAAE,KAAK,eAAe,EAAE,MAAM,4CAA4C,CAAC;AAC/F,OAAO,EAAE,KAAK,EAAE,MAAM,iBAAiB,CAAC;AAGxC;;;;;;GAMG;AACH,MAAM,WAAW,wBAAwB;IACtC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;IACxB,OAAO,IAAI,MAAM,CAAC;IAClB,MAAM,CAAC,OAAO,EAAE;QAAE,IAAI,EAAE,OAAO,CAAA;KAAE,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAClD,+EAA+E;IAC/E,QAAQ,CAAC,cAAc,EAAE,OAAO,EAAE,CAAC;IACnC,8DAA8D;IAC9D,eAAe,EAAE,mBAAmB,GAAG,SAAS,CAAC;IACjD,wEAAwE;IACxE,GAAG,CAAC,SAAS,EAAE,MAAM,OAAO,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IACnD,8DAA8D;IAC9D,oBAAoB,CAAC,QAAQ,EAAE,MAAM,OAAO,CAAC,IAAI,CAAC,GAAG;QAAE,OAAO,IAAI,IAAI,CAAA;KAAE,CAAC;CAC3E;AAED,kFAAkF;AAClF,wBAAgB,0BAA0B,CAAC,QAAQ,EAAE,MAAM,GAAG,QAAQ,IAAI,wBAAwB,CAiBjG;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAqCG;AACH,qBACa,cAAe,YAAW,+BAA+B;IAC9C,SAAS,CAAC,QAAQ,CAAC,WAAW,EAAG,WAAW,CAAC;IAC3C,SAAS,CAAC,QAAQ,CAAC,aAAa,EAAG,aAAa,CAAC;IACvD,SAAS,CAAC,QAAQ,CAAC,MAAM,EAAG,OAAO,CAAC;IACrD,sFAAsF;IAC3D,SAAS,CAAC,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAqB;IAC/E,kGAAkG;IAClG,SAAS,CAAC,gBAAgB,UAAS;IACnC;;;OAGG;IACH,SAAS,CAAC,aAAa,SAAS;IAEhC,OAAO,IAAI,IAAI,CAUd;IAED,2FAA2F;IAC3F,SAAS,CAAC,UAAU,CAAC,MAAM,EAAE,YAAY,GAAG,IAAI,CAM/C;IAED,iGAAiG;IACjG,SAAS,CAAC,SAAS,CAAC,GAAG,EAAE,GAAG,GAAG,IAAI,CAIlC;IAED,4FAA4F;IAC5F,UAAgB,YAAY,CAAC,QAAQ,EAAE,wBAAwB,GAAG,OAAO,CAAC,IAAI,CAAC,CAQ9E;IAED;;;;;;OAMG;IACH,UAAgB,iBAAiB,CAAC,QAAQ,EAAE,wBAAwB,GAAG,OAAO,CAAC,IAAI,CAAC,CAWnF;IAED;;;OAGG;IACH,UAAgB,QAAQ,CAAC,QAAQ,EAAE,wBAAwB,GAAG,OAAO,CAAC,eAAe,GAAG,SAAS,CAAC,CAIjG;IAED;;;;OAIG;IACH,UAAgB,OAAO,CAAC,KAAK,EAAE,MAAM,OAAO,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,CAMjE;IAED,8FAA8F;IAC9F,SAAS,CAAC,cAAc,CAAC,GAAG,EAAE,GAAG,GAAG,wBAAwB,EAAE,CAU7D;IAED,mGAAmG;IACnG,SAAS,CAAC,UAAU,CAAC,QAAQ,EAAE,MAAM,GAAG,wBAAwB,GAAG,SAAS,CAW3E;IAED;;;;;OAKG;IACH,SAAS,CAAC,YAAY,CAAC,QAAQ,EAAE,wBAAwB,EAAE,OAAO,EAAE,mBAAmB,GAAG,IAAI,CAI7F;CACH;AAED;;;;;;GAMG;AACH,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,UAAU,CAAC,IAAI,EAAE,OAAO,EAAE,UAAU,CAAC,OAAO,EAAE,MAAM,EAAE,UAAU,CAAC,MAAM,GAAG,IAAI,CAOtH"}

package/lib/browser/editor-disk-sync.js

@@ -0,0 +1,250 @@
+"use strict";
+/********************************************************************************
+ * Copyright (c) 2026 EclipseSource and others.
+ *
+ * This program and the accompanying materials are made available under the
+ * terms of the MIT License which is available in the project root.
+ *
+ * SPDX-License-Identifier: MIT
+ ********************************************************************************/
+var __decorate = (this && this.__decorate) || function (decorators, target, key, desc) {
+    var c = arguments.length, r = c < 3 ? target : desc === null ? desc = Object.getOwnPropertyDescriptor(target, key) : desc, d;
+    if (typeof Reflect === "object" && typeof Reflect.decorate === "function") r = Reflect.decorate(decorators, target, key, desc);
+    else for (var i = decorators.length - 1; i >= 0; i--) if (d = decorators[i]) r = (c < 3 ? d(r) : c > 3 ? d(target, key, r) : d(target, key)) || r;
+    return c > 3 && r && Object.defineProperty(target, key, r), r;
+};
+var __metadata = (this && this.__metadata) || function (k, v) {
+    if (typeof Reflect === "object" && typeof Reflect.metadata === "function") return Reflect.metadata(k, v);
+};
+var __importDefault = (this && this.__importDefault) || function (mod) {
+    return (mod && mod.__esModule) ? mod : { "default": mod };
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.EditorDiskSync = void 0;
+exports.isResyncableEditorDocument = isResyncableEditorDocument;
+exports.bindEditorDiskSync = bindEditorDiskSync;
+const protocol_1 = require("@hydranium/protocol");
+const frontend_application_contribution_1 = require("@theia/core/lib/browser/frontend-application-contribution");
+const logger_1 = require("@theia/core/lib/common/logger");
+const uri_1 = __importDefault(require("@theia/core/lib/common/uri"));
+const inversify_1 = require("@theia/core/shared/inversify");
+const editor_manager_1 = require("@theia/editor/lib/browser/editor-manager");
+const file_service_1 = require("@theia/filesystem/lib/browser/file-service");
+const clock_1 = require("../common/clock");
+const hydranium_file_service_1 = require("./hydranium-file-service");
+/** Whether `document` carries the members of {@link ResyncableEditorDocument}. */
+function isResyncableEditorDocument(document) {
+    return ('uri' in document &&
+        typeof document.uri === 'string' &&
+        'dirty' in document &&
+        'getText' in document &&
+        typeof document.getText === 'function' &&
+        'revert' in document &&
+        typeof document.revert === 'function' &&
+        'contentChanges' in document &&
+        Array.isArray(document.contentChanges) &&
+        'resourceVersion' in document &&
+        'run' in document &&
+        typeof document.run === 'function' &&
+        'onModelWillSaveModel' in document &&
+        typeof document.onModelWillSaveModel === 'function');
+}
+/**
+ * Keeps a dirty editor's save from applying edits its file already holds, as
+ * the file does once the server saves a document the editor shows unsaved.
+ *
+ * Theia keeps such an editor dirty, and its next save corrupts the file: the
+ * save applies the editor's pending edits to the file rather than writing the
+ * whole text, and the file already holds them, so each is applied twice.
+ * Theia's check that the file has not changed since the editor read it passes
+ * whenever the new file has the old one's size, so no conflict is reported. A
+ * revert alone keeps the pending edits.
+ *
+ * Before each save of the editor it reads the file. When the file holds the
+ * text the buffer held as the save began, it drops the edits pending then and
+ * has the save expect the file's version, so the save writes only the edits
+ * made after that point, a save participant's included, onto the file as it
+ * is. The save is not cancelled: it completes and is reported as saved. Save
+ * All relies on this check, since it saves a diagram and then an editor on the
+ * same file at once, before the file watcher has reported the diagram's write.
+ * The buffer is taken when the save calls its will-save listeners. Theia runs
+ * its save participants one after another, each behind an await, and its
+ * first one awaits before it edits, so none has changed the buffer by then. A
+ * participant ordered ahead of it that edits before its first await makes the
+ * file and the taken text differ, and the save applies every edit again.
+ *
+ * On each change the file watcher reports, it marks the editor clean when the
+ * file holds exactly its buffer. The file is compared with the buffer after
+ * it has been read, and the editor is marked in the same step, so a keystroke
+ * made while the file was read leaves the editor dirty. This sync waits behind
+ * a save in flight: that save drops the edits it sent from the pending ones
+ * when it finishes, and a sync before then would have it drop the edits typed
+ * meanwhile.
+ *
+ * An editor whose file holds neither text is left to Theia's own save,
+ * same-size gap included, and so is one whose file cannot be read within
+ * {@link readTimeoutMs}, or whose check throws.
+ *
+ * Bound by {@link bindEditorDiskSync}.
+ */
+let EditorDiskSync = class EditorDiskSync {
+    fileService;
+    editorManager;
+    logger;
+    /** Times {@link readTimeoutMs}: the container's {@link Clock}, or a `SystemClock`. */
+    clock = new protocol_1.SystemClock();
+    /** Whether an editor's document has failed {@link isResyncableEditorDocument}; warned of once. */
+    warnedUnsyncable = false;
+    /**
+     * How long a check waits for the file. The editor's save, and every later
+     * save and sync of that editor, waits for the check.
+     */
+    readTimeoutMs = 1_000;
+    onStart() {
+        this.fileService.onDidFilesChange(event => {
+            for (const change of event.changes) {
+                this.checkFile(change.resource);
+            }
+        });
+        this.editorManager.onCreated(widget => this.guardSaves(widget));
+        for (const widget of this.editorManager.all) {
+            this.guardSaves(widget);
+        }
+    }
+    /** Check `widget`'s document before each of its saves, for as long as the widget lives. */
+    guardSaves(widget) {
+        const document = this.resyncable(widget.editor.document);
+        if (document) {
+            const registration = document.onModelWillSaveModel(() => this.isolate(() => this.dropChangesOnDisk(document)));
+            widget.onDidDispose(() => registration.dispose());
+        }
+    }
+    /** Check each dirty document an editor shows on `uri`, behind that document's save in flight. */
+    checkFile(uri) {
+        for (const document of this.dirtyDocuments(uri)) {
+            void document.run(() => this.isolate(() => this.syncIfOnDisk(document)));
+        }
+    }
+    /** Read the file of `document` if it is dirty, and sync it if the file holds its buffer. */
+    async syncIfOnDisk(document) {
+        if (!document.dirty) {
+            return;
+        }
+        const content = await this.readFile(document);
+        if (content && document.getText() === content.value) {
+            this.syncFromDisk(document, { etag: content.etag, mtime: content.mtime, encoding: content.encoding });
+        }
+    }
+    /**
+     * Before a save of `document`, drop the edits pending now if its file holds
+     * the buffer as it is now, and take the file's version. The buffer and the
+     * count are taken before the first await, while the save is still calling
+     * its will-save listeners; an edit made after that stays pending, and the
+     * save writes it onto the file.
+     */
+    async dropChangesOnDisk(document) {
+        if (!document.dirty) {
+            return;
+        }
+        const text = document.getText();
+        const pending = document.contentChanges.length;
+        const content = await this.readFile(document);
+        if (content?.value === text) {
+            document.contentChanges.splice(0, pending);
+            document.resourceVersion = { etag: content.etag, mtime: content.mtime, encoding: content.encoding };
+        }
+    }
+    /**
+     * The file of `document`, or `undefined` when it is gone, cannot be read, or
+     * is not read within {@link readTimeoutMs}.
+     */
+    async readFile(document) {
+        const read = this.fileService.read(new uri_1.default(document.uri)).catch(() => undefined);
+        const content = await this.clock.raceTimer(read, this.readTimeoutMs);
+        return content === protocol_1.TIMED_OUT ? undefined : content;
+    }
+    /**
+     * Run `check`, and log its failure rather than pass it on. A will-save
+     * listener that rejects makes Theia drop the save without writing, and a
+     * sync that rejects goes unhandled.
+     */
+    async isolate(check) {
+        try {
+            await check();
+        }
+        catch (err) {
+            void this.logger.error('EditorDiskSync: checking an editor against its file failed; the editor is left as it is.', err);
+        }
+    }
+    /** The dirty documents open in an editor on `uri`, each once however many editors show it. */
+    dirtyDocuments(uri) {
+        const target = uri.toString();
+        const documents = new Set();
+        for (const widget of this.editorManager.all) {
+            const document = this.resyncable(widget.editor.document);
+            if (document && document.uri === target && document.dirty) {
+                documents.add(document);
+            }
+        }
+        return [...documents];
+    }
+    /** `document` if it carries the members the sync resets; otherwise `undefined`, warned of once. */
+    resyncable(document) {
+        if (isResyncableEditorDocument(document)) {
+            return document;
+        }
+        if (!this.warnedUnsyncable) {
+            this.warnedUnsyncable = true;
+            void this.logger.warn('EditorDiskSync: an editor document lacks the Monaco model members the sync resets, so such editors are not synced with their files.');
+        }
+        return undefined;
+    }
+    /**
+     * Take `version` as the file `document` was last saved to, with nothing
+     * pending, and mark it clean. Synchronous throughout: a soft revert only
+     * marks the document clean, and reads nothing. The revert also cancels a
+     * save queued behind the sync, which would have written the same text.
+     */
+    syncFromDisk(document, version) {
+        document.contentChanges.splice(0, document.contentChanges.length);
+        document.resourceVersion = version;
+        void document.revert({ soft: true });
+    }
+};
+exports.EditorDiskSync = EditorDiskSync;
+__decorate([
+    (0, inversify_1.inject)(file_service_1.FileService),
+    __metadata("design:type", file_service_1.FileService)
+], EditorDiskSync.prototype, "fileService", void 0);
+__decorate([
+    (0, inversify_1.inject)(editor_manager_1.EditorManager),
+    __metadata("design:type", editor_manager_1.EditorManager)
+], EditorDiskSync.prototype, "editorManager", void 0);
+__decorate([
+    (0, inversify_1.inject)(logger_1.ILogger),
+    __metadata("design:type", Object)
+], EditorDiskSync.prototype, "logger", void 0);
+__decorate([
+    (0, inversify_1.inject)(clock_1.Clock),
+    (0, inversify_1.optional)(),
+    __metadata("design:type", Object)
+], EditorDiskSync.prototype, "clock", void 0);
+exports.EditorDiskSync = EditorDiskSync = __decorate([
+    (0, inversify_1.injectable)()
+], EditorDiskSync);
+/**
+ * Bind {@link EditorDiskSync} as a frontend contribution and rebind Theia's
+ * `FileService` to {@link HydraniumFileService}, unless `EditorDiskSync` is
+ * bound already. No framework module calls this, because the rebind would
+ * replace a frontend's own `FileService` binding. A subclass of the sync is
+ * rebound after this call: one bound before it skips the whole call.
+ */
+function bindEditorDiskSync(bind, isBound, rebind) {
+    if (isBound(EditorDiskSync)) {
+        return;
+    }
+    bind(EditorDiskSync).toSelf().inSingletonScope();
+    bind(frontend_application_contribution_1.FrontendApplicationContribution).toService(EditorDiskSync);
+    rebind(file_service_1.FileService).to(hydranium_file_service_1.HydraniumFileService).inSingletonScope();
+}
+//# sourceMappingURL=editor-disk-sync.js.map

package/lib/browser/editor-disk-sync.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"editor-disk-sync.js","sourceRoot":"","sources":["../../src/browser/editor-disk-sync.ts"],"names":[],"mappings":";AAAA;;;;;;;kFAOkF;;;;;;;;;;;;;;;;;AAElF,kDAA6D;AAC7D,iHAA4G;AAC5G,0DAAwD;AACxD,qEAA6C;AAC7C,4DAA6F;AAC7F,6EAAyE;AAGzE,6EAA+F;AAC/F,2CAAwC;AACxC,qEAAgE;AAwBhE,kFAAkF;AAClF,oCAA2C,QAAgB;IACxD,OAAO,CACJ,KAAK,IAAI,QAAQ;QACjB,OAAO,QAAQ,CAAC,GAAG,KAAK,QAAQ;QAChC,OAAO,IAAI,QAAQ;QACnB,SAAS,IAAI,QAAQ;QACrB,OAAO,QAAQ,CAAC,OAAO,KAAK,UAAU;QACtC,QAAQ,IAAI,QAAQ;QACpB,OAAO,QAAQ,CAAC,MAAM,KAAK,UAAU;QACrC,gBAAgB,IAAI,QAAQ;QAC5B,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,cAAc,CAAC;QACtC,iBAAiB,IAAI,QAAQ;QAC7B,KAAK,IAAI,QAAQ;QACjB,OAAO,QAAQ,CAAC,GAAG,KAAK,UAAU;QAClC,sBAAsB,IAAI,QAAQ;QAClC,OAAO,QAAQ,CAAC,oBAAoB,KAAK,UAAU,CACrD,CAAC;AACL,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAqCG;AAEI,IAAM,cAAc,GAApB,MAAM,cAAc;IACgB,WAAW,CAAe;IACxB,aAAa,CAAiB;IACpC,MAAM,CAAW;IACrD,sFAAsF;IACxC,KAAK,GAAU,IAAI,sBAAW,EAAE,CAAC;IAC/E,kGAAkG;IACxF,gBAAgB,GAAG,KAAK,CAAC;IACnC;;;OAGG;IACO,aAAa,GAAG,KAAK,CAAC;IAEhC,OAAO;QACJ,IAAI,CAAC,WAAW,CAAC,gBAAgB,CAAC,KAAK,CAAC,EAAE;YACvC,KAAK,MAAM,MAAM,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;gBAClC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;YACnC,CAAC;QACJ,CAAC,CAAC,CAAC;QACH,IAAI,CAAC,aAAa,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC;QAChE,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,aAAa,CAAC,GAAG,EAAE,CAAC;YAC3C,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;QAC3B,CAAC;IACJ,CAAC;IAED,2FAA2F;IACjF,UAAU,CAAC,MAAoB;QACtC,MAAM,QAAQ,GAAG,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;QACzD,IAAI,QAAQ,EAAE,CAAC;YACZ,MAAM,YAAY,GAAG,QAAQ,CAAC,oBAAoB,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,iBAAiB,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;YAC/G,MAAM,CAAC,YAAY,CAAC,GAAG,EAAE,CAAC,YAAY,CAAC,OAAO,EAAE,CAAC,CAAC;QACrD,CAAC;IACJ,CAAC;IAED,iGAAiG;IACvF,SAAS,CAAC,GAAQ;QACzB,KAAK,MAAM,QAAQ,IAAI,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,EAAE,CAAC;YAC/C,KAAK,QAAQ,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;QAC5E,CAAC;IACJ,CAAC;IAED,4FAA4F;IAClF,KAAK,CAAC,YAAY,CAAC,QAAkC;QAC5D,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC;YACnB,OAAO;QACV,CAAC;QACD,MAAM,OAAO,GAAG,MAAM,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;QAC9C,IAAI,OAAO,IAAI,QAAQ,CAAC,OAAO,EAAE,KAAK,OAAO,CAAC,KAAK,EAAE,CAAC;YACnD,IAAI,CAAC,YAAY,CAAC,QAAQ,EAAE,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,QAAQ,EAAE,OAAO,CAAC,QAAQ,EAAE,CAAC,CAAC;QACzG,CAAC;IACJ,CAAC;IAED;;;;;;OAMG;IACO,KAAK,CAAC,iBAAiB,CAAC,QAAkC;QACjE,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC;YACnB,OAAO;QACV,CAAC;QACD,MAAM,IAAI,GAAG,QAAQ,CAAC,OAAO,EAAE,CAAC;QAChC,MAAM,OAAO,GAAG,QAAQ,CAAC,cAAc,CAAC,MAAM,CAAC;QAC/C,MAAM,OAAO,GAAG,MAAM,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;QAC9C,IAAI,OAAO,EAAE,KAAK,KAAK,IAAI,EAAE,CAAC;YAC3B,QAAQ,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;YAC3C,QAAQ,CAAC,eAAe,GAAG,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,QAAQ,EAAE,OAAO,CAAC,QAAQ,EAAE,CAAC;QACvG,CAAC;IACJ,CAAC;IAED;;;OAGG;IACO,KAAK,CAAC,QAAQ,CAAC,QAAkC;QACxD,MAAM,IAAI,GAAG,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,aAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC;QACjF,MAAM,OAAO,GAAG,MAAM,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC,aAAa,CAAC,CAAC;QACrE,OAAO,OAAO,KAAK,oBAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC;IACtD,CAAC;IAED;;;;OAIG;IACO,KAAK,CAAC,OAAO,CAAC,KAA0B;QAC/C,IAAI,CAAC;YACF,MAAM,KAAK,EAAE,CAAC;QACjB,CAAC;QAAC,OAAO,GAAY,EAAE,CAAC;YACrB,KAAK,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,0FAA0F,EAAE,GAAG,CAAC,CAAC;QAC3H,CAAC;IACJ,CAAC;IAED,8FAA8F;IACpF,cAAc,CAAC,GAAQ;QAC9B,MAAM,MAAM,GAAG,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC9B,MAAM,SAAS,GAAG,IAAI,GAAG,EAA4B,CAAC;QACtD,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,aAAa,CAAC,GAAG,EAAE,CAAC;YAC3C,MAAM,QAAQ,GAAG,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;YACzD,IAAI,QAAQ,IAAI,QAAQ,CAAC,GAAG,KAAK,MAAM,IAAI,QAAQ,CAAC,KAAK,EAAE,CAAC;gBACzD,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;YAC3B,CAAC;QACJ,CAAC;QACD,OAAO,CAAC,GAAG,SAAS,CAAC,CAAC;IACzB,CAAC;IAED,mGAAmG;IACzF,UAAU,CAAC,QAAgB;QAClC,IAAI,0BAA0B,CAAC,QAAQ,CAAC,EAAE,CAAC;YACxC,OAAO,QAAQ,CAAC;QACnB,CAAC;QACD,IAAI,CAAC,IAAI,CAAC,gBAAgB,EAAE,CAAC;YAC1B,IAAI,CAAC,gBAAgB,GAAG,IAAI,CAAC;YAC7B,KAAK,IAAI,CAAC,MAAM,CAAC,IAAI,CAClB,qIAAqI,CACvI,CAAC;QACL,CAAC;QACD,OAAO,SAAS,CAAC;IACpB,CAAC;IAED;;;;;OAKG;IACO,YAAY,CAAC,QAAkC,EAAE,OAA4B;QACpF,QAAQ,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC,EAAE,QAAQ,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC;QAClE,QAAQ,CAAC,eAAe,GAAG,OAAO,CAAC;QACnC,KAAK,QAAQ,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;IACxC,CAAC;CACH,CAAA;;AArI0C;IAAvC,IAAA,kBAAM,EAAC,0BAAW,CAAC;8BAAkC,0BAAW;mDAAC;AACxB;IAAzC,IAAA,kBAAM,EAAC,8BAAa,CAAC;8BAAoC,8BAAa;qDAAC;AACpC;IAAnC,IAAA,kBAAM,EAAC,gBAAO,CAAC;;8CAAqC;AAEP;IAA7C,IAAA,kBAAM,EAAC,aAAK,CAAC;IAAE,IAAA,oBAAQ,GAAE;;6CAAqD;yBALrE,cAAc;IAD1B,IAAA,sBAAU,GAAE;GACA,cAAc,CAsI1B;AAED;;;;;;GAMG;AACH,4BAAmC,IAAqB,EAAE,OAA2B,EAAE,MAAyB;IAC7G,IAAI,OAAO,CAAC,cAAc,CAAC,EAAE,CAAC;QAC3B,OAAO;IACV,CAAC;IACD,IAAI,CAAC,cAAc,CAAC,CAAC,MAAM,EAAE,CAAC,gBAAgB,EAAE,CAAC;IACjD,IAAI,CAAC,mEAA+B,CAAC,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC;IAChE,MAAM,CAAC,0BAAW,CAAC,CAAC,EAAE,CAAC,6CAAoB,CAAC,CAAC,gBAAgB,EAAE,CAAC;AACnE,CAAC"}

package/lib/browser/hydranium-file-service.d.ts

@@ -0,0 +1,44 @@
+/********************************************************************************
+ * Copyright (c) 2026 EclipseSource and others.
+ *
+ * This program and the accompanying materials are made available under the
+ * terms of the MIT License which is available in the project root.
+ *
+ * SPDX-License-Identifier: MIT
+ ********************************************************************************/
+import type URI from '@theia/core/lib/common/uri';
+import { FileService, type UpdateTextFileOptions } from '@theia/filesystem/lib/browser/file-service';
+/**
+ * Theia's `FileService`, refusing an incremental save once the file has
+ * changed since the editor read it.
+ *
+ * Theia's own check, which `write` and `update` share, passes a file whose
+ * mtime moved on when its size still matches the etag the editor read. That
+ * is safe for `write`, which replaces the file with the whole text, but
+ * `update` applies the editor's pending edits to the file as it is, so after a
+ * same-size change, the server saving those very edits included, it applies
+ * them a second time. Here `update` hands that check the etag with a `!`
+ * appended, which no file's etag can match: Theia writes an etag as the mtime
+ * in base 29 followed by the size in base 31, digits and lower-case letters
+ * only. An advanced mtime is then enough for Theia to refuse with its
+ * `FILE_MODIFIED_SINCE`. The editor's save then falls back to `write` with the
+ * whole text, which Theia checks as before: it writes when the size is
+ * unchanged, and asks the user otherwise. A same-size change by another
+ * process is therefore overwritten by that write rather than merged with the
+ * editor's edits. `write` is left as it is.
+ *
+ * It is the safety net behind `EditorDiskSync`, which acts only when the
+ * file holds the editor's buffer: a file holding some of the edits, as when a
+ * save participant ordered ahead of Theia's first one edits before its first
+ * await, is left to this check.
+ *
+ * A write within the file system's mtime resolution of the read goes unseen,
+ * as it does for Theia's own check. A file whose mtime moves while its text
+ * stays the same costs a whole-text write rather than the edits.
+ *
+ * Bound by `bindEditorDiskSync`.
+ */
+export declare class HydraniumFileService extends FileService {
+    update(resource: URI, changes: Parameters<FileService['update']>[1], options: UpdateTextFileOptions): ReturnType<FileService['update']>;
+}
+//# sourceMappingURL=hydranium-file-service.d.ts.map

package/lib/browser/hydranium-file-service.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"hydranium-file-service.d.ts","sourceRoot":"","sources":["../../src/browser/hydranium-file-service.ts"],"names":[],"mappings":"AAAA;;;;;;;kFAOkF;AAElF,OAAO,KAAK,GAAG,MAAM,4BAA4B,CAAC;AAElD,OAAO,EAAE,WAAW,EAAE,KAAK,qBAAqB,EAAE,MAAM,4CAA4C,CAAC;AAGrG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AACH,qBACa,oBAAqB,SAAQ,WAAW;IACzC,MAAM,CACZ,QAAQ,EAAE,GAAG,EACb,OAAO,EAAE,UAAU,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,EAC7C,OAAO,EAAE,qBAAqB,GAC9B,UAAU,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAC,CAInC;CACH"}

package/lib/browser/hydranium-file-service.js

@@ -0,0 +1,61 @@
+"use strict";
+/********************************************************************************
+ * Copyright (c) 2026 EclipseSource and others.
+ *
+ * This program and the accompanying materials are made available under the
+ * terms of the MIT License which is available in the project root.
+ *
+ * SPDX-License-Identifier: MIT
+ ********************************************************************************/
+var __decorate = (this && this.__decorate) || function (decorators, target, key, desc) {
+    var c = arguments.length, r = c < 3 ? target : desc === null ? desc = Object.getOwnPropertyDescriptor(target, key) : desc, d;
+    if (typeof Reflect === "object" && typeof Reflect.decorate === "function") r = Reflect.decorate(decorators, target, key, desc);
+    else for (var i = decorators.length - 1; i >= 0; i--) if (d = decorators[i]) r = (c < 3 ? d(r) : c > 3 ? d(target, key, r) : d(target, key)) || r;
+    return c > 3 && r && Object.defineProperty(target, key, r), r;
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.HydraniumFileService = void 0;
+const inversify_1 = require("@theia/core/shared/inversify");
+const file_service_1 = require("@theia/filesystem/lib/browser/file-service");
+const files_1 = require("@theia/filesystem/lib/common/files");
+/**
+ * Theia's `FileService`, refusing an incremental save once the file has
+ * changed since the editor read it.
+ *
+ * Theia's own check, which `write` and `update` share, passes a file whose
+ * mtime moved on when its size still matches the etag the editor read. That
+ * is safe for `write`, which replaces the file with the whole text, but
+ * `update` applies the editor's pending edits to the file as it is, so after a
+ * same-size change, the server saving those very edits included, it applies
+ * them a second time. Here `update` hands that check the etag with a `!`
+ * appended, which no file's etag can match: Theia writes an etag as the mtime
+ * in base 29 followed by the size in base 31, digits and lower-case letters
+ * only. An advanced mtime is then enough for Theia to refuse with its
+ * `FILE_MODIFIED_SINCE`. The editor's save then falls back to `write` with the
+ * whole text, which Theia checks as before: it writes when the size is
+ * unchanged, and asks the user otherwise. A same-size change by another
+ * process is therefore overwritten by that write rather than merged with the
+ * editor's edits. `write` is left as it is.
+ *
+ * It is the safety net behind `EditorDiskSync`, which acts only when the
+ * file holds the editor's buffer: a file holding some of the edits, as when a
+ * save participant ordered ahead of Theia's first one edits before its first
+ * await, is left to this check.
+ *
+ * A write within the file system's mtime resolution of the read goes unseen,
+ * as it does for Theia's own check. A file whose mtime moves while its text
+ * stays the same costs a whole-text write rather than the edits.
+ *
+ * Bound by `bindEditorDiskSync`.
+ */
+let HydraniumFileService = class HydraniumFileService extends file_service_1.FileService {
+    update(resource, changes, options) {
+        const strict = typeof options.etag === 'string' && options.etag !== files_1.ETAG_DISABLED ? { ...options, etag: `${options.etag}!` } : options;
+        return super.update(resource, changes, strict);
+    }
+};
+exports.HydraniumFileService = HydraniumFileService;
+exports.HydraniumFileService = HydraniumFileService = __decorate([
+    (0, inversify_1.injectable)()
+], HydraniumFileService);
+//# sourceMappingURL=hydranium-file-service.js.map

package/lib/browser/hydranium-file-service.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"hydranium-file-service.js","sourceRoot":"","sources":["../../src/browser/hydranium-file-service.ts"],"names":[],"mappings":";AAAA;;;;;;;kFAOkF;;;;;;;;;AAGlF,4DAA0D;AAC1D,6EAAqG;AACrG,8DAAmE;AAEnE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AAEI,IAAM,oBAAoB,GAA1B,MAAM,oBAAqB,SAAQ,0BAAW;IACzC,MAAM,CACZ,QAAa,EACb,OAA6C,EAC7C,OAA8B;QAE9B,MAAM,MAAM,GACT,OAAO,OAAO,CAAC,IAAI,KAAK,QAAQ,IAAI,OAAO,CAAC,IAAI,KAAK,qBAAa,CAAC,CAAC,CAAC,EAAE,GAAG,OAAO,EAAE,IAAI,EAAE,GAAG,OAAO,CAAC,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC;QAC3H,OAAO,KAAK,CAAC,MAAM,CAAC,QAAQ,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;IAClD,CAAC;CACH,CAAA;;+BAVY,oBAAoB;IADhC,IAAA,sBAAU,GAAE;GACA,oBAAoB,CAUhC"}

package/lib/browser/index.d.ts

@@ -10,4 +10,9 @@ export * from './channel-logger';
 export * from './log-level-preference';
 export * from './browser-capture';
 export * from './memory-diagnostics-contribution';
+export * from './session-aware-connection-source';
+export * from './connection-diagnostics-contribution';
+export * from './connection-reporter';
+export * from './editor-disk-sync';
+export * from './hydranium-file-service';
 //# sourceMappingURL=index.d.ts.map

package/lib/browser/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/browser/index.ts"],"names":[],"mappings":"AAAA;;;;;;;kFAOkF;AAGlF,cAAc,kBAAkB,CAAC;AACjC,cAAc,wBAAwB,CAAC;AACvC,cAAc,mBAAmB,CAAC;AAClC,cAAc,mCAAmC,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/browser/index.ts"],"names":[],"mappings":"AAAA;;;;;;;kFAOkF;AAGlF,cAAc,kBAAkB,CAAC;AACjC,cAAc,wBAAwB,CAAC;AACvC,cAAc,mBAAmB,CAAC;AAClC,cAAc,mCAAmC,CAAC;AAClD,cAAc,mCAAmC,CAAC;AAClD,cAAc,uCAAuC,CAAC;AACtD,cAAc,uBAAuB,CAAC;AACtC,cAAc,oBAAoB,CAAC;AACnC,cAAc,0BAA0B,CAAC"}