feat(web): find text in the terminal with Cmd/Ctrl+F - #11927

Open

PwntasticKev wants to merge 7 commits into

pingdotgg:mainfrom

PwntasticKev:feat/terminal-find

Commits on Sep 15, 2026

feat(web): find text in the terminal with Cmd/Ctrl+F
PwntasticKev
committed
1800c1b
refactor(web): reuse existing search helpers in terminal find
PwntasticKev
committed
7eb8cf1
feat(web): condense terminal find bar and let it snap between corners
PwntasticKev
committed
3026d25
feat(web): open terminal find inline with the terminal action buttons
PwntasticKev
committed
ccccbd6
fix(web): tighten terminal find spacing and stop the row shifting
PwntasticKev
committed
e6ea2e1
feat(web): show the terminal find count inside the input
PwntasticKev
committed
b72d9c7
Merge remote-tracking branch 'origin/main' into feat/terminal-find
PwntasticKev
committed
1dd858e