Details
-
Task
-
Resolution: Unresolved
-
P3: Somewhat important
-
None
-
None
-
None
Description
The current document viewer uses the built-in simple browser but it doesn't allow users to search in the open documentation. Some custom implementations support using `ctrl+f` like https://github.com/microsoft/vscode-livepreview. A similar feature can be implemented for the document viewer.