Pt 3897 replace preview

[katherinejensen00]

https://paratextstudio.atlassian.net/browse/PT-3897

• Create a replace preview view options picker as per this V0: https://v0.app/chat/preview-options-picker-s08sC9IIAfJ
• Fix history (I broke it when I implemented auto search)
• Fix some styling that Sebastian pointed out
• Improve keyboard navigation so the editor navigates to the reference without losing the cursor to the editor

Demo Video (had to zip it because it was just a little bit over the size limit for files):
replace-preview-options-picker.zip

---

This change is 

---

[devin-ai-integration]

Devin Review found 1 new potential issue.

View 26 additional findings in Devin Review.

[devin-ai-integration]

🟡 Stale find-result-highlight annotation persists in editor after clearing search

When the user clears the search (clicks the X button), handleStopSearch(true) clears results and sets focusedResultIndex to undefined, but the find-result-highlight annotation set in handleFocusedResultChange (find.web-view.tsx:991-996) is never removed from the editor. The cleanup effect at find.web-view.tsx:970-976 only triggers when editorWebViewController changes or the component unmounts — not when search results are cleared. This leaves a stale yellow highlight on the last-focused result in the editor until the Find panel is closed or the editor changes.

Prompt for agents

In extensions/src/platform-scripture/src/find.web-view.tsx, the annotation cleanup effect at lines 970-976 only fires when editorWebViewController changes or the component unmounts. Add an additional effect (or extend the existing handleStopSearch logic) that removes the find-current-result annotation when focusedResultIndex becomes undefined while results are empty (i.e. after clearing). For example, add:

useEffect(() => {
  if (focusedResultIndex === undefined && results.length === 0 && editorWebViewController) {
    editorWebViewController.runAnnotationAction('find-current-result', 'removed').catch(() => {});
  }
}, [focusedResultIndex, results.length, editorWebViewController]);

Alternatively, call the removal inside handleStopSearch by passing editorWebViewController into its dependency list, or trigger removal from the clear handler.

---

Was this helpful? React with 👍 or 👎 to provide feedback.