开发工具问题

使用最新版的 开发工具，在使用"关闭其他标签"后，使用Ctrl+s保存，会恢复之前关闭的其他标签。

如图：

1.使用"关闭其他标签"前

2.关闭之后

3.使用Ctrl+s保存之后