//editor/com.aardarch.aardink.ui/FindReplacePanel
FindReplacePanel
fun FindReplacePanel(state: FindReplaceState, onNext: () -> Unit, onPrev: () -> Unit, onReplace: () -> Unit, onReplaceAll: () -> Unit, onClose: () -> Unit, modifier: Modifier = Modifier)
Slide-down find/replace panel anchored to the top of the editor.
The panel mutates state directly. The host (typically CodeEditorLayout) is responsible for watching the state and re-running com.aardarch.aardink.core.FindEngine.findAll on changes.
Parameters
jvm
| state | The state holder backing this panel. |
| onNext | User pressed the “next match” arrow — host should scroll/select that match. |
| onPrev | User pressed the “previous match” arrow. |
| onReplace | Replace the current match with state.replacement. |
| onReplaceAll | Replace every match in the document. |
| onClose | Close the panel (typically calls FindReplaceState.hide). |