From 158b589c2a5c9d2deb537e827ca31f93335957ea Mon Sep 17 00:00:00 2001 From: bobzel Date: Thu, 22 Feb 2024 08:17:13 -0500 Subject: turned off zoom scaling for text boxes until it can be done more cleanly. fixed search to switch tabs when doc is inactive tab. --- src/client/util/DocumentManager.ts | 5 +++++ 1 file changed, 5 insertions(+) (limited to 'src/client/util/DocumentManager.ts') 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(res => { -- cgit v1.2.3-70-g09d2