如何在 Jupyter Lab 中查找和替换

Question

Jupyter Notebooks 中有一个选项，您可以在其中 select 一些单元格，然后按 F，打开查找和替换功能。

此快捷方式在 Jupyter Lab 中不起作用。它不在“命令”列表中，也不在“编辑”菜单中（只有“查找”——“查找下一个”和“查找上一个”）。我也找不到全局（不特定于单元格 selection）查找和替换功能。

这个功能存在吗？我在互联网上发现了它的旧提法——它被删除了吗？我正在使用 Jupyter Lab 版本 1.2.3。

Answer 1

查找和替换功能未被删除，但它在菜单中的命名方式（简单Find...）和UI需要用户点击一个小箭头来访问它可能会造成混淆。请参阅下面的 GIF，其中演示了如何使用搜索和替换功能：

如果您需要稍微更强大的重构工具（即区分变量范围），您可能需要查看我的 jupyterlab-lsp project which now includes support for the rename action (see here 演示 GIF。