turned off zoom scaling for text boxes until it can be done more cleanly. fixed search to switch tabs when doc is inactive tab.

1 files changed, 5 insertions, 0 deletions

diff --git a/src/client/util/DocumentManager.ts b/src/client/util/DocumentManager.ts
index 7407fa2b3..a38a330da 100644
--- a/src/client/util/DocumentManager.ts
+++ b/src/client/util/DocumentManager.ts
@@ -248,6 +248,11 @@ export class DocumentManager {
         Doc.RemoveDocFromList(Doc.MyRecentlyClosed, undefined, targetDoc);
         const docContextPath = DocumentManager.GetContextPath(targetDoc, true);
         if (docContextPath.some(doc => doc.hidden)) options.toggleTarget = false;
+        const tabView = Array.from(TabDocView._allTabs).find(view => view._document === docContextPath[0]);
+        if (!tabView?._activated && tabView?._document) {
+            options.toggleTarget = false;
+            TabDocView.Activate(tabView?._document);
+        }
         let rootContextView =
             docContextPath.length &&
             (await new Promise<DocumentView>(res => {