feat: Add find and replace interface (#5642)

This commit is contained in:
Tom Moor
2023-08-03 18:47:44 -04:00
committed by GitHub
parent eda023c908
commit b691311f88
13 changed files with 683 additions and 20 deletions

View File

@@ -209,7 +209,9 @@ export default class ExtensionManager {
if (!view.editable && !extension.allowInReadOnly) {
return false;
}
view.focus();
if (extension.focusAfterExecution) {
view.focus();
}
return callback(attrs)(view.state, view.dispatch, view);
};