DevTools 新功能：命令菜单快捷键和 HTML 格式化