Add command to open find with replace

packages/documentsearch-extension/src/index.ts

@@ -89,42 +89,64 @@ const extension: JupyterFrontEndPlugin<ISearchProviderRegistry> = {
     const activeSearches = new Map<string, SearchInstance>();
 
     const startCommand: string = 'documentsearch:start';
+    const startReplaceCommand: string = 'documentsearch:startWithReplace';
     const nextCommand: string = 'documentsearch:highlightNext';
     const prevCommand: string = 'documentsearch:highlightPrevious';
+
+    const currentWidgetHasSearchProvider = () => {
+      const currentWidget = app.shell.currentWidget;
+      if (!currentWidget) {
+        return false;
+      }
+      return registry.getProviderForWidget(currentWidget) !== undefined;
+    };
+    const getCurrentWidgetSearchInstance = () => {
+      const currentWidget = app.shell.currentWidget;
+      if (!currentWidget) {
+        return;
+      }
+      const widgetId = currentWidget.id;
+      let searchInstance = activeSearches.get(widgetId);
+      if (!searchInstance) {
+        const searchProvider = registry.getProviderForWidget(currentWidget);
+        if (!searchProvider) {
+          return;
+        }
+        searchInstance = new SearchInstance(currentWidget, searchProvider);
+
+        activeSearches.set(widgetId, searchInstance);
+        // find next and previous are now enabled
+        app.commands.notifyCommandChanged();
+
+        searchInstance.disposed.connect(() => {
+          activeSearches.delete(widgetId);
+          // find next and previous are now not enabled
+          app.commands.notifyCommandChanged();
+        });
+      }
+      return searchInstance;
+    };
+
     app.commands.addCommand(startCommand, {
       label: 'Find…',
-      isEnabled: () => {
-        const currentWidget = app.shell.currentWidget;
-        if (!currentWidget) {
-          return false;
-        }
-        return registry.getProviderForWidget(currentWidget) !== undefined;
-      },
+      isEnabled: currentWidgetHasSearchProvider,
       execute: () => {
-        const currentWidget = app.shell.currentWidget;
-        if (!currentWidget) {
-          return;
+        const searchInstance = getCurrentWidgetSearchInstance();
+        if (searchInstance) {
+          searchInstance.focusInput();
         }
-        const widgetId = currentWidget.id;
-        let searchInstance = activeSearches.get(widgetId);
-        if (!searchInstance) {
-          const searchProvider = registry.getProviderForWidget(currentWidget);
-          if (!searchProvider) {
-            return;
-          }
-          searchInstance = new SearchInstance(currentWidget, searchProvider);
-
-          activeSearches.set(widgetId, searchInstance);
-          // find next and previous are now enabled
-          app.commands.notifyCommandChanged();
+      }
+    });
 
-          searchInstance.disposed.connect(() => {
-            activeSearches.delete(widgetId);
-            // find next and previous are now not enabled
-            app.commands.notifyCommandChanged();
-          });
+    app.commands.addCommand(startReplaceCommand, {
+      label: 'Find and Replace…',
+      isEnabled: currentWidgetHasSearchProvider,
+      execute: () => {
+        const searchInstance = getCurrentWidgetSearchInstance();
+        if (searchInstance) {
+          searchInstance.showReplace();
+          searchInstance.focusInput();
         }
-        searchInstance.focusInput();
       }
     });
 

packages/documentsearch/src/searchinstance.ts

@@ -77,6 +77,12 @@ export class SearchInstance implements IDisposable {
     this._displayState.forceFocus = false;
   }
 
+  /**
+   * If there is a replace box, show it.
+   */
+  showReplace(): void {
+    this._displayState.replaceEntryShown = true;
+  }
   /**
    * Updates the match index and total display in the search widget.
    */