Skip to content

[v17] Add search to ssh player in session recordings#49506

Merged
avatus merged 1 commit intobranch/v17from
bot/backport-49443-branch/v17
Nov 29, 2024
Merged

[v17] Add search to ssh player in session recordings#49506
avatus merged 1 commit intobranch/v17from
bot/backport-49443-branch/v17

Conversation

@avatus
Copy link
Copy Markdown
Contributor

@avatus avatus commented Nov 27, 2024

Backport #49443 to branch/v17

changelog: Session recording playback in the web UI is now searchable.

This adds our new TerminalSearch element to the SSH recordings player.
@avatus avatus added this pull request to the merge queue Nov 29, 2024
Merged via the queue into branch/v17 with commit 30a798a Nov 29, 2024
@avatus avatus deleted the bot/backport-49443-branch/v17 branch November 29, 2024 14:17
@doggydogworld doggydogworld mentioned this pull request Dec 3, 2024
@fheinecke fheinecke mentioned this pull request Mar 18, 2025
@fheinecke fheinecke mentioned this pull request Apr 9, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants