如何 pin/unpin Windows 10 中的 Microsoft Edge 开发人员工具

How to pin/unpin Microsoft Edge developer tools in Windows 10

我已经升级到Windows10;在安装过程中有很好的经验。但非常奇怪的是,我没有找到一种方法将开发人员工具固定(IE 的 ctrl+9)到现有的 window 与 MS Edge 浏览器应用程序。是不是不见了?

正确,pinning/unpinning F12 开发人员在当前版本的 Microsoft Edge (10240) 中不可用。这是一个已知问题,我们计划在未来的更新中恢复它。

在我的笔记本电脑中,Microsoft Edge 已将其固定。带有 shoutcut (Ctrl+P) 的图标也回来了。

Microsoft Edge 25.10586.0.0

Microsoft EdgeHTML 13.10586

而且在我的桌面上它仍然丢失,但是查看版本...

Microsoft Edge 20.10240.16384.0

两台 PC 都已完全更新,但问题是我在台式机上获得了 Insider Preview 更新,而在笔记本电脑上却没有。