diff options
| author | Leedehai <18319900+Leedehai@users.noreply.github.com> | 2024-02-28 03:08:51 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-02-28 08:08:51 +0000 |
| commit | 5036c5acebebe12cbf14338f5413514251d83d1e (patch) | |
| tree | db9b005d7601a8da9f31b052881f5825d8760481 /tools/test-helper | |
| parent | 6dab30238adc03142c64f9b6846a43d139e9396b (diff) | |
Add search box to test-helper (#3517)
Diffstat (limited to 'tools/test-helper')
| -rw-r--r-- | tools/test-helper/extension.js | 1 |
1 files changed, 1 insertions, 0 deletions
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) { |