@theia/editor 1.13.0-next.fd91f213 → 1.13.0

package/src/browser/navigation/navigation-location.ts

@@ -190,14 +190,62 @@ export namespace NavigationLocation {
         return JSON.stringify(toObject(location));
     }
 
-    function toUri(arg: URI | { uri: URI } | string): URI {
-        if (arg instanceof URI) {
-            return arg;
-        }
-        if (typeof arg === 'string') {
-            return new URI(arg);
+}
+
+function toUri(arg: URI | { uri: URI } | string): URI {
+    if (arg instanceof URI) {
+        return arg;
+    }
+    if (typeof arg === 'string') {
+        return new URI(arg);
+    }
+    return arg.uri;
+}
+
+/**
+ * Representation of a closed editor.
+ */
+export interface RecentlyClosedEditor {
+
+    /**
+     * The uri of the closed editor.
+     */
+    readonly uri: URI,
+
+    /**
+     * The serializable view state of the closed editor.
+     */
+    readonly viewState: object
+
+}
+
+export namespace RecentlyClosedEditor {
+
+    /**
+     * Transform a RecentlyClosedEditor into an object for storing.
+     *
+     * @param closedEditor the editor needs to be transformed.
+     */
+    export function toObject(closedEditor: RecentlyClosedEditor): object {
+        const { uri, viewState } = closedEditor;
+        return {
+            uri: uri.toString(),
+            viewState: viewState
+        };
+    }
+
+    /**
+     * Transform the given object to a RecentlyClosedEditor object if possible.
+     */
+    export function fromObject(object: Partial<RecentlyClosedEditor>): RecentlyClosedEditor | undefined {
+        const { uri, viewState } = object;
+        if (uri !== undefined && viewState !== undefined) {
+            return {
+                uri: toUri(uri),
+                viewState: viewState
+            };
         }
-        return arg.uri;
+        return undefined;
     }
 
 }