jupyter
diff --git a/‎docs/source/notebook.md‎
Lines changed: 10 additions & 0 deletions b/‎docs/source/notebook.md‎
Lines changed: 10 additions & 0 deletions
diff --git a/‎packages/documentsearch-extension/schema/notebookShellWidgetListener.json‎
Lines changed: 0 additions & 15 deletions b/‎packages/documentsearch-extension/schema/notebookShellWidgetListener.json‎
Lines changed: 0 additions & 15 deletions
diff --git a/‎ui-tests/test/menus.spec.ts-snapshots/opened-menu-edit-chromium-linux.png‎
161 Bytes b/‎ui-tests/test/menus.spec.ts-snapshots/opened-menu-edit-chromium-linux.png‎
161 Bytes
diff --git a/‎ui-tests/test/menus.spec.ts-snapshots/opened-menu-edit-firefox-linux.png‎
-31.1 KB b/‎ui-tests/test/menus.spec.ts-snapshots/opened-menu-edit-firefox-linux.png‎
-31.1 KB
@@ -332,6 +332,16 @@ to remember are the following:
 For the full list of available shortcuts, click {guilabel}`Help`,
 {guilabel}`Keyboard Shortcuts` in the notebook menus.
 
+## Searching
+
+Jupyter Notebook has an intelligent built-in search plugin for finding text within a
+notebook or other document, which uses the {kbd}`Ctrl-F` shortcut by default.
+
+Your browser's `find` function will give unexpected results because it doesn't have
+access to the full content of a document, but you can still use your browser find
+function from the browser menu if you want, or you can disable the intelligent search
+shortcut using the Advanced Settings Editor.
+
 ## Plotting
 
 One major feature of the Jupyter notebook is the ability to display plots that