setTreeCurrentKey (nodeKey) {
if (nodeKey) {
that.$refs.devTree.setCurrentKey(nodeKey)
} else {
that.$refs.devTree.setCurrentKey(null)
}
document.querySelector('.is-current')
},
// 设置导航树节点选中
setTreeSelectNodeByKey (nodeKey) {
// 延迟几秒执行
setTimeout(function () {
that.$nextTick(() => {
that.currentSelectNodeKey = nodeKey
that.setTreeCurrentKey(nodeKey)
})
}, 1000)
}