Visual studio code 在VS代码中的两个不同窗口中打开同一文件夹

我想在两个不同的窗口中打开相同的文件夹。我在第一个窗口中打开了文件夹，但是当我试图在第二个窗口中打开文件夹时，VS代码只是跳转到第一个窗口，而不是在第二个窗口中打开它

---

我之所以要这样做，是因为我想将我的文件分为两个窗口，我使用的是VSCoq，它需要VS代码打开一个特定的文件夹才能工作。

关于您的信息，Code--new window.不起作用。关于您的信息，Code--new window.不起作用。