From 507564655abef72d69accaaa3d63f656281b0a3c Mon Sep 17 00:00:00 2001
From: Brett Saviano <bsaviano@intersystems.com>
Date: Mon, 26 Feb 2024 07:18:19 -0500
Subject: [PATCH] Refresh ObjectScript Explorer files when they are re-opened
 (#1321)

---
 src/explorer/explorer.ts | 22 +++++++++++++++++-----
 1 file changed, 17 insertions(+), 5 deletions(-)

diff --git a/src/explorer/explorer.ts b/src/explorer/explorer.ts
index cad90a62..2437b691 100644
--- a/src/explorer/explorer.ts
+++ b/src/explorer/explorer.ts
@@ -2,7 +2,7 @@ import * as vscode from "vscode";
 import { NodeBase } from "./models/nodeBase";
 
 import { AtelierAPI } from "../api";
-import { config, OBJECTSCRIPT_FILE_SCHEMA, projectsExplorerProvider } from "../extension";
+import { config, documentContentProvider, OBJECTSCRIPT_FILE_SCHEMA, projectsExplorerProvider } from "../extension";
 import { WorkspaceNode } from "./models/workspaceNode";
 import { outputChannel } from "../utils";
 import { DocumentContentProvider } from "../providers/DocumentContentProvider";
@@ -47,13 +47,25 @@ export function registerExplorerOpen(): vscode.Disposable {
     "vscode-objectscript.explorer.open",
     async function (uri: vscode.Uri, project?: string, fullName?: string) {
       let usePreview = <boolean>vscode.workspace.getConfiguration("workbench.editor").get("enablePreview");
-
-      if (usePreview) {
-        usePreview = !wasDoubleClick(uri);
-      }
+      const double = wasDoubleClick(uri);
+      if (usePreview) usePreview = !double;
 
       try {
         if (uri.scheme === OBJECTSCRIPT_FILE_SCHEMA) {
+          const uriString = uri.toString();
+          if (
+            !double &&
+            vscode.workspace.textDocuments.some((d) => d.uri.toString() == uriString) &&
+            !vscode.window.tabGroups.all.some((tg) =>
+              tg.tabs.some((t) => t.input instanceof vscode.TabInputText && t.input.uri.toString() == uriString)
+            )
+          ) {
+            // Force an refresh from the server if the document was "closed", then "re-opened".
+            // We define "closed" as "not in any tab", but still in VS Code's memory.
+            // We don't need to do this if the document is not in VS Code's memory
+            // because in that case the contents will be fetched from the server.
+            documentContentProvider.update(uri);
+          }
           // This scheme is implemented by our DocumentContentProvider, which always returns text.
           // If the server supplied binary data our provider substitutes a text explanation of how to work with binary content.
           await vscode.window.showTextDocument(uri, { preview: usePreview });