在微信开发者工具中，【】提供了常用功能的快捷按钮。