Open mootari opened 2 years ago
Is your feature request related to a problem? Please describe.
When I access a notebook's history I usually do so to recover a certain edit, e.g. a cell that got removed.
Observable currently groups successive edits in the history, making it difficult to find changes if the date is not known.
Describe the solution you'd like
I'd like to have a search input that lets me filter the entries to only show those that contain the phrase.
Describe alternatives you've considered
As a workaround, the following snippet expands all history entries so that they can be matched via the browser's search:
// Note: Match "Collapse history range" to reverse. [...document.querySelectorAll('button[title="Expand history range"]')].map(n=>n.click())
Is your feature request related to a problem? Please describe.
When I access a notebook's history I usually do so to recover a certain edit, e.g. a cell that got removed.
Observable currently groups successive edits in the history, making it difficult to find changes if the date is not known.
Describe the solution you'd like
I'd like to have a search input that lets me filter the entries to only show those that contain the phrase.
Describe alternatives you've considered
As a workaround, the following snippet expands all history entries so that they can be matched via the browser's search: