Is there any way an extension could know what the current search and replace options the user entered into the active findWidget? I see there is a "editor.action.replaceOne