From 5036c5acebebe12cbf14338f5413514251d83d1e Mon Sep 17 00:00:00 2001 From: Leedehai <18319900+Leedehai@users.noreply.github.com> Date: Wed, 28 Feb 2024 03:08:51 -0500 Subject: [PATCH] Add search box to test-helper (#3517) --- tools/test-helper/extension.js | 1 + 1 file changed, 1 insertion(+) diff --git a/tools/test-helper/extension.js b/tools/test-helper/extension.js index a5842500..7c3fa418 100644 --- a/tools/test-helper/extension.js +++ b/tools/test-helper/extension.js @@ -118,6 +118,7 @@ class Handler { 'Typst.test-helper.preview', uri.path.split('/').pop()?.replace('.typ', '.png') ?? 'Test output', vscode.ViewColumn.Beside, + {enableFindWidget: true}, ) newPanel.onDidChangeViewState(() => { if (newPanel && newPanel.active && newPanel.visible) {